1、软件测试技术软件测试技术 第第2 2章章白盒测试白盒测试1/116l静态白盒测试主要包括静态白盒测试主要包括代码检查代码检查和和静态结构分析静态结构分析两种方两种方法法。l动态动态白盒测试主要包括程序插桩、逻辑覆盖测试、基本白盒测试主要包括程序插桩、逻辑覆盖测试、基本路径测试、循环结构测试等路径测试、循环结构测试等。动态白盒测试方法动态白盒测试方法是白是白盒盒测试中发现软件缺陷的主要手段。其中，逻辑覆盖测试测试中发现软件缺陷的主要手段。其中，逻辑覆盖测试和基本路径测试方法是实际工作中最常用到的两种动态和基本路径测试方法是实际工作中最常用到的两种动态白盒测试技术，白盒测试技术，2.2.对于白盒测
2、试的基本认识对于白盒测试的基本认识2/116白盒测试简介白盒测试简介白盒测试一般用来分析程序的内部结构，因此有时也被称为基白盒测试一般用来分析程序的内部结构，因此有时也被称为基于程序的测试。白盒测试的前提条件是已知程序的内部工作过于程序的测试。白盒测试的前提条件是已知程序的内部工作过程，清楚其语句、变量状态、逻辑结构和执行路径等关键信息，程，清楚其语句、变量状态、逻辑结构和执行路径等关键信息，因此也被称为玻璃盒测试因此也被称为玻璃盒测试。白盒测试主要是根据程序内部的逻白盒测试主要是根据程序内部的逻辑结构和相关信息，检验程序中的各条通路是否都能够按设计辑结构和相关信息，检验程序中的各条通路是否都
3、能够按设计要求正确工作，从这一意义上来讲，白盒测试又常被称为结构要求正确工作，从这一意义上来讲，白盒测试又常被称为结构测试或逻辑驱动测试。测试或逻辑驱动测试。白盒测试针对的是程序的内部结构和运行白盒测试针对的是程序的内部结构和运行过过程。程。白盒测试重视测试覆盖率的度量，被看白盒测试重视测试覆盖率的度量，被看做是做是“基于覆盖的测试基于覆盖的测试”，要求对被测程序，要求对被测程序的结构能够做到一定程度的覆盖，通过不同的结构能够做到一定程度的覆盖，通过不同类型的覆盖准则来判断测试执行的充分性。类型的覆盖准则来判断测试执行的充分性。3/116白白盒测试的基本原则盒测试的基本原则l保证程序模块中的所
4、有独立路径都至少被使用一次；保证程序模块中的所有独立路径都至少被使用一次；l保证程序中的所有逻辑值都能测试保证程序中的所有逻辑值都能测试TrueTrue和和FalseFalse两种两种情况；情况；l在循环的边界和运行的界限内执行循环体；在循环的边界和运行的界限内执行循环体；l测试程序内部数据结构的有效性以及完成边界数据取测试程序内部数据结构的有效性以及完成边界数据取值情况下的测试。值情况下的测试。4/116穷举路径测试示例穷举路径测试示例5/116白盒测试的缺点白盒测试的缺点白盒测试方法试图穷举所有程序路径进行测试，这往往是不白盒测试方法试图穷举所有程序路径进行测试，这往往是不可能的可能的。穷
5、举穷举路径测试查不出违反设计规范的错误，路径测试查不出违反设计规范的错误，不能发现程序中不能发现程序中已实现但不是用户所需要的功能已实现但不是用户所需要的功能，不可能查出程序中因遗漏不可能查出程序中因遗漏路径而产生的错误路径而产生的错误，可能发现不了一些与数据相关的异常错可能发现不了一些与数据相关的异常错误误。尽管尽管白盒测试方法深入程序内部，针对程序细节的逻辑结构白盒测试方法深入程序内部，针对程序细节的逻辑结构进行测试，对代码的测试比较彻底，但仍然存在着一定的局进行测试，对代码的测试比较彻底，但仍然存在着一定的局限性限性。6/1162.2 静态测试静态测试根据测试时是否运行源程序，白盒测试可
6、以分为根据测试时是否运行源程序，白盒测试可以分为静静态测试态测试和和动态测试动态测试。静态静态测试方法又主要分为代码检查和静态结构分析测试方法又主要分为代码检查和静态结构分析等等。静态静态测试就是不实际运行被测试的软件，而只是静测试就是不实际运行被测试的软件，而只是静态地检查程序代码、界面或文档中可能存在的错误态地检查程序代码、界面或文档中可能存在的错误的过程。的过程。7/1162.2.1代码检查法代码检查法代码检查法主要包括代码检查法主要包括桌面检查桌面检查、走查走查和和代码审查代码审查。主要主要检查代码的检查代码的规范性、可读性、结构的合理性、逻辑表规范性、可读性、结构的合理性、逻辑表达的
7、正确性达的正确性等内容等内容。代码检查比动态测试更为有效，能快速发现代码检查比动态测试更为有效，能快速发现30%70%的逻的逻辑设计和编码缺陷，应当辑设计和编码缺陷，应当在程序编译和动态测试之前进行在程序编译和动态测试之前进行。最不正式的最不正式的最正式的最正式的临时评审临时评审轮查轮查 走查走查互为评审互为评审同行评审同行评审 审查审查Random review,Pass-round,Walkthrough,Peer review,InspectionRandom review,Pass-round,Walkthrough,Peer review,Inspection8/116表表2-1 桌
8、面检查、走查和代码审查的对比桌面检查、走查和代码审查的对比项目项目桌面检查桌面检查走查走查代码审查代码审查准备准备程序的规格说明、编码规范、错误列表、源代码参加人员事先阅读设计和源代码，准备代表性测试用例需求与设计文档、源代码、编码规范、缺陷检测表、会议计划和流程形式形式无非正式会议正式会议参加人参加人员员程序编写者本人开发组内部人员开发、测试和相关人员主要技主要技术方法术方法无逻辑运行测试用例缺陷检测表9/116表表2-1 桌面检查、走查和代码审查的对比（续表）桌面检查、走查和代码审查的对比（续表）项目项目桌面检查桌面检查走查走查代码审查代码审查注意事项注意事项注释与编码规范限时、不当场修改
9、代码限时、不当场修改代码生成文档生成文档无静态分析错误报告结果报告目标目标无代码标准规范、无逻辑错误代码标准规范、无逻辑错误优点优点省时便于项目组成员交流，共同理解软件产品有计划的对软件产品进行编码质量控制缺点缺点不正式、依赖个人能力、效率低耗时耗时10/1161 1）桌面检查）桌面检查 桌面检查是最不正式，也是最省时的静态测试桌面检查是最不正式，也是最省时的静态测试技术技术。桌面检查桌面检查就是程序员对自己的代码进行一次自就是程序员对自己的代码进行一次自我检查，对编码成果进行自我完善我检查，对编码成果进行自我完善。由于由于桌面检查没有任何约束，依赖程序员个人桌面检查没有任何约束，依赖程序员个
10、人的经验和技术能力，因此对于大多数人而言，的经验和技术能力，因此对于大多数人而言，检查效率很低。由编程者本人完成的桌面检查检查效率很低。由编程者本人完成的桌面检查明显违背了软件测试的独立性明显违背了软件测试的独立性原则原则。效果远远效果远远逊色于代码走查和代码审查。逊色于代码走查和代码审查。11/116桌面检查的主要内容：桌面检查的主要内容：l 变量和标号的交叉引用表检查。检查变量的定义变量和标号的交叉引用表检查。检查变量的定义和使用以及转向特定位置的标号。和使用以及转向特定位置的标号。l 子程序、宏、函数检查。子程序、宏、函数检查。l 等价性检查。检查全部等价变量类型的一致性。等价性检查。检
11、查全部等价变量类型的一致性。l 常量检查。常量检查。l 设计标准检查。检查程序是否违反设计标准。设计标准检查。检查程序是否违反设计标准。l 风格检查。风格检查。12/116l 控制流检查。控制流检查。l 选择、激活路径检查。检查每条控制流路径是选择、激活路径检查。检查每条控制流路径是否都能被程序激活，达到语句覆盖。否都能被程序激活，达到语句覆盖。l 规格符合性检查。是否符合程序规格说明以及规格符合性检查。是否符合程序规格说明以及编码规范。编码规范。l 补充文档检查。补充文档检查。13/1162 2）走查）走查代码走查的过程是非正式的，一般是在开发代码走查的过程是非正式的，一般是在开发组内部进行
12、，通过一个代码走查小组，组内部进行，通过一个代码走查小组，以以会会议的方式来检查代码议的方式来检查代码。代代码码走查有利于项目组人员共同理解项目所走查有利于项目组人员共同理解项目所涉及的业务信息和具体代码实现过程，交换涉及的业务信息和具体代码实现过程，交换代码编写思路，帮助开发人员找出程序错误代码编写思路，帮助开发人员找出程序错误和解决方法。和解决方法。14/116代码审查是一种正式的评代码审查是一种正式的评审活动，通过正式会议的审活动，通过正式会议的方式进行，事先一般具有方式进行，事先一般具有制定好的会议计划和流程，制定好的会议计划和流程，会议中应用预先定义好的会议中应用预先定义好的标准和检
13、查技术检查程序标准和检查技术检查程序和文档，发现软件缺陷，和文档，发现软件缺陷，会后形成正式的审查结果会后形成正式的审查结果报告。报告。3）代码审查）代码审查主持人主持人作者记录员列席人员内审员内审员技术专业人员用户代表15/116代码审查是一个软件开发过程代码审查是一个软件开发过程中必不可少的环节。谷歌前资中必不可少的环节。谷歌前资深软件开发工程师深软件开发工程师Mark Chu-Carroll博士认为，之所以让博士认为，之所以让Google的程序如此优秀的一的程序如此优秀的一个重要原因看起来很简单：代个重要原因看起来很简单：代码审查。在码审查。在Google，没有任，没有任何项目的程序源代
14、码可以在没何项目的程序源代码可以在没有经过有效的代码审查前就提有经过有效的代码审查前就提交到代码库中。交到代码库中。Mark Chu-Carroll16/116代码审查的作用和注意事项：代码审查的作用和注意事项：l因知道存在代码审查，编码者编写代码更为规范；因知道存在代码审查，编码者编写代码更为规范；l代码审查能传播知识，使模块编写者之外的审查者代码审查能传播知识，使模块编写者之外的审查者也能熟悉程序的设计和架构；也能熟悉程序的设计和架构；l确保程序作者自己写出的代码是正确的；确保程序作者自己写出的代码是正确的；l不应过于匆忙的完成代码审查；不应过于匆忙的完成代码审查；l需要遵循严格的编码规范
15、。需要遵循严格的编码规范。17/1162.2.2 2.2.2 静态结构分析法静态结构分析法静态结构分析法实际上是通过白盒测试工具辅助进行程序检查静态结构分析法实际上是通过白盒测试工具辅助进行程序检查的一种方法的一种方法。在静态结构分析中，测试人员通过测试工具分析程序的系统结在静态结构分析中，测试人员通过测试工具分析程序的系统结构、数据结构、数据接口、控制逻辑等内部结构，生成函数调构、数据结构、数据接口、控制逻辑等内部结构，生成函数调用关系图、程序控制流图、内部文件调用关系图、子程序表、用关系图、程序控制流图、内部文件调用关系图、子程序表、宏和函数参数表等各类图表，可以清晰地呈现整个系统的组成宏
16、和函数参数表等各类图表，可以清晰地呈现整个系统的组成结构，方便阅读和理解。通过分析这些图表，测试人员可以快结构，方便阅读和理解。通过分析这些图表，测试人员可以快速和有效地发现程序中潜在的错误。速和有效地发现程序中潜在的错误。18/116表表2-2 静态结构分析图表及其作用静态结构分析图表及其作用分类分类名称名称内容与作用内容与作用图图函数调用关系图l 列出所有函数，用连线表示调用关系，展示系统的结构；l 发现系统是否存在结构缺陷、区分函数的重要程度、确定测试覆盖级别；l 检查函数的调用关系是否正确；l 是否存在递归调用；l 函数的调用层次是否过深；l 检查是否存在孤立而未被调用的函数；l 确定
17、函数调用频度，重点检查被频繁调用的函数。模块控制流图l 由结点和边组成，每个结点代表一条或多条语句，边表示控制流；l 能够直观地反映一个模块的内部逻辑结构。19表表2-2 静态结构分析图表及其静态结构分析图表及其作用（续表）作用（续表）分分类类名称名称内容与作用内容与作用表表标号交叉引用表l 列出所有模块中用到的标号；l 标号的属性，包括已说明、未说明、已使用、未使用；l 模块以外的全局标号、计算标号。变量交叉引用表l 展示所有变量的定义和引用情况；l 变量的属性，包括是否已说明、是否已使用、类型、是否属于公共变量、全局变量等。子程序（宏、函数）引用表列出所有子程序、宏和函数的属性，包括类型、
18、是否已定义、是否已引用、引用次数、输入输出参数的数量、顺序和类型。等价表 列出在等价语句或等值语句中出现的全局变量和标号。常数表 列出所有数字和字符常数。20/116借助图表，可以完成如下静态错误分析：l 数据类型和单位分析。数据类型和单位分析。l 引用分析。找出变量引用错误，例如：变量赋值以引用分析。找出变量引用错误，例如：变量赋值以前被引用或赋值后未被引用。前被引用或赋值后未被引用。l 表达式分析。发现表达式中不正确地使用括号、数表达式分析。发现表达式中不正确地使用括号、数据下标越界等错误。据下标越界等错误。l 接口分析。检查模块之间接口的一致性和模块与外接口分析。检查模块之间接口的一致性
19、和模块与外部数据库之间接口的一致性。部数据库之间接口的一致性。212.3 2.3 程序插桩程序插桩定义定义：是在保证被测程序原有逻辑完整性的基础上在程序中插是在保证被测程序原有逻辑完整性的基础上在程序中插入一些语句，这些语句被称为入一些语句，这些语句被称为“探针探针”、“探测器探测器”或或“探测探测点点”，其本质就是进行信息采集的代码段，其本质就是进行信息采集的代码段。测试人员常常借助程序插桩的方法来收集程序动态运行行为，测试人员常常借助程序插桩的方法来收集程序动态运行行为，一些与运行环境相关的程序行为只能通过程序插桩的方法来收一些与运行环境相关的程序行为只能通过程序插桩的方法来收集，静态程序
20、分析无法完成这样的工作。通过程序插桩技术，集，静态程序分析无法完成这样的工作。通过程序插桩技术，能够获取各种程序信息，是对程序进行白盒测试的一种有效手能够获取各种程序信息，是对程序进行白盒测试的一种有效手段。段。22图图2-3 计算最大公约数函数的程序插桩过程计算最大公约数函数的程序插桩过程23图图2-3是一个计算两个整数的最大公约数函数的程序插桩示是一个计算两个整数的最大公约数函数的程序插桩示例，左边是函数源程序，右边是程序的流程图例，左边是函数源程序，右边是程序的流程图。虚线框代虚线框代表在源程序中插入的一些探针语句，用于记录语句执行的表在源程序中插入的一些探针语句，用于记录语句执行的次数
21、，是一些计数器，可以用数组的方式实现次数，是一些计数器，可以用数组的方式实现。C(1)用于用于记录函数被调用的次数，记录函数被调用的次数，C(2)用于记录循环执行的次数，用于记录循环执行的次数，C(3)是函数出口计数器，是函数出口计数器，C(4)C(5)是主要程序分支上的计是主要程序分支上的计数器。数器。24插插桩注意事项桩注意事项:（1）需要探测哪些）需要探测哪些信息信息:这需要根据具体的测试目标来决定需要根据具体的测试目标来决定。（2）在什么位置设置探测点）在什么位置设置探测点l程序的第一个可执行语句之前，用于判断该程序是否被执行。程序的第一个可执行语句之前，用于判断该程序是否被执行。l有
22、标号的可执行语句之前。有标号的可执行语句之前。lfor、while、do until等循环语句处。等循环语句处。lif、then、else等条件分支语句处。等条件分支语句处。l输入语句之后，用于检验输入数据的正确性。输入语句之后，用于检验输入数据的正确性。l输出语句之前，用于检验将要输出的数据是否正确。输出语句之前，用于检验将要输出的数据是否正确。25/116l函数、过程等程序调用语句之后，用于判断调用结果是否函数、过程等程序调用语句之后，用于判断调用结果是否正确。正确。lReturn语句之前，判断程序是否正常返回。如果探针设置语句之前，判断程序是否正常返回。如果探针设置在在return语句之
23、后，那么它将无法被执行。语句之后，那么它将无法被执行。（3）需要设置多少个探测点）需要设置多少个探测点一般情况下，在没有分支的程序段中只需要在首尾各设置一一般情况下，在没有分支的程序段中只需要在首尾各设置一个探测点，用于确定程序执行时该段程序是否被覆盖个探测点，用于确定程序执行时该段程序是否被覆盖。如果。如果程序中有各种分支控制结构，如各种循环和条件判断分支结程序中有各种分支控制结构，如各种循环和条件判断分支结构，那么为了插入最少的探测点，需要针对程序的控制结构构，那么为了插入最少的探测点，需要针对程序的控制结构进行具体的分析。进行具体的分析。26/116（4）如何在程序的特定位置插入用于判断
24、变量特性的）如何在程序的特定位置插入用于判断变量特性的语句语句程序插桩并不是一个独立的白盒测试方法，一般要和诸如覆程序插桩并不是一个独立的白盒测试方法，一般要和诸如覆盖测试等方法结合起来使用。在实现程序覆盖测试时，经常盖测试等方法结合起来使用。在实现程序覆盖测试时，经常需要获得一些特定信息需要获得一些特定信息，要想获得这些信息，就需要在被测要想获得这些信息，就需要在被测程序中插入完成相应工作的代码，即运用代码插桩程序中插入完成相应工作的代码，即运用代码插桩技术技术。需要需要注意的是，代码插桩虽然不影响程序的逻辑结构和复杂注意的是，代码插桩虽然不影响程序的逻辑结构和复杂性，但是会破坏程序的时间特
25、性性，但是会破坏程序的时间特性。因此，在用程序插桩辅助因此，在用程序插桩辅助完成一些性能监视测试工作时，有时需要考虑插桩代码对程完成一些性能监视测试工作时，有时需要考虑插桩代码对程序运行效率的影响。序运行效率的影响。27/116逻辑覆盖测试是一种常用的动态白盒测试方法，主要包括语句覆盖、判定覆盖、条件覆盖、判定-条件覆盖、条件组合覆盖和路径覆盖。逻辑覆盖是基于程序的内部逻辑结构进行的测试，要求在设计测试用例时，对被测程序的逻辑结构有清晰的了解。2.4 2.4 逻辑覆盖测试逻辑覆盖测试28/116源程序源程序程序流程图程序流程图图图2-4 逻辑覆盖测试被测程序及其流程图逻辑覆盖测试被测程序及其流
26、程图29在逻辑覆盖测试中，决定程序分支走向的一个整体布尔型表在逻辑覆盖测试中，决定程序分支走向的一个整体布尔型表达式被称为一个判定，取值为达式被称为一个判定，取值为True或或False。一个判定不考。一个判定不考虑其内部是否包含虑其内部是否包含“与与”或者或者“或或”等逻辑操作符。上述例等逻辑操作符。上述例程中包含两个判定：程中包含两个判定：“A1 and B=0”，为方便表达记为，为方便表达记为P1；“A=2 or X1”，记为，记为P2。上述例程中只有上述例程中只有3个变量，但是却包含个变量，但是却包含4个条件表达式：个条件表达式：“A1”，记为，记为C1；“B=0”，记为，记为C2；“
27、A=2”，记为，记为C3；“X1”，记为，记为C4。302.4.1 语句覆盖语句覆盖定义：定义：设计若干个测试用例，使被测程序中的每一条可执设计若干个测试用例，使被测程序中的每一条可执行语句行语句至少至少执行一次执行一次。注意注意事项：事项：为了尽可能减少设计、实施和维护测试用例的成本，逻辑为了尽可能减少设计、实施和维护测试用例的成本，逻辑覆盖测试用例的数量应当越少越好，只要能够满足相应的覆盖测试用例的数量应当越少越好，只要能够满足相应的覆盖标准即可覆盖标准即可。语句覆盖是最弱的逻辑覆盖标准。运行测试用例（语句覆盖是最弱的逻辑覆盖标准。运行测试用例（A=2，B=0，X=3），虽然能够执行所有语
28、句，但是不能覆盖所），虽然能够执行所有语句，但是不能覆盖所有的判定分支有的判定分支。因此，语句覆盖只针对程序中显式存在的因此，语句覆盖只针对程序中显式存在的语句，而无法测试隐藏的条件和可能的逻辑分支。语句，而无法测试隐藏的条件和可能的逻辑分支。312.4.2 判定覆盖判定覆盖判定覆盖又称为分支覆盖，是指设计若干个判定覆盖又称为分支覆盖，是指设计若干个测试用例，使被测程序中的每个判定的取真测试用例，使被测程序中的每个判定的取真分支和取假分支至少被执行一次，即每个判分支和取假分支至少被执行一次，即每个判定的真假值均被满足。定的真假值均被满足。32/116测试用例测试用例P1P2执行路径执行路径A=
29、2，B=0，X=4TTa-c-b-e-dA=3，B=1，X=1FFa-b-d表表2-3 判定覆盖判定覆盖测试用例测试用例对于上述被测程序，设计如表对于上述被测程序，设计如表2-3所示的判定覆盖测试用例，所示的判定覆盖测试用例，使程序执行路径使程序执行路径“a-c-b-e-d”和和“a-b-d”。这样，判定。这样，判定P1和和P2的真假分支就都能被执行到。的真假分支就都能被执行到。33/116表表 2-4 判定覆盖测试用例判定覆盖测试用例测试用例测试用例P1P2执行路径执行路径A=3，B=0，X=1TFa-c-b-dA=2，B=1，X=3FTa-b-e-d设计如表设计如表2-4所示的测试用例，使
30、程序执行路径所示的测试用例，使程序执行路径“a-c-b-d”和和“a-b-e-d”。这样，判定。这样，判定P1和和P2的真假分支也同样都能的真假分支也同样都能被执行到。被执行到。34 注意注意程序程序中包含两种类型的判定语句。一种是双值判中包含两种类型的判定语句。一种是双值判定语句，其取值或者是定语句，其取值或者是True或者是或者是False。另。另一种是多一种是多值判定值判定语句。语句。因此，判定覆盖更一般的含义是设计测因此，判定覆盖更一般的含义是设计测试用例，使每一个分支试用例，使每一个分支获得获得每一种可能的结果每一种可能的结果。判定覆盖比语句覆盖具有更好的测试充分性判定覆盖比语句覆盖
31、具有更好的测试充分性。由于可由于可执行语句要不就在判定的真分支，要不就在假分支上。执行语句要不就在判定的真分支，要不就在假分支上。所以，只要满足了判定覆盖标准的测试用例就一定满所以，只要满足了判定覆盖标准的测试用例就一定满足语句覆盖标准，反之则不然足语句覆盖标准，反之则不然。判定覆盖的测试充分性仍然很弱，它只是判断整个判判定覆盖的测试充分性仍然很弱，它只是判断整个判定表达式的最终取值结果，而不考虑表达式中每个条定表达式的最终取值结果，而不考虑表达式中每个条件的取值情况，因此必然会漏检一些条件错误。判定件的取值情况，因此必然会漏检一些条件错误。判定表达式往往由多个条件组合而成，某个条件的取值结表
32、达式往往由多个条件组合而成，某个条件的取值结果可能会掩盖其它条件的取值结果情况。果可能会掩盖其它条件的取值结果情况。35/1162.4.3 条件覆盖条件覆盖定义：定义：条件覆盖是指，设计足够多的测试用例，使条件覆盖是指，设计足够多的测试用例，使每个判定中的每个条件的真假取值都至少被满足一每个判定中的每个条件的真假取值都至少被满足一次次。上述程序中的4个条件C1C4中每一个都有真假两种取值可能，分别为：lC1取真值（即A1）记为T1，取假值（即A1）记为F1；lC2取真值（即B=0）记为T2，取假值（即B0）记为F2；lC3取真值（即A=2）记为T3，取假值（即A2）记为F3；lC4取真值（即X
33、1）记为T4，取假值（即X1）记为F4。36/116表表2-5 条件覆盖条件覆盖测试用例测试用例测试用例测试用例C1C2C3C4P1P2执行路径执行路径A=2，B=0，X=4T1T2T3T4TTa-c-b-e-dA=1，B=1，X=1F1F2F3F4FFa-b-d条件覆盖一般比判定覆盖要强，因为其更为细节地考虑了判定条件覆盖一般比判定覆盖要强，因为其更为细节地考虑了判定表达式中每个条件的取值情况表达式中每个条件的取值情况。需要。需要注意的是，虽然表注意的是，虽然表2-5的测的测试用例也同时满足了判定覆盖标准，但是满足条件覆盖标准的试用例也同时满足了判定覆盖标准，但是满足条件覆盖标准的测试用例并
34、不能总是保证满足判定覆盖标准。这是由于，条件测试用例并不能总是保证满足判定覆盖标准。这是由于，条件覆盖只考虑每个条件都取得真假两种值，而不考虑所有的判定覆盖只考虑每个条件都取得真假两种值，而不考虑所有的判定结果取值情况。结果取值情况。37/116表表2-6 条件覆盖条件覆盖测试用例测试用例测试用例测试用例C1C2C3C4P1P2执行路径执行路径A=2，B=0，X=1T1T2T3F4TTa-c-b-e-dA=1，B=1，X=4F1F2F3T4FTa-b-e-d表表2-6的测试用例满足了条件覆盖标准，但是由于判定的测试用例满足了条件覆盖标准，但是由于判定P2只只有取真值一种情况，其有取真值一种情况
35、，其False分支未被执行，因此不满足判定分支未被执行，因此不满足判定覆盖标准覆盖标准。38/116定义：定义：由由判定覆盖和条件覆盖可知，条件覆盖不一定包含判定覆盖和条件覆盖可知，条件覆盖不一定包含判定覆盖，反之亦然。因此，就需要一种能将两者结合起判定覆盖，反之亦然。因此，就需要一种能将两者结合起来的逻辑覆盖标准，这就是判定来的逻辑覆盖标准，这就是判定-条件覆盖，也称为分支条件覆盖，也称为分支-条件覆盖或条件判定组合覆盖条件覆盖或条件判定组合覆盖。基本思想：基本思想：设计足够多的测试用例，使被测程序中每个判设计足够多的测试用例，使被测程序中每个判定的每个条件的可能取值至少被执行一次，并且每个
36、可能定的每个条件的可能取值至少被执行一次，并且每个可能的判定结果也至少被执行一次。的判定结果也至少被执行一次。39注意：注意：判定判定-条件覆盖条件覆盖并并不不一定一定能够查出逻辑表达式能够查出逻辑表达式中的所有错误中的所有错误。从测试充分性上来看，满足判定从测试充分性上来看，满足判定-条条件覆盖就一定能够满足条件覆盖、判定覆盖和语句覆件覆盖就一定能够满足条件覆盖、判定覆盖和语句覆盖。盖。40定义：定义：条件组合覆盖是指，设计足够多的测试用例，使被条件组合覆盖是指，设计足够多的测试用例，使被测程序中每个判定的所有可能的条件取值组合至少被执行测程序中每个判定的所有可能的条件取值组合至少被执行一次
37、一次。条件组合覆盖与条件覆盖的条件组合覆盖与条件覆盖的区别区别是是：仅仅要求每个条件都能要求每个条件都能有真假两种取值结果，而且要求这些结果的所有可能组合有真假两种取值结果，而且要求这些结果的所有可能组合都至少出现一次。都至少出现一次。2.4.5 条件组合覆盖条件组合覆盖41表表2-7 条件取值组合条件取值组合情况情况组合编号组合编号1234条件取值组合条件取值组合T1，T2T1，F2F1，T2F1，F2表表2-7 条件取值组合条件取值组合情况情况（续表）（续表）组合编号组合编号5678条件取值组合条件取值组合T3，T4T3，F4F3，T4F3，F442注意：注意：条件取值组合只针对同一个判定
38、表达式内存在多个条条件取值组合只针对同一个判定表达式内存在多个条件的情况，将这些条件的取值进行笛卡尔乘积组合；件的情况，将这些条件的取值进行笛卡尔乘积组合；不同判定表达式内的条件取值之间无需组合；不同判定表达式内的条件取值之间无需组合；对于单条件的判定表达式，只需要满足自己的所有取对于单条件的判定表达式，只需要满足自己的所有取值即可值即可。根据根据表表2-7的条件取值组合情况，可以设计表的条件取值组合情况，可以设计表2-8所示的条所示的条件组合覆盖测试用例。件组合覆盖测试用例。43表表2-8 条件组合覆盖测试用例条件组合覆盖测试用例测试用例测试用例C1C2C3C4覆盖条件覆盖条件组合组合P1P
39、2执行路径执行路径A=2，B=0，X=4T1T2T3T41,5TTa-c-b-e-dA=2，B=1，X=1T1F2T3F42,6FTa-b-e-dA=1，B=0，X=2F1T2F3T43,7FTa-b-e-dA=1，B=1，X=1F1F2F3F44,8FFa-b-d44条件组合覆盖是一种很强的覆盖标准，能够有效地测试条件组合覆盖是一种很强的覆盖标准，能够有效地测试各种条件取值组合是否正确各种条件取值组合是否正确。但是，条件组合覆盖也线性地增加了测试用例的数量，但是，条件组合覆盖也线性地增加了测试用例的数量，提高了测试用例设计、实施和维护的成本提高了测试用例设计、实施和维护的成本。即便如此，条件
40、组合覆盖仍然可能漏测部分程序可执行即便如此，条件组合覆盖仍然可能漏测部分程序可执行路径，测试还不够充分。路径，测试还不够充分。45例：被测程序中有例：被测程序中有4条可执行路径，分别为：条可执行路径，分别为：路径路径1：a-c-b-e-d；路径路径2：a-b-d；路径路径3：a-c-b-d；路径路径4：a-b-e-d。而表而表2-8的测试用例的测试用例“执行路径执行路径”项中只有项中只有3条执行路径，条执行路径，路径路径“a-b-e-d”是重复的，漏测了可执行路径是重复的，漏测了可执行路径“a-c-b-d”。462.4.6 2.4.6 路径覆盖路径覆盖定义：定义：路径覆盖就是设计足够多的测试用
41、例，路径覆盖就是设计足够多的测试用例，使被测程序的每条可执行路径都至少执行一次使被测程序的每条可执行路径都至少执行一次。例：例：被测程序中有被测程序中有4条可执行路径，因此表条可执行路径，因此表2-9所示路径覆盖测试用例由所示路径覆盖测试用例由4条测试用例构成。条测试用例构成。47测试用例测试用例C1C2C3C4P1P2执行路径执行路径A=2，B=0，X=3T1T2T3T4TTa-c-b-e-dA=1，B=1，X=1F1F2F3F4FFa-b-dA=3，B=0，X=3T1T2F3F4TFa-c-b-dA=2，B=1，X=1T1F2T3F4FTa-b-e-d表表 2-9 路径覆盖测试用例路径覆盖
42、测试用例48/116路径覆盖测试的特点：路径覆盖测试的特点：路径覆盖是经常使用的覆盖测试方法，相比路径覆盖是经常使用的覆盖测试方法，相比于其它逻辑覆盖方法，它的于其它逻辑覆盖方法，它的测试覆盖率最大测试覆盖率最大。路径覆盖路径覆盖不一定能保证条件组合不一定能保证条件组合覆盖覆盖。例如例如上面的测试用例中，上面的测试用例中，“F1，T2”和和“F3，T4”两种条件取值组合情况就未能覆盖到两种条件取值组合情况就未能覆盖到。路径覆盖也路径覆盖也不一定能保证条件覆盖不一定能保证条件覆盖。由于路径覆盖必然经历所有判定的各个分支，由于路径覆盖必然经历所有判定的各个分支，因此路径覆盖因此路径覆盖能够完全包容
43、判定覆盖和语句能够完全包容判定覆盖和语句覆盖覆盖。49/116注意：注意：随着代码复杂度的增加，程序可执行随着代码复杂度的增加，程序可执行路径的数量可能呈路径的数量可能呈指数级指数级增长增长。如果被测程如果被测程序中包含循环结构，随着循环嵌套层次和循序中包含循环结构，随着循环嵌套层次和循环次数的增加，程序可执行路径数可能达到环次数的增加，程序可执行路径数可能达到天文数字天文数字。这种情况下，一般通过下一小节这种情况下，一般通过下一小节的的Z路径覆盖方法进行测试。路径覆盖方法进行测试。50/116小结小结通过以上通过以上6种逻辑覆盖测试方法的讲解我们会发现，没有种逻辑覆盖测试方法的讲解我们会发现
44、，没有十全十美的覆盖测试方法，每一种方法都有其优点和局十全十美的覆盖测试方法，每一种方法都有其优点和局限性限性。在。在实际测试用例设计过程中，需要根据实际情况实际测试用例设计过程中，需要根据实际情况将几种逻辑覆盖测试方法配合使用，以达到最高的覆盖将几种逻辑覆盖测试方法配合使用，以达到最高的覆盖率。实际工作中，语句覆盖、判定覆盖和路径覆盖使用率。实际工作中，语句覆盖、判定覆盖和路径覆盖使用的最多，一般有如下要求的最多，一般有如下要求：l 语句覆盖率：语句覆盖率：100%；l 判定覆盖率：判定覆盖率：85以上；以上；l 路径覆盖率：路径覆盖率：80%以上以上51基于对上述基于对上述6种逻辑覆盖方法
45、测试充分性的分析，可以种逻辑覆盖方法测试充分性的分析，可以将它们之间的强弱关系用图将它们之间的强弱关系用图2-5表示表示。图图2-5 6种逻辑覆盖测试的强弱种逻辑覆盖测试的强弱关系关系522.4.7 Z路径覆盖路径覆盖Z路径覆盖是一种简化循环意义下的路径覆盖测路径覆盖是一种简化循环意义下的路径覆盖测试方法。试方法。Z路径覆盖舍掉了路径覆盖的一些次要因素，对路径覆盖舍掉了路径覆盖的一些次要因素，对循环机制进行了简化。通过限制循环的次数，最循环机制进行了简化。通过限制循环的次数，最大化的减少了路径的数量，使得覆盖这些有限的大化的减少了路径的数量，使得覆盖这些有限的路径成为可能。无论循环的形式和循环
46、体实际执路径成为可能。无论循环的形式和循环体实际执行的次数如何，在行的次数如何，在Z路径覆盖测试中，路径覆盖测试中，只考虑执只考虑执行循环体一次和零次两种情况行循环体一次和零次两种情况，即只考虑执行时，即只考虑执行时进入循环体一次和跳过循环体这两种情况。进入循环体一次和跳过循环体这两种情况。53图图2-6 循环结构简化成选择循环结构简化成选择结构结构54图图2-6（a）和图）和图2-6（b）是两种典型的循环结构。前）是两种典型的循环结构。前者先做判断，循环体只考虑执行一次或不执行，其效者先做判断，循环体只考虑执行一次或不执行，其效果与图果与图2-6（c）是一样的。后者先执行循环体，也只）是一样
47、的。后者先执行循环体，也只考虑执行一次，然后再经判断转出，其效果与图考虑执行一次，然后再经判断转出，其效果与图2-6（c）中只执行选择结构右分支一样）中只执行选择结构右分支一样。经过经过Z路径覆盖方法对循环结构进行简化后，程序中只路径覆盖方法对循环结构进行简化后，程序中只存在顺序结构和分支结构，其所包含的路径数一般是存在顺序结构和分支结构，其所包含的路径数一般是有限的，因此可以做到对这些路径的覆盖。有限的，因此可以做到对这些路径的覆盖。55/1162.4.8 路径覆盖最少测试用例数计算路径覆盖最少测试用例数计算通过程序盒图（也称为通过程序盒图（也称为N-S图）图）对对一种计算路径覆盖最一种计算
48、路径覆盖最少测试用例数的方法少测试用例数的方法进行进行说明。说明。图图2-7 由盒图表示的程序基本逻辑由盒图表示的程序基本逻辑结构结构56/116图图2-7中包含了中包含了3种程序的基本逻辑结构：顺序、选择和种程序的基本逻辑结构：顺序、选择和循环循环。一一个顺序结构无论语句多少，只有一条可执行路径个顺序结构无论语句多少，只有一条可执行路径；一一个个If-Then-Else型选择结构包含两条可执行路径型选择结构包含两条可执行路径；一一个多分支个多分支Case型选择结构的可执行路径数量由它的型选择结构的可执行路径数量由它的分支数量决定分支数量决定。对于循环型结构来讲对于循环型结构来讲，我们只需要清
49、楚包含选择结构，我们只需要清楚包含选择结构的程序的可执行路径数量计算方法即可。的程序的可执行路径数量计算方法即可。57图图2-8 两个串行的选择结构两个串行的选择结构如图如图2-8所示，所示，程序程序包含包含4条可条可执行路径，分别经过语句（块）执行路径，分别经过语句（块）AC、AD、BC和和BD。因此，。因此，最少的路径覆盖测试用例数为最少的路径覆盖测试用例数为4。实际上，这样的计算结果是根实际上，这样的计算结果是根据据“串行分层相乘串行分层相乘”的方法计的方法计算出来的算出来的。图图2-8的程序盒图可以分为上下两层，上层的的程序盒图可以分为上下两层，上层的P1选择结构包选择结构包含含2条路
50、径，下层条路径，下层P2选择结构包含选择结构包含2条路径，将它们相乘就条路径，将它们相乘就得到计算结果得到计算结果4。对于盒图选择结构中并行的语句（块），。对于盒图选择结构中并行的语句（块），如如A和和B，C和和D，将它们的数量相加就可以得到该并行层次，将它们的数量相加就可以得到该并行层次的路径数。的路径数。58图图2-9 复杂结构程序盒图复杂结构程序盒图示例示例59 图图2-9的盒图中包含两组串行的选择结构：的盒图中包含两组串行的选择结构：P1与与P8，P2与与P6，分别以分层线，分别以分层线1和和2标识标识。P8所包含的嵌套选择结构路径数为所包含的嵌套选择结构路径数为3，将它与，将它与P1
