以下关于程序测试的叙述，正确的是______。A．程序测试的目的是为了证明程序的正确性B．白盒测试也称为功能测试C．黑盒测试也称为结构测试D．程序测试要注意检验程序是否有多余的功能

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