8.1 程序核对、程序代码核对和总体检查