白盒测试方法.pptVIP

* 二、动态测试基本概念 控制流图 环形复杂性 图矩阵 * 1. 程序的控制流图 符号○为控制流图的一个结点，表示一个或多个无分支的语句。箭头为边，表示控制流的方向。 * 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 边和结点圈定的部分叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, NAND, NOR) 连接的复合条件表达式，则需要改为一系列只有单个条件的嵌套的判断（针对详细流程图）。 * * * 2. 程序环形复杂性 程序的环形（圈）复杂性给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 从控制流图来看，一条独立路径是从入口到出口至少包含有一条在其它独立路径中从未有过的边的路径。 * 例如，在图示的控制流图中，一组独立的路径是path1：1 - 11path2：1 - 2 , 3 - 4 , 5 - 10 - 1 - 11path3：1 - 2 , 3 - 6 - 8 - 9 - 10 - 1 - 11path4：1 - 2 , 3 - 6 - 7 - 9 - 10 - 1 - 11 路径 path1，path2，path3，path4组成了控制流图的一个基本路径集。 * 环形复杂性的三种计算方法 1）、流图G的环形复杂性V(G)=流图中区域的数量 2）、流图G的环形复杂性V(G)＝E-N+2，E是流图中边的数量，N是流图中节点的数量 3）、流图G的复杂性V(G)＝P＋1，P是流图中判定节点的数量 * 3. 图矩阵 为便于在机器上表示和处理控制流图，开发辅助基本路径测试的软件工具，可把流图转化为矩阵形式，即图矩阵。 图矩阵是一个正方形矩阵，其大小等于流图的节点数。 1 2 4 5 3 a c b d f e 节点 1 2 3 4 5 1 a 2 c b 3 d 4 e 5 f * 三、逻辑覆盖 逻辑覆盖是以程序内部的逻辑结构为基础的设计测试用例的技术。它属白盒测试。 语句覆盖 判定覆盖 条件覆盖 判定－条件覆盖 条件组合覆盖 路径覆盖 * * L1 L2 L3 L4 * * * e * * 语句覆盖　 语句覆盖就是设计若干个测试用例，运行被测程序，使得每一可执行语句至少执行一次。 在图例中，正好所有的可执行语句都在路径L1上，所以选择路径 L1设计测试用例，就可以覆盖所有的可执行语句。 * 测试用例的设计格式如下【输入的(A, B, X)，输出的(A, B, X)】 为图例设计满足语句覆盖的测试用例是:【(2, 0, 4)，(2, 0, 3)】　 覆盖 ace【L1】 如果将第一个条件中的and改为or，或将第二个条件中的or改为and，该测试用例测试不出错误。 * 判定覆盖 判定覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次。 判定覆盖又称为分支覆盖。 对于图例，如果选择路径L1和L2，就可得满足要求的测试用例: * 【(2, 0, 4)，(2, 0, 3)】覆盖 ace【L1】【(1, 1, 1)，(1, 1, 1)】覆盖 abd【L2】 * 如果选择路径L3和L4，还可得另一组可用的测试用例:【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 0, 1)】覆盖 acd【L4】 * 【(2, 1, 1)，(2, 1, 2)】覆盖 abe【L3】【(3, 0, 3)，(3, 0, 1)】覆盖 acd【L4】 上述两组测试用例不仅满足了“判定覆盖”，同时还做到了“语句覆盖”.但如果第二个判定条件X1，错写成X1,使用上述测试用例（2，1，1），照样能沿原路径（abe）执行，而不影响结果。 * * 条件覆盖 条件覆盖就是设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。 在图例中，我们事先可对所有条件的取值加以标记。例如， 对于第一个判断： 条件 A＞1 取真为 ，取假为 条件 B＝0 取真为 ，取假为 * 对于第二个判断： 条件A＝2 取真为 ，取假为 条件X＞1 取真为 ，取假为 测试用例 覆盖分支 条件取值 【(2, 0, 4)，(2, 0, 3)】 L1(c, e) 【(1, 0, 1)，(1, 0, 1)】 L2(b, d) 【(2, 1, 1)，(2, 1, 2)】 L3(b, e) 或 * 测 试 用 例 覆盖分支 条件取值 【(1, 0, 3)，(1, 0, 4)】 L3(b, e) 【(2