可以用穷举测试的方法对程序进行正确证明。
可以用穷举测试的方法对程序进行正确证明。
参考答案和解析
错误
相关考题：
即使对程序的所有路径都进行了测试，程序也可能存在没能检查出来的缺陷，其原因可能是______。A) 程序可能会因为缺少某些路径而存在问题B) 即使是穷举路径测试也绝不能保证程序符合其设计规格说明C) 穷举路径测试也可能不会暴露数据敏感错误D) 以上全部A．B．C．D．
论述题3：简单谈一下你对穷举测试的理解，并按要求回答问题(1)穷举测试的方法对于所有项目程序都是可行的么?(2)若是针对小型的程序，穷举测试是可能的么?若是，说明此时采用穷举测试能否保证程序是百分之百正确呢?
以下关于测试的叙述中,正确的是( )。 A.实际上，可以采用穷举测试来发现软件中的所有错误B.错误很多的程序段在修改后错误一般会非常少C.测试可以用来证明软件没有错误D.白盒测试技术中，路径覆盖法往往能比语句覆盖法发现更多的错误
以下关于测试原则的叙述中，正确的是（ ）A.测试用例只需选用合理的输入数据，不需要选择不合理的输入数据B.应制定测试计划并严格执行，排除随意性C.穷举测试是可能的D.程序员应尽量测试自己的程序C：穷举测试是不可能的，因为测试用例是无限的。D：程序员应该避免测试自己的程序，测试工作应该由独立的测试部门或机构来完成。故正确答案为B。
如果我们可以通过覆盖率检测来判断我们是否对所有的路径都进行了测试，但是仍然可能存在未被检测出来的缺陷，原因是（）。A、全部选项B、程序可能因为缺某些路径而存在问题C、穷举路径的测试可能不好暴露数据敏感的错误D、就算穷举路径测试也不能保证程序符合需求
单选题如果我们可以通过覆盖率检测来判断我们是否对所有的路径都进行了测试，但是仍然可能存在未被检测出来的缺陷，原因是（）。A全部选项B程序可能因为缺某些路径而存在问题C穷举路径的测试可能不好暴露数据敏感的错误D就算穷举路径测试也不能保证程序符合需求
单选题软件测试，主要是对软件的逻辑性进行正确性确认，不外乎有以下几种方法，即（）A黑盒法和白盒法B人工检查和程序测试C动态测试和静态测试D正确性证明、人工分析与检查、程序测试