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

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

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

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

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

边界值分析是将测试边界情况作为重点目标，选取正好等于、刚刚大于或刚刚小于边界值的测试数据。如果输入或输出域是一...

填空题边界值分析是将测试边界情况作为重点目标，选取正好等于、刚刚大于或刚刚小于边界值的测试数据。如果输入或输出域是一个有序集合，则应选取集合的第一个元素和（）作为测试用例。