在软件测试中，动态测试和静态测试手段只能发现程序中的错误，而不能证明程序中不存在错误，只有 1才有可能证明程序的正确性。
  • 1、
【正确答案】 1、正确答案：程序正确性证明    
【答案解析】