第4章__白盒测试和其实例设计.pptVIP

第4章 白盒测试及其  实例设计 第4章 白盒测试及其实例设计 4.1 逻辑覆盖测试 条件覆盖 条件覆盖（Condition Coverage）是指设计 若干个测试用例，执行被测试程序时，程序中 每个判断条件中的每个判断式的真值和假值至 少被执行一遍。 测试用例组5： Test Case 6：50，600，6000 Test Case 7：2000，200，1000 判断/条件覆盖 判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中 每个判断条件的真假值分支至少被执行一遍，并且每个判断条件的内 部判断式的真假值分支也要被执行一遍。 测试用例组6： Test Case 1：x=2000, y=600, z=2000 Test Case 6：x=2000, y=200, z=6000 Test Case 7：x=2000, y=600, z=2000 Test Case 8：x=50, y=200, z=2000 条件组合覆盖 条件组合覆盖是指设计若干个测试用例，执行被测试程序时，程序中 每个判断条件的的内部判断式的各种真假组合可能都至少被执行一 遍。可见，满足条件组合覆盖的测试用例组一定满足判断覆盖、条件 覆盖和判断/条件覆盖。 测试用例组7： Test Case 1：x=2000, y=600, z=2000 Test Case 6：x=2000, y=200, z=6000 Test Case 7：x=2000, y=600, z=2000 Test Case 8：x=50, y=200, z=2000 路径覆盖 路径覆盖（Path Coverage）要求设计若干测试用例，执行被测试程 序时，能够覆盖程序中所有的可能路径。 测试用例组8： Test Case 1：x=2000,y=600,z=6000 Test Case 3：x=50,y=600,z=2000 Test Case 4：x=2000,y=600,z=2000 Test Case 7：x=2000,y=200,z=1000 应该注意的是，上面6种覆盖测试方法所引用的公共程序只有短短4 行，是一段非常简单的示例代码。然而在实际测试程序中，一个简短 的程序，其路径数目是一个庞大的数字。要对其实现路径覆盖测试是 很难的。所以，路径覆盖测试是相对的，尽可能把路径数压缩到一个 可承受范围。 当然，即便对某个简短的程序段做到了路径覆盖测试，也不能保证源 代码不存在其他软件问题了。其他的软件测试手段也必要的，它们之 间是相辅相成的。没有一个测试方法能够找尽所有软件缺陷，只能说 是尽可能多地查找软件缺陷。 4.2 路径分析测试 程序环路复杂性 程序的环路复杂性是一种描述程序逻辑复杂度的标准，该标准运用基本路径方法，给出了程序基本路径集中的独立路径条数，这是确保程序中每个可执行语句至少执行一次所必需的测试用例数目的上界。 给定一个控制流图G，设其环形复杂度为V(G)，在这里介绍三种常见的计算方法来求解V(G)。 (1) V(G)=E-N+2，其中E是控制流图G中边的数量，N是控制流图中节点的数目。 (2) V(G)=P+1，其中P是控制流图G中判断节点的数目。 (3) V(G)=A，其中A是控制流图G中区域的数目。由边和结点围成的区域叫做区域，当在控制流图中计算区域的数目时，控制流图外的区域也应记为一个区域。 4.2.2 独立路径测试 独立路径测试的步骤包括3个方面： 导出程序控制流图 求出程序环形复杂度 设计测试用例（Test Case） 表4-9 测试用例组9 4.2.3 Z路径覆盖测试 4.3 其他白盒测试方法 4.3.2 变异测试 4.3.3 程序插装 4.4 实例设计 小结 习题 图4-6 循环结构和条件结构 霖因辊救殆霉耻议廷垂辙诉砸届向换社宜谬澈劳那向融喳裁饥筷猿肘圃雀第4章__白盒测试及其实例设计第4章__白盒测试及其实例设计 4.3.1 循环测试 循环测试是一种着重循环结构有效性测试的白盒测试方法。循环结构测试用例的设计有以下4种模式，如图4-7所示。 图4-7 循环测试的模式 镍杉获剧额建余抵年场郡袭嘿吐模座殷气惫幽钝侣叭杜麻喳扛酉缎扁储巩第4章__白盒测试及其实例设计第4章__白盒测试及其实例设计 变异测试是一种故障驱动测试，即针对某一类特定程序故障进行的测试，变异测试也是一种比较成熟的排错性测试方法。它可以通过检验测试数据集的排错能力来判断软件测试的充分性。 假设对程序P进行一些微小改动而得到程序MP，程序MP就是程序P的一个变异体。 假设程序P在测试集T上是正确的，设计某一变异体集合：M={MP|MP是P的变异体}，若变异