在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【 】才可能证明程序的正确性。

admin2013-03-16  40

问题 在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有:【  】才可能证明程序的正确性。

选项

答案程序正确性证明

解析 在软件测试中,动态测试和静态测试手段只能发现程序中的错误,而不能证明程序中存在错误,只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。
转载请注明原文地址:https://jikaoti.com/ti/26w7FFFM
0

最新回复(0)