以下关于程序测试的叙述,正确的是(55)。

参考答案:

D解析：程序测试(Test)的目的是发现程序中的错误，并且争取能发现尽可能多的错误。程序调试(Debug)则包括定位和纠正错误。程序正确性证明目前还是理论研究的课题，对大型程序，证明其正确性还做不到。正如医生的任务是诊断与治疗疾病，并不是证明某人没有病。黑盒测试是在不了解程序内部结构的情况下，根据其使用说明书，输入所需的数据，检查其输出结果的正确性。这种测试也称为功能测试。类似于这样的情况：为检查一个不明盒子的功能，又不能打开它，就只能从外界，给它施加某种影响，查看它有什么反映。系统测试、验收测试一般都采