首页试卷库试题库

当前位置： X题卡 > 所有题目 > 题目详情

程序正确性证明最常用的方法是______，它对程序提出一组命题。如果在数学上证明这些命题成立，就能保证程序不发生错误。

查看本题答案

包含此试题的试卷

计算机等级考试《填空》真题及答案点击查看

你可能感兴趣的试题

程序正确性证明最常用的方法是【16】它对程序提出一组命题如果在数学上证明这些命题成立就能保证程序不发

证明程序正确最常用的方法是______它对程序提出一组命题如在数学上证明这些命题不成立就能保证程序不

软件测试的方法有三种静态测试动态测试和

程序正确性证明调试验收测试集成测试

软件测试的方法可归纳成三种它们是Ⅰ．动态测试Ⅱ．静态测试Ⅲ．程序正确性证明而真正实施的方法则是

Ⅰ Ⅰ和Ⅱ Ⅱ Ⅰ、Ⅱ和Ⅲ

软件测试是保证软件质量的重要手段其首要任务是

保证软件的正确性改正软件存在的错误发现软件的潜在错误实现程序正确性证明

软件测试的方法有3种静态测试动态测试和______

程序正确性证明调试验收测试集成测试

软件测试方法有很多种其中采用机器运行实例方式来发现程序的错误属于

静态测试动态测试程序正确性证明系统测试

软件测试方法可分为3类它们是动态测试静态测试和程序正确性证明真正实施的方法则是

动态测试和静态测试静态测试和程序正确性证明动态测试和程序正确性证明都不是

软件测试是保证软件质量的重要手段首要任务是______

保证软件的正确性改正软件存在的错误发现软件的潜在错误实现程序正确性证明

软件测试的方法可归纳成三种它们是Ⅰ．动态测试Ⅱ．静态测试Ⅲ．程序正确性证明而真正实施的方法则是

Ⅰ Ⅰ和Ⅱ Ⅱ Ⅰ、Ⅱ和Ⅲ

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

热门试题

更多

热门题库

更多

软件测试工程师计算机等级考试法宣在线考试司法卷一司法卷二司法卷三司法卷四企业法律顾问资格考试 “十三五”规划继续教育潜力激活与创造力开发继续教育创新创业能力继续教育科研方法与论文写作继续教育全面深化改革实现文明发展提高自身绩效路径与方法互联网监管与网络道德建设 “互联网+”和电子商务继续教育