软件测试教程.pptx

第3章白盒测试;e6;

二、控制流覆盖准则

语句覆盖准则

分支覆盖准则

谓词测试

原子谓词覆盖准则

分支－谓词覆盖准则

复合谓词覆盖准则

路径覆盖准则;部分覆盖准则间的关系;3.２数据流测试;

二、数据流覆盖准则

定义覆盖测试准则

引用覆盖测试准则

定义－引用覆盖测试准则;3.３程序插装;(1)程序中固有的缺陷是未知的，每个错误被检测的难易程度

程序插装技术的研究涉及下列几个问题：

和每个变异的程序，可以求得P1，P2…，Pn的测试数据集C={C1，C2，…，Cn}。

Akiyama模型：N=4．86十0．018*L。

n个不同的程序：P1，P2，…，Pn，这里Pi称为P的变异因子。

ComptonandWithrow模型：N=0.

码书写规范性检测结果，得出报告。

形式化的设计检查45%～65%

码书写规范性检测结果，得出报告。

错误检查4.

选择[Browse|Quality|CriteriaLevel]菜单项，Logisciop会显示Audit

新建项目结束

是变动程序的组成部分，根据弱变异准则，只要事先确定导致C与C′;程序强变异测试

变异测试的缺点是它需要大量的计算机资源来完成测试充分性分析。

对于一个中等规模的软件，所需的存储空间也是巨大的，运行大量

变异因子也导致了时间上巨大的开销。

程序弱变