白盒测试的奥秘.ppt

电子发烧友 电子技术论坛 控制结构测试 路径测试 ?利用流图表示控制逻辑 ?根据流图标识独立路径 ?确定覆盖测试路径上界的计算（环复杂度计算） ?用基本路径法导出测试案例的步骤 条件测试 数据流 测试 循环测试 分支测试：真假分支必须至少执行一次的路径策略 域测试：对于大于、小于和等于值的测试路径策略 由变量的定义到变量的使用，构成DU链，覆盖每个DU链至少一次。用此方法为包含循环和嵌套语句的程序选择测试路径的策略 对于简单循环、嵌套循环、串接循环和无结构循环的路径选择策略 电子发烧友 电子技术论坛 工具方法：图形矩阵 对每个矩阵项加入连接权值(link weight)，图矩阵就可以用于在测试中评估程序的控制结构，连接权值为控制流提供了另外的信息。最简单情况下，连接权值是 1(存在连接)或0(不存在连接)，但是，连接权值可以赋予更有趣的属性： 执行连接(边)的概率。 穿越连接的处理时间。 穿越连接时所需的内存。 穿越连接时所需的资源。 电子发烧友 电子技术论坛 工具方法：图形矩阵 根据上面的方法对例4画出图形矩阵如下： 电子发烧友 电子技术论坛 工具方法：图形矩阵 连接权为“1”表示存在一个连接，在图中如果一行有两个或更多的元素“1”，则这行所代表的结点一定是一个判定结点，通过连接矩阵中有两个以上（包括两个）元素为“1”的个数，就可以得到确定该图圈复杂度的另一种算法。 电子发烧友 电子技术论坛 控制结构测试的变种 前面所述的基本路径测试技术是控制结构测试技术之一。尽管基本路径测试简单高效，但是，其本身并不充分。下面讨论控制结构测试的其他变种，这些测试覆盖并提高了白盒测试的质量。包括： 条件测试 数据流测试 循环测试。 电子发烧友 电子技术论坛 条件测试 条件测试方法注重于测试程序中的条件。是检查程序模块中所包含逻辑条件的测试用例设计方法。 条件 程序中的条件分为简单条件和复合条件。 简单条件是一个布尔变量或一个可能带有NOT(“！”)操作符的关系表达式。关系表达式的形式如： E1＜关系操作符＞E2 其中E1和E2是算术表达式，而＜关系操作符＞是下列之一：“＜”、“≤”、“=”、“≠”(“！=”)、“＞”、或“≥”。 复合条件由简单条件通过逻辑运算符（AND、OR、NOT）和括号连接而成，不含关系表达式的条件称为布尔表达式。 所以条件的成分类型包括布尔操作符、布尔变量、布尔括弧(括住简单或复杂条件)、关系操作符或算术表达式。 电子发烧友 电子技术论坛 条件测试 条件的错误类型 如果条件不正确，则至少有一个条件成分不正确，这样，条件的错误类型如下： 布尔操作符错误(遗漏布尔操作符，布尔操作符多余或布尔操作符不正确)； 布尔变量错误； 布尔括弧错误； 关系操作符错误； 算术表达式错误。 电子发烧友 电子技术论坛 条件测试 条件测试的目的 条件测试是测试程序条件错误和程序的其他错误。如果程序的测试集能够有效地检测程序中的条件错误，则该测试集可能也会有效地检测程序中的其他错误。此外，如果测试策略对检测条件错误有效，则它也可能有效地检测程序错误。 电子发烧友 电子技术论坛 条件测试 条件测试策略 穷举测试 （条件组合） 有n个变量的布尔表达式需要2n个可能的测试(n＞0)。这种策略可以发现布尔操作符、变量和括弧的错误，但是只有在n很小时实用。 分支测试 分支测试可能是最简单的条件测试策略，它是真假分支必须至少执行一次的路径策略，对于复合条件C，C的真分支和假分支以及C中的每个简单条件都需要至少执行一次。 电子发烧友 电子技术论坛 条件测试 - 分支测试 域测试(Domain testing) 域测试是对于大于、小于和等于值的测试路径策略。 域测试要求从有理表达式中导出三个或四个测试，有理表达式的形式如： E1＜关系操作符＞E2 需要三个测试分别用于计算E1的值是大于、等于或小于E2的值。如果＜关系操作符＞错误，而E1和E2正确，则这三个测试能够发现关系算子的错误。 为了发现E1和E2的错误，计算E1小于或大于E2的测试应使两个值间的差别尽可能小。 电子发烧友 电子技术论坛 条件测试 BRO(branch and relational)测试 如果在一个判定的复合条件表达式中每个布尔变量和关系运算符最多只出现一次，而且没有公共变量，应用一种称之为BRO（分支与关系运算符）的测试法可以发现多个布尔运算符或关系运算符错，以及其他错误。 BRO策略引入条件约束的概念。设有n个简单条件的复合条件C，其条件约束为D= (D1，D2，…，Dn) ，其中Di(0＜i≤n)是条件C中第i个