填空题 在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有： __ 1__ 才可能证明程序的正确性。
【正确答案】
【答案解析】程序正确性证明[解析] 在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中存在错误，只有程序正确性证明才可能证明程序的正确。程序的正确性说明是用数学的方法来证明程序正确性的方法。