参考答案：A

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