149.提高软件质量和可靠的技术大致可分为两大类：一类是避开错误技术，但避开错误技术无法做到完美无缺和绝无错误，需要（）。

67.（）是指被测程序不在机器上运行，采用人工检测和计算机辅助静态分析的手段对程序进行检测。

66.白盒法测试程序时常按照给定的覆盖条件选取测试用例。（）使得每一个判定的每一条分支至少经历一次。

65.单元测试一般以（）测试为主，测试的依据是模块功能规格说明。

64.（）覆盖既是判定覆盖，又是条件覆盖，但它并不保证使各种条件都能取到所有可能的值。

63.黑盒测试法也适用于对（）阶段的软件文档进行测试。

62.黑盒测试法是根据程序的（）来设计测试用例的方法。

61.白盒测试法除了测试程序外，它还适用于对软件（）阶段的软件文档进行测试。

60.白盒测试法是通过分析程序的（）来设计测试用例的方法。

59.为了便于对照检查，测试用例应由输入数据和预期的（）两部分组成。

58.软件调试的几种主要方法为：强行排错、（）、归纳法排错、演绎法排错。