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

题库:计算机等级考试 类型:填空题 时间:2017-07-03 14:10:53 免费下载:《填空》Word试卷

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

本题关键词:控制测试程序,错误说明,参考测量程序,程序性文件,程序,投标可更正错误,行政许可听证程序,有氧运动能力测定,面试程序,存货监盘程序;