计算机二级考试

【单选题】 软件测试的方法有三种：静态测试、动态测试和
A．程序正确性证明
B．调试
C．验收测试
D．集成测试

网考网参考答案：A
网考网解析：
软件测试的方法有3种：动态测试、静态测试和正确性证明。动态测试和静态测试只能发现错误而不能证明程序巾不存在错误。从理论上讲，只有借助于程序正确性证明才有可能证明程序的正确性。 查看试题解析出处>>