白盒测试和其实例相关设计.ppt

白盒测试和其实例相关设计;第4章 白盒测试及其实例设计;本章概述 白盒测试是软件测试实践中最为有效和实用的方法之一。白盒测试是基于程序的测试，检测产品的内部结构是否合理以及内部操作是否按规定执行，覆盖测试与路径测试是其两大基本策略。本章重点围绕逻辑覆盖和路径分析展开介绍常见的白盒测试方法，并通过实例说明如何实际运用白盒测试技术。;4.1 逻辑覆盖测试 ;图4-1 程序流程图;语句覆盖 语句覆盖（Statement Coverage）是指设计若干个测试用例，程序运行时每个可执行语句至少被执行一次。在保证完成要求的情况下，测试用例的数目越少越好。 以下是针对公共程序段设计的两个测试用例： Test Case 1：x=2000,y=600,z=6000 Test Case 2：x=900,y=600,z=6000;判断覆盖 判断覆盖（Branch Coverage）是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真值分支和假值分支至少被执行一遍。在保证完成要求的情况下，测试用例的数目越少越好。判断覆盖又称为分支覆盖。 以下是针对公共程序段设计的两个测试用例： Test Case 1：x=2000,y=600,z=6000 Test Case 3：x=50,y=600,z=2000 ; 测试用例;条件覆盖 条件覆盖（Condition Coverage）是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件中的每个判断式的真值和假值至少被执行一遍。;abe abe;判断/条件覆盖 判断/条件覆盖是指设计若干个测试用例，执行被测试程序时，程序中每个判断条件的真假值分支至少被执行一遍，并且每个判断条件的内部判断式的真假值分支也要被执行一遍。 测试用例组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;ace abe abe abd;路径覆盖 路径覆盖??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 路径分析测试;图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 独立路径测试 ;图4-3 控制流图示例;独立路径测试的步骤包括3个方面： 导出程序控制流图 求出程序环形复杂度 设