试题详情
- 简答题对小的程序进行穷举测试是可能的,用穷举测试能否保证程序是百分之百正确呢?
-
对小程序进行穷举测试,不见得能保证程序百分之百正确。所谓穷举测试是拿所有可能的输入数据来作为测试用例(黑盒测试),或覆盖程序中所有可能的路径(白盒测试)。对于小程序来说,实际上并不能真正作到穷举测试。例如前面讲过,一个小程序P只有两个输入X和Y及输出Z,在字长为32位的计算机上运行。如果X、Y只取整数,考虑把所有的X、Y值都做为测试数据,按黑盒方法进行穷举测试,这样做可能采用的测试数据组(Xi,Yi),基数(radix)i的最大可能数目为:232×232=264。如果程序P测试一组X、Y数据需要1毫秒,而且假定一天工作24小时,一年工作365天,要完成264组测试,需要5亿年。
关注下方微信公众号,在线模考后查看
热门试题
- 基本COCOMO模型是一个()模型,它用
- 活动是一种有时间间隔的操作,它是依附于状
- 随着开发小组人数的(),因交流开发进展情
- 当你“编写”程序时你设计软件吗?软件设计
- 将大的软件划分成模块有什么好处?是不是模
- 下图所示的流程图完成的功能是使用二分查找
- 软件工程为什么要强调规范化和文档化?
- 继承有单继承和多继承。单继承指的是子类只
- 提高程序效率的根本途径在于选择良好的()
- 举例说明你对概要设计与详细设计的理解。有
- 软件需求分析的操作性原则和需求工程的指导
- 比较α测试与β测试,说明其异同。
- 分类关系是“一般化-特殊化”关系。一般化
- 支持计算机软件的开发、维护、模拟、移植或
- ()不仅统一了Booch方法、OMT方法
- 什么是软件过程?
- 渐增模型有几种?各有何特点?
- 软件的完整性是度量一个系统抗拒对它的()
- 组装关系是一种“整体-部分”关系。在这种
- 识别风险的一种最好的方法就是利用一组()