软件测试第3章+白盒测试课件.ppt

《软件测试第3章+白盒测试课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第3章白盒测试e6e1e2e3e4e5e73.1控制流测试一、基本概念有向图路径完整路径简单路径基本路径子路径回路无回路路径连接覆盖路径覆盖关系举例二、控制流覆盖准则语句覆盖准则分支覆盖准则谓词测试原子谓词覆盖准则分支－谓词覆盖准则复合谓词覆盖准则路径覆盖准则部分覆盖准则间的关系复合谓词覆盖准则分支--谓词覆盖准则分支覆盖准则原子谓词覆盖准则语句覆盖准则3.２数据流测试一、基本概念变量的定义性出现：若一个变量在程序中的某处出现使数据与该变量相绑定，则称该出现是定义性出现。变量的引用性出现：若一个变量在程序中的某处出现使与该变量

2、相绑定的数据被引用，则称该出现是引用性出现。二、数据流覆盖准则定义覆盖测试准则引用覆盖测试准则定义－引用覆盖测试准则3.３程序插装程序插装技术的研究涉及下列几个问题：(1)探测哪些信息？(2)程序的什么位置设置探测点？(3)需要多少探测点？程序插装类型：用于测试覆盖率和测试用例有效性度量的程序插装用于断言检测的程序插装3.４程序变异测试程序变异测试技术的基本思想是：对于给定的程序P，先假定程序中存在一些小错误，每假设一个错误，程序P就变成P′，如果假设了n个错误：e1，e2，…，en，则对应有n个不同的程序：P1，P2，…，P

3、n，这里Pi称为P的变异因子。存在测试数据Ci，使得P和Pi的输出结果是不同的。因此，根据程序P和每个变异的程序，可以求得P1，P2…，Pn的测试数据集C={C1，C2，…，Cn}。运行C，如果对每一个Ci，P都是正确的，而Pi都是错误的，这说明P的正确性较高。如果对某个Ci，P是错误的，而Pi是正确的，这说明P存在错误，而错误就是ei。程序强变异测试变异测试的缺点是它需要大量的计算机资源来完成测试充分性分析。对于一个中等规模的软件，所需的存储空间也是巨大的，运行大量变异因子也导致了时间上巨大的开销。程序弱变异测试弱变异和强变

4、异有很多相似之处。其主要差别在于：弱变异强调的是变动程序的组成部分，根据弱变异准则，只要事先确定导致C与C′产生不同值的测试数据组，则可将程序在此测试数据组上运行，而并不实际产生其变异因子。弱变异测试方法的主要优点是开销较小，效率较高。3.５白盒测试工具一、静态工具静态测试工具类型：1.代码审查2.一致性检查3.错误检查4.接口分析5.输入/输出规格说明分析检查6.数据流分析7.类型分析8.单元分析9.复杂度分析静态工具应用实例1.Logiscope的软件质量分析工具Audit应用：Audit是审查程序代码质量的，它通过一个文

5、本文件来定义质量模型。文件中首先定义了若干个度量元，并为这些度量元设定了数值范围，接着通过组合若干个度量元形成质量标准，最后又通过组合质量标准，形成最后的质量因素。这个过程与软件质量模型中由底层到高层、由细节到概括的结构恰好对应。（1）在Logiscopestudio中建立Audit项目Logiscopestudio环境点击[File

6、New]菜单项，并根据新建项目向导建立项目：新建项目对话框新建项目向导新建项目结束（２）查看检测结果选择[Browse

7、Quality

8、FactorLevel]菜单项，Logisciop会显示A

9、udit对所检测源程序质量水平的评价结果，评价结果包括系统的质量、类的质量、函数的质量。选择[Browse

10、Quality

11、CriteriaLevel]菜单项，Logisciop会显示Audit对所测源程序的各项质量标准的检测结果，具体包括：系统的质量标准、类的质量标准、函数的质量标准。选择[Browse

12、Quality

13、QualityReport]菜单项，可生成网页风格的系统质量评价报告。选择[Project

14、StartViewer]菜单项，启动“LogiscopeViewer”，通过点击工具条上的按钮，可以查看Audit所

15、提供的对函数的各种分析信息。２.Logiscope的代码规范性检测工具RuleChecker应用：使用RuleChecker来检查代码的规范性分为两个步骤：首先是建立被检测代码的RuleChecker项目，然后是分析RuleChecker给出的代码书写规范性检测结果，得出报告。（1）根据向导建立RuleChecker项目RuleChecker界面（２）查看检测结果选择[Browse

16、Rule

17、RuleViolations]菜单命令，RuleChecker会在树状视图中列出代码中所有违反编码规范的地方。点击[Browse

18、Rul

19、e

20、RuleViolationsReport]菜单命令，会生成RuleChecker的检测报告。二、动态工具静态测试工具类型：1.功能确认与接口测试测试包括对各模块功能、模块间的接口、局部数据结构、主要执行路径、错误处理等方面进行的测试。2.覆盖测试覆盖分析对所涉及的程序结构