程序正确性证明是用______来证明程序正确性的方法。

程序正确性证明是用______来证明程序正确性的方法。

相关考题：

软件测试的方法有三种：静态测试，动态测试和（ ）。A．程序正确性证明B．调式C．验收测试D．集成测试
查看答案
软件测试的方法有三种：静态测试、动态测试和A．程序正确性证明B．调试C．验收测试D．集成测试
查看答案
程序正确性证明最常用的方法是【 】，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。
查看答案
软件测试方法可分为3类，它们是动态测试、静态测试和程序正确性证明，真正实施的方法则是( )。A．动态测试和静态测试B．静态测试和程序正确性证明C．动态测试和程序正确性证明D．都不是
查看答案
软件测试是保证软件质量的重要手段，首要任务是______。A．保证软件的正确性B．改正软件存在的错误C．发现软件的潜在错误D．实现程序正确性证明
查看答案
软件测试是保证软件质量的重要手段，其首要任务是( )。A．保证软件的正确性B．改正软件存在的错误C．发现软件的潜在错误D．实现程序正确性证明
查看答案
软件测试的方法有三种：静态测试、动态测试和( )。A．程序正确性证明B．调试C．验收测试D．集成测试
查看答案
程序正确性证明能证明程序的功能和动态特性符合设计要求. A．错误B．正确
查看答案
软件测试的方法可归纳成三种，它们是：I.动态测试II.静态测试III.程序正确性证明而真正实施的方法则是（ ）。A.IB.I和ⅡC.IID.I、Ⅱ和III
查看答案
热门标签