填空题 人工审查程序偏重于编码质量的检验，而软件审查除了审查编码还要对各阶段（）进行检验。

填空题 白盒测试是结构测试，被测对象是源程序，以程序的（）为基础设计测试用例。

填空题 等价类划分从程序的（）说明，找出一个输入条件（通常是一句话或一个短语），然后将每个输入条件划分成两个或多个等价类。