第3章白盒测试.ppt

第3章 白盒测试 3.1控制流测试 一、基本概念 有向图 路径 完整路径 简单路径 基本路径 子路径 回路 无回路路径 连接 覆盖 二、控制流覆盖准则 语句覆盖准则 分支覆盖准则 谓词测试 原子谓词覆盖准则 分支－谓词覆盖准则 复合谓词覆盖准则 路径覆盖准则 部分覆盖准则间的关系 3.２数据流测试 一、基本概念 变量的定义性出现：若一个变量在程序中的某处出现使数据与该变量相绑定，则称该出现是定义性出现。 变量的引用性出现：若一个变量在程序中的某处出现使与该变量相绑定的数据被引用，则称该出现是引用性出现。 二、数据流覆盖准则 定义覆盖测试准则 引用覆盖测试准则 定义－引用覆盖测试准则 3.３程序插装 程序插装技术的研究涉及下列几个问题： (1)探测哪些信息？ (2)程序的什么位置设置探测点？ (3)需要多少探测点？ 程序插装类型： 用于测试覆盖率和测试用例有效性度量的程序插装 用于断言检测的程序插装 3.４程序变异测试 程序变异测试技术的基本思想是： 对于给定的程序P，先假定程序中存在一些小错误，每假设一个错误， 程序P就变成P′，如果假设了n个错误：e1，e2，…，en，则对应有 n个不同的程序：P1，P2，…，Pn，这里Pi称为P的变异因子。 存在测试数据Ci，使得P和Pi的输出结果是不同的。因此，根据程序P 和每个变异的程序，可以求得P1，P2…，Pn的测试数据