程序测试的第一道检验工序是()A、整体测试B、验收测试C、模块测试D、系统测试

正确答案：D
解析：程序测试的目的是发现程序错误，不是证明程序正确。所以选项A的说法不正确。黑盒测试是在不了解程序结构的情况下，根据使用说明书，输入所需的数据，检查其输出结果的正确性。黑盒测试也叫做功能测试。所以，选项B的说法错误。白盒测试根据程序内部结构进行测试，也叫做结构测试。所以，选项C的说法错误。选项D的说法正确，为所选答案。

答案：对

解析：

正确答案：D
解析：程序测试(Test)的目的是发现程序中的错误，并且争取能发现尽可能多的错误。程序调试(Debug)则包括定位和纠正错误。程序正确性证明目前还是理论研究的课题，对大型程序，证明其正确性还做不到。正如医生的任务是诊断与治疗疾病，并不是证明某人没有病。黑盒测试是在不了解程序内部结构的情况下，根据其使用说明书，输入所需的数据，检查其输出结果的正确性。这种测试也称为功能测试。类似于这样的情况：为检查一个不明盒子的功能，又不能打开它，就只能从外界，给它施加某种影响，查看它有什么反映。系统测试、验收测试一般都采用黑盒测试方法。白盒测试是根据程序内部结构对其进行测试，例如，在程序中的若干关键语句处，设置检查点，程序运行到这些检查点时会暂停运行，操作人员可以查看程序中某些变量的值，看它是否符合程序员预期的结果，然后再继续运行程序。这种测试也称为结构测试。类似于打开盒子，看清楚其中的结构机制，逐步进行测试，检查发现问题。程序员对自己编写的程序模块，一般采用白盒测试方法。在程序测试中，很多人只注意程序是否正确执行了预定的功能，没有注意程序是否具有多余的(计划之外的)功能。多余的功能在编程前并没有要求，在开发时也没有得到充分的测试，很可能隐藏着问题，这些问题还会影响应有的功能。所以，检查程序是否有多余的功能，也是程序测试的任务之一。