第八节 检验过程——检验程序文件化