软件维护，就是在软件交付使用之后，为了改正错误或满足新的需要而修改软件的过程。

单元测试是发现编码错误，集成测试是发现模块的接口错误，确认测试是为了发现功能错误，那么系统测试是为了发现（）的错误。

软件测试是为了发现错误而执行程序的过程。黑盒测试法主要根据（）来设计测试用例。

G·J·Myers提出：软件测试是为了发现（）而执行程序的过程。

软件测试是为了发现并改正错误而运行程序的过程。

测试是程序的执行过程，目的在于改正错误。一个好的测试用例在于能发现至今未发现的错误；一个成功的测试是发现了至今未发现的错误的测试。

Every deliberate act of wrongdoing by the master or any of the crew against the ship or cargo，without the authorization or privity of the Shipowner or his agent，is（）.

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

召开审查会，在会中由小组成员阅读程序，以发现程序错误，同时测试员利用测试数据人工运行程序并得出输出结果，然后由参加者对结果进行审查，以达到测试的目的。这种测试方法是（）。

在净水器服务管理信息系统程序调试的过程中，程序员发现计算总用水量是，程序运行结果与手工计算结果不同。程序员逐步查找基数按过程语句流，寻找错误结果出现的原因。程序员采用的排错方法是（）。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

对软件正确性的描述可以划分为6种不同的情况分别为：程序编写得无语法错误、程序运行中未发现明显的运行错误、程序中无不适当语句、程序运行中能通过典型的有效测试数据，而得到正确的预期效果、程序运行中能通过典型的无效测试数据，而得到正确的预期结果和（）。