第五章 白盒测试-精品文档资料整理.ppt

《第五章 白盒测试-精品文档资料整理.ppt》由会员分享，可在线阅读，更多相关《第五章 白盒测试-精品文档资料整理.ppt（121页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、Copyright Tarena Technologies Inc., 2008. All rights reserved.Tarena High-End IT T中国北京中国北京电话：（010）62135687、62136369地址：北京市海淀区北三环西路甲18号 中鼎大厦B座7层中国上海中国上海电话：（021）61202630、61202603地址：上海市北京东路668号 上海科技京城B区9层 加拿大多伦多加拿大多伦多电话：（416）491-6456 地址：Suite 1208, Deerford Road, Toronto, Ontario, Canada邮编：M2J 3J3中国广州中国

2、广州电话：（020）85518868、85518898 地址：广州天河区岗顶侨鑫教育主楼三层白盒测试白盒测试Topicsl 白盒测试概述白盒测试概述l 静态白盒测试静态白盒测试l 动态白盒测试动态白盒测试l 逻辑覆盖逻辑覆盖l 基本路径测试方法基本路径测试方法2022-7-212白盒测试方法白盒测试方法l 为什么要进行白盒测试？为什么要进行白盒测试？ 因为黑盒测试有一定的缺陷？因为黑盒测试有一定的缺陷？黑盒测试既不充分，而且效率也低。黑盒测试既不充分，而且效率也低。在系统完成之前，测试就无法开始，测试人员只在系统完成之前，测试就无法开始，测试人员只有软件版本发布时才能拿到版本进行测试。有软件版

3、本发布时才能拿到版本进行测试。白盒测试方法白盒测试方法l 为什么要进行白盒测试？为什么要进行白盒测试？ 如果所有软件错误的根源都可以追溯到某个唯一原因如果所有软件错误的根源都可以追溯到某个唯一原因，那么问题就简单了。然而，事实上一个，那么问题就简单了。然而，事实上一个bugbug常常是由多个常常是由多个因素共同导致的，如下图所示。因素共同导致的，如下图所示。白盒测试白盒测试l 白盒测试（白盒测试（White-box testing）是通过对程序内部结构的分析、检测来寻找问题，又是通过对程序内部结构的分析、检测来寻找问题，又称透明盒测试和逻辑驱动测试称透明盒测试和逻辑驱动测试5/39白盒测试目的

4、白盒测试目的 l 保证程序中所有关键路径的测试保证程序中所有关键路径的测试,防止由于没有执防止由于没有执行的路径在实际投入运行后执行到发生意外的情行的路径在实际投入运行后执行到发生意外的情况况l 衡量测试完整性衡量测试完整性l 程序内部所有的逻辑值真、假两个分支的覆盖程序内部所有的逻辑值真、假两个分支的覆盖l 检查内存泄漏检查内存泄漏l 解决实验条件下很难搭建真实测试环境的问题解决实验条件下很难搭建真实测试环境的问题l 检查代码符合一定的编码规范，减少由于编码不检查代码符合一定的编码规范，减少由于编码不规范而引入错误规范而引入错误6/39Topicsl 白盒测试概述白盒测试概述l 静态白盒测试

5、静态白盒测试l 动态白盒测试动态白盒测试l 逻辑覆盖逻辑覆盖l 基本路径测试方法基本路径测试方法2022-7-217静态白盒测试静态白盒测试l 静态白盒测试静态白盒测试: 不运行不运行被测程序本身，仅通过被测程序本身，仅通过分析分析或或检查检查源源程序的程序的语法语法、结构结构、方法方法、接口接口等来检查程序等来检查程序的正确性，对需求文档、设计文档、源程序做的正确性，对需求文档、设计文档、源程序做结构分析、流程图分析、符号执行来找错。结构分析、流程图分析、符号执行来找错。 进行静态白盒测试的首要原因是进行静态白盒测试的首要原因是尽早发现软尽早发现软件缺陷件缺陷，以找出动态黑盒测试难以发现或隔

6、离，以找出动态黑盒测试难以发现或隔离的软件缺陷。另一个好处是给黑盒测试人员提的软件缺陷。另一个好处是给黑盒测试人员提供思路。供思路。静态白盒测试静态白盒测试l 静态测试错误类型：静态测试错误类型：不匹配的参数、不适当的循环嵌套和分支嵌套不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。的引用和可疑的计算等。2022-7-219静态白盒测试静态白盒测试l 代码走查（代码走查（walkthrough）开发组内部进行的，采用讲解、讨论和模拟运行的方式开发组内部进行的，采用讲解、讨论和模拟运行的方式进行的查找错误的

7、活动进行的查找错误的活动l 代码审查代码审查(Inspection)开发组内部进行的，采用讲解、提问并使用开发组内部进行的，采用讲解、提问并使用Checklist方方式进行的查找错误的活动。一般有正式的计划、流程和式进行的查找错误的活动。一般有正式的计划、流程和结果报告结果报告l 技术评审技术评审(Review)开发组、测试组和相关人员开发组、测试组和相关人员(QA、产品经理等、产品经理等)联合进行联合进行的，采用讲解、提问并使用的，采用讲解、提问并使用Checklist方式进行的查找错方式进行的查找错误的活动。一般有正式的计划、流程和结果报告误的活动。一般有正式的计划、流程和结果报告正式审查

8、正式审查l 正式审查正式审查(formal review)就是进行静态白盒测试的过程就是进行静态白盒测试的过程.正式审查的含义很广正式审查的含义很广,从两个程序员的交谈从两个程序员的交谈,到软件设计和代码的详细到软件设计和代码的详细,严格严格检查均属于此过程检查均属于此过程.正式审查的正式审查的4个基本要素个基本要素:正式审查正式审查1、确定问题确定问题。审查的目标是找出软件的问题，不仅是出错。审查的目标是找出软件的问题，不仅是出错的项目，还包括遗漏的项目。全部的批评应直指代码，而的项目，还包括遗漏的项目。全部的批评应直指代码，而不是其创建者。合作者不应该互相指责。个人情绪化感觉不是其创建者。

9、合作者不应该互相指责。个人情绪化感觉要保留。要保留。2、遵守规则遵守规则。 审查要遵守一套固定的规则，规则可能设定审查要遵守一套固定的规则，规则可能设定要审查的代码量、花费多少时间、哪些内容要做备注等等要审查的代码量、花费多少时间、哪些内容要做备注等等。其重要性在于合作者了解自己的作用和目标，这有助于。其重要性在于合作者了解自己的作用和目标，这有助于使审查进展的更加顺利。使审查进展的更加顺利。3、准备准备。每个合作者需要了解自己的责任和义务，并积极。每个合作者需要了解自己的责任和义务，并积极参与审查。在审查过程中找出问题大部分的缺陷是在准备参与审查。在审查过程中找出问题大部分的缺陷是在准备期间

10、发现的，而不是实际审查期间。期间发现的，而不是实际审查期间。4、编写报告编写报告。审查小组必须做出总结审查结果的书面报告。审查小组必须做出总结审查结果的书面报告，并使报告便于开发小组使用。审查结果必须尽快告诉别，并使报告便于开发小组使用。审查结果必须尽快告诉别人，比如发现多少问题，在哪发现的。人，比如发现多少问题，在哪发现的。2022-7-2112编码规范和标准编码规范和标准l 坚持标准和规范的原因坚持标准和规范的原因可靠性可靠性:l按照某种标准或规范编写的代码比不规范的按照某种标准或规范编写的代码比不规范的代码更可靠，缺陷更少代码更可靠，缺陷更少可读性可读性/可维护性可维护性l符合标准和规范

11、的代码，易于阅读、理解和符合标准和规范的代码，易于阅读、理解和维护维护移植性移植性l不同平台、不同硬件，不同编译器不同平台、不同硬件，不同编译器13/39代码审查单代码审查单l 代码审查单代码审查单 用于把代码与标准或规范进行对照补充，并确保代用于把代码与标准或规范进行对照补充，并确保代码符合项目的设计要求。码符合项目的设计要求。14/39数据引用错误数据引用错误数据声明错误数据声明错误计算错误计算错误函数参数错误函数参数错误比较错误比较错误输入输入/输出错误输出错误其它检查其它检查控制流程错误控制流程错误关于静态白盒测试在正式审查中验证软件应该查找的问题关于静态白盒测试在正式审查中验证软件应

12、该查找的问题: 1.数据引用错误数据引用错误数据引用错误是数据引用错误是指使用未经正确声明和初始化的变量、指使用未经正确声明和初始化的变量、常量、数组、字符串而导致的软件缺陷常量、数组、字符串而导致的软件缺陷。变量是否被赋予不同类型的值？例如，无意中使代码变量是否被赋予不同类型的值？例如，无意中使代码为整形变量赋予一个浮点数值？为整形变量赋予一个浮点数值？通用代码审查清单通用代码审查清单是否引用了未初始化的变量？查找遗漏之处与查找错误同等重要是否引用了未初始化的变量？查找遗漏之处与查找错误同等重要通用代码审查清单通用代码审查清单数组和字符串的下标是整数值吗？下标总是在数组和字符串长度范围之内吗

13、？数组和字符串的下标是整数值吗？下标总是在数组和字符串长度范围之内吗？通用代码审查清单通用代码审查清单数组和字符串的下标是整数值吗？下标总是在数组和字符串长度范围之内吗？数组和字符串的下标是整数值吗？下标总是在数组和字符串长度范围之内吗？通用代码审查清单通用代码审查清单在检索操作或者引用数组下标时是否包含在检索操作或者引用数组下标时是否包含“丢掉一个丢掉一个”这样的潜在错误？这样的潜在错误？通用代码审查清单通用代码审查清单变量是否被赋予不同类型的值？例如，无意中使代码为整形变量赋予一个浮点数变量是否被赋予不同类型的值？例如，无意中使代码为整形变量赋予一个浮点数值？值？通用代码审查清单通用代码审

14、查清单2. 数据声明数据声明数据声明缺陷产生的原因是数据声明缺陷产生的原因是不正确地声明不正确地声明或使用或使用变量变量和和常量常量.所有变量都赋予正常的长度、类型？例如，本应声明为所有变量都赋予正常的长度、类型？例如，本应声明为字符串的变量声明为字符数组了吗？字符串的变量声明为字符数组了吗？变量是否在声明的同时进行了初始化？是否正确初始化变量是否在声明的同时进行了初始化？是否正确初始化并与其类型一致？并与其类型一致？变量有相似的名称吗？这基本上不算软件缺陷，但有可变量有相似的名称吗？这基本上不算软件缺陷，但有可能是程序中其他地方出现名称混淆的信息。能是程序中其他地方出现名称混淆的信息。存在声

15、明过、但从未引用或者只引用过一次的变量吗？存在声明过、但从未引用或者只引用过一次的变量吗？所有变量都赋予正常的长度、类型和存储类了吗？例如所有变量都赋予正常的长度、类型和存储类了吗？例如，本应声明为字符串的变量声明为字符数组了吗？，本应声明为字符串的变量声明为字符数组了吗？ 变量是否在声明的同时进行了初始化？是否正确初始化并与其类型一致？变量是否在声明的同时进行了初始化？是否正确初始化并与其类型一致？ 变量有相似的名称吗？这基本上不算软件缺陷，但有可能是程序中其他地方出现名变量有相似的名称吗？这基本上不算软件缺陷，但有可能是程序中其他地方出现名称混淆的信息。称混淆的信息。3. 计算错误计算错误

16、计算或者运算错误实质上是糟糕的数学问题计算或者运算错误实质上是糟糕的数学问题.计算无法得到预计算无法得到预期结果期结果.计算时是否了解和考虑到编译器对类型或长度不一致的计算时是否了解和考虑到编译器对类型或长度不一致的变量的转换规则变量的转换规则?在数值计算过程中是否可能出现溢出在数值计算过程中是否可能出现溢出?除数除数/模是否可能为零模是否可能为零?对于算术运算对于算术运算,处理某些计算处理某些计算(特别是除法特别是除法)的代码是否会的代码是否会导致精度丢失导致精度丢失?变量的值是否超过有意义的范围变量的值是否超过有意义的范围?例如例如,可能性的计算结可能性的计算结果是否小于果是否小于0%或者

17、大于或者大于100%除数除数/模是否可能为零模是否可能为零?4. 比较错误比较错误小于小于、大于大于、等于等于、不等于不等于、真真、假假。比较和判断错误很可。比较和判断错误很可能是由于能是由于边界边界条件问题。条件问题。比较得正确吗？虽然听起来简单，但是比较应该是小比较得正确吗？虽然听起来简单，但是比较应该是小于还是小于等于常常发生混淆。于还是小于等于常常发生混淆。存在分数或者浮点值之间的比较吗？如果有，精度问存在分数或者浮点值之间的比较吗？如果有，精度问题会影响比较吗？题会影响比较吗？1.000001和和1.000002非常接近，它们非常接近，它们相等么？相等么？存在分数或者浮点值之间的比较

18、吗？如果有，精度问题会影响比较吗？存在分数或者浮点值之间的比较吗？如果有，精度问题会影响比较吗？1.000001和和1.000002非常接近，它们相等么？非常接近，它们相等么？每一个逻辑表达式都正确表达了么？逻辑计算按预计的进行了吗？求值次序有疑每一个逻辑表达式都正确表达了么？逻辑计算按预计的进行了吗？求值次序有疑问吗？问吗？每一个逻辑表达式都正确表达了么？逻辑计算按预计的进行了吗？求值次序有疑每一个逻辑表达式都正确表达了么？逻辑计算按预计的进行了吗？求值次序有疑问吗？问吗？逻辑表达式的操作数是逻辑值吗？例如，是否包含整数值的整型变量用于逻辑计逻辑表达式的操作数是逻辑值吗？例如，是否包含整数值

19、的整型变量用于逻辑计算中？算中？逻辑值逻辑值true false=(等于等于)、（小于）、（小于）、（大于）、（大于）、=（大于等于）、（大于等于）、（不（不等于）等于）NOT（非）、非）、AND（与）、与）、OR（或）或）5. 控制流程错误控制流程错误控制流程错误的原因是编程语言中控制流程错误的原因是编程语言中循环循环等等控制结构控制结构未按预未按预期方式工作期方式工作.它们通常由它们通常由计算计算或者或者比较比较错误直接或者间接错误直接或者间接造成造成.可能存在永远不停的循环吗？可能存在永远不停的循环吗？循环是否可能永不执行？如果是这样，可以接受吗？循环是否可能永不执行？如果是这样，可以接

20、受吗？如果程序包含像如果程序包含像switchcase语句这样的多个分支语句这样的多个分支,变量变量的取值能超出可能的分支数目吗的取值能超出可能的分支数目吗?如果超出如果超出,该情况能正该情况能正确处理吗确处理吗? 可能存在永远不停的循环吗？可能存在永远不停的循环吗？6. 方法参数错误方法参数错误方法参数错误的来源是软件子程序方法参数错误的来源是软件子程序不正确地传递数不正确地传递数据据.方法接收的参数类型和大小与调用代码发送的方法接收的参数类型和大小与调用代码发送的匹配吗匹配吗?次序正确吗次序正确吗?方法更改了仅作为输入值的参数吗方法更改了仅作为输入值的参数吗?每一个参数的类型是否与相应的形

21、参类型匹配每一个参数的类型是否与相应的形参类型匹配-例如例如,int对对int如果存在全局变量如果存在全局变量,在所有引用方法中是否有相在所有引用方法中是否有相同的定义和属性同的定义和属性?方法接收的参数类型和大小与调用代码发送的匹配吗方法接收的参数类型和大小与调用代码发送的匹配吗?次次序正确吗序正确吗? 如果存在全局变量如果存在全局变量,在所有引用子程序中是否有相同的定义和属性在所有引用子程序中是否有相同的定义和属性?7. 输入输入/输出错误输出错误输入输入/输出错误包括文件输出错误包括文件读取读取、接受键盘接受键盘或者或者鼠标输入鼠标输入以以及向及向打印机打印机或者或者屏幕屏幕等输出设备写

22、入错误。下列条目非常等输出设备写入错误。下列条目非常简单、通用、应该在使用时补充，以涵盖所测试的软件简单、通用、应该在使用时补充，以涵盖所测试的软件软件是否严格遵守外部设备读写数据的专用格式？软件是否严格遵守外部设备读写数据的专用格式？文件或者外设不存在或者未准备好的错误情况有处理吗文件或者外设不存在或者未准备好的错误情况有处理吗？软件是否处理外部设备未连接、不可用，或者读写过程软件是否处理外部设备未连接、不可用，或者读写过程中存贮空间占满等情况？中存贮空间占满等情况？软件以预期方式处理预计的错误吗？软件以预期方式处理预计的错误吗？检查错误提示信息的准确性、正确性、语法和拼写了吗检查错误提示信

23、息的准确性、正确性、语法和拼写了吗？8. 其他检查其他检查定义了一些不适合放在其他类别的条目。这不是为了完整定义了一些不适合放在其他类别的条目。这不是为了完整，而是提示为定制软件项目清单应该加入的内容。，而是提示为定制软件项目清单应该加入的内容。软件是否要移植到其他编译器和软件是否要移植到其他编译器和CPU，具有这样做的许，具有这样做的许可吗？如果没有计划或者测试，那么，移植性可能成为可吗？如果没有计划或者测试，那么，移植性可能成为一个大难题。一个大难题。是否考虑了兼容性，以使软件能够运行于不同数量的可是否考虑了兼容性，以使软件能够运行于不同数量的可用内存？用内存？程序编译是否产生程序编译是否

24、产生“警告警告”或者或者“提示提示”信息？信息？动态测试和静态测试动态测试和静态测试l 静态测试静态测试静态测试不实际运行软件，主要是对软件的编程格式、静态测试不实际运行软件，主要是对软件的编程格式、结构等方面进行评估结构等方面进行评估静态测试包括代码检查、程序结构分析、代码质量度量静态测试包括代码检查、程序结构分析、代码质量度量等。它可以由人工进行，也可以借助软件工具自动进行等。它可以由人工进行，也可以借助软件工具自动进行 代码检查比动态测试更有效率，能快速找到缺陷，发代码检查比动态测试更有效率，能快速找到缺陷，发 现现30%70%的逻辑设计和编码缺陷的逻辑设计和编码缺陷动态测试和静态测试动

25、态测试和静态测试l 静态分析静态分析静态分析是指在不执行的情况下进行评估的过程静态分析是指在不执行的情况下进行评估的过程包括：包括：l类型检查类型检查l风格检查风格检查l程序理解程序理解lBug查找查找l安全审查安全审查动态测试和静态测试动态测试和静态测试l 静态分析静态分析l类型检查（例子）类型检查（例子）lint main() char ch = 0; int n = 0; ch = n; Return 0;ll编辑器编译时通过，但是编辑器编译时通过，但是PCLint可以通过静态代码可以通过静态代码检查找到类型转换造成的精度丢失的问题检查找到类型转换造成的精度丢失的问题动态测试和静态测试动

26、态测试和静态测试l 静态分析静态分析l风格检查（例子）风格检查（例子）l风格检查更加注重空格、缩减、命名、注释、程序风格检查更加注重空格、缩减、命名、注释、程序结构这些表名的东西结构这些表名的东西l风格检查程序所展示的错误往往都是影响代码的可风格检查程序所展示的错误往往都是影响代码的可读性和可维护性的问题读性和可维护性的问题l常用工具：常用工具： C/C+:PCLint JAVA:PMD .MET:StyleCopTopicsl 白盒测试概述白盒测试概述l 静态白盒测试静态白盒测试l 动态白盒测试动态白盒测试l 逻辑覆盖逻辑覆盖l 基本路径测试方法基本路径测试方法2022-7-2143动态白盒

27、测试动态白盒测试l 动态白盒测试：由于是动态的，就一定是测试运行中的程动态白盒测试：由于是动态的，就一定是测试运行中的程序，由于是白盒，就一定要洞察盒子里面，检查代码并观序，由于是白盒，就一定要洞察盒子里面，检查代码并观察运行状况。察运行状况。l 生成测试数据、分析测试结果的工作量大，使开展测试工生成测试数据、分析测试结果的工作量大，使开展测试工作费时、费力、费人。作费时、费力、费人。白盒测试用例的设计方法白盒测试用例的设计方法u逻辑覆盖方法：以程序的内部逻辑结构为基础。有以下逻辑覆盖方法：以程序的内部逻辑结构为基础。有以下6种：种：1.语句覆盖语句覆盖2.判定覆盖判定覆盖3.条件覆盖条件覆盖

28、4.判定条件覆盖判定条件覆盖5.条件组合覆盖条件组合覆盖6.路径覆盖路径覆盖u基本路径测试：在程序控制流程的基础上，分析控制构基本路径测试：在程序控制流程的基础上，分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计造的环路复杂性，导出基本可执行路径集合，从而设计测试用例。测试用例。Topicsl 白盒测试概述白盒测试概述l 静态白盒测试静态白盒测试l 动态白盒测试动态白盒测试l 逻辑覆盖逻辑覆盖l 基本路径测试方法基本路径测试方法2022-7-2146逻辑覆盖逻辑覆盖l 语句覆盖测试语句覆盖测试l 判定（分支）覆盖测试判定（分支）覆盖测试l 条件覆盖测试条件覆盖测试l 判定判定-条件覆

29、盖测试条件覆盖测试l 条件组合覆盖测试条件组合覆盖测试l 路径覆盖测试路径覆盖测试例：实现一个简单的数学运算例：实现一个简单的数学运算1. Dim a,b As Integer2. Dim c As Double3. If (a0 And b0) Then4. c=c/a5. End if6. If (a1 or c1) Then7. c=c+18. End if9. c=b+c语句覆盖语句覆盖l基本思想是：设计若干测试用例，运行被测程序，使程基本思想是：设计若干测试用例，运行被测程序，使程序中每个序中每个可执行语句可执行语句至少执行一次。至少执行一次。1if (if (条件表达式条件表达式)

30、 ) 语句语句1 1 先计算（条件先计算（条件1 1）中表达式的值，如）中表达式的值，如果其值为非零，则执行（语句果其值为非零，则执行（语句1 1） 条件应该是个条件应该是个 bool 类型类型if (condition = true) 应该简写成应该简写成 if (condition)，没有必要将，没有必要将 bool 值值表达式和一个表达式和一个 bool 值比较后再返值比较后再返回回 bool 值值。 语句覆盖语句覆盖l 只需一个测试用例只需一个测试用例: a=2，b=1，c=6；即达到；即达到了语句覆盖。了语句覆盖。语句覆盖语句覆盖-思考思考l 假设第一个判断语句假设第一个判断语句if

31、(x0 & y0)中的中的“&”被程序员被程序员错误地写成了错误地写成了“|”，即，即if(x0 | y0)，使用上面设计出来，使用上面设计出来的一组测试用例来进行测试，仍然可以达到的一组测试用例来进行测试，仍然可以达到100%的语句的语句覆盖，所以语句覆盖无法发现上述的逻辑错误。覆盖，所以语句覆盖无法发现上述的逻辑错误。语句覆盖语句覆盖l 【优点优点】 ：可以很直观地从源代码得到测试用例，无须：可以很直观地从源代码得到测试用例，无须细分每条判定表达式。细分每条判定表达式。l 【缺点缺点】 ：由于这种测试方法仅仅针对程序逻辑中显式：由于这种测试方法仅仅针对程序逻辑中显式存在的语句，但对于隐藏的

32、条件是无法测试的。例如在第存在的语句，但对于隐藏的条件是无法测试的。例如在第一个判定一个判定(a0)and(b0)中把中把“and”错误的写成了错误的写成了“or”，这时仍可使用该测试用例，语句覆盖是，这时仍可使用该测试用例，语句覆盖是最弱最弱的逻辑覆盖的逻辑覆盖。判定覆盖判定覆盖l基本思想是：设计若干测试用例，运行被测程序，使得基本思想是：设计若干测试用例，运行被测程序，使得程序中程序中每个判断每个判断的取真分支和取假分支的取真分支和取假分支至少经历一次至少经历一次，即判断真假值均曾被满足。即判断真假值均曾被满足。1判定覆盖判定覆盖l a=1，b=1 ，c= -3 可覆盖可覆盖判断判断M的的

33、Y分支和判断分支和判断Q的的N分支分支 ； l a=1，b= -2 ，c=3可覆盖可覆盖判断判断M的的N分支和判断分支和判断Q的的Y分支分支 ； 同样的这两组测试用同样的这两组测试用例也可覆盖所有判定的真例也可覆盖所有判定的真假分支。假分支。判断判断M判断判断Q判定覆盖判定覆盖l 【优点优点】：判定覆盖具有比语句覆盖强的测试能力。同样判定覆盖具有比语句覆盖强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。判定就可以得到测试用例。l 【缺点缺点】：往往大部分的判定语句是由多个逻辑条件组合：往往大部分的判定

34、语句是由多个逻辑条件组合而成，若仅仅判断其整个最终结果，而而成，若仅仅判断其整个最终结果，而忽略每个条件的取忽略每个条件的取值值情况，必然会遗漏部分测试路径。判定覆盖仍是情况，必然会遗漏部分测试路径。判定覆盖仍是弱弱的逻的逻辑覆盖。辑覆盖。16352789410l 说明：以上仅考虑了两出口的判断，我们还应把判定覆盖说明：以上仅考虑了两出口的判断，我们还应把判定覆盖准则扩充到多出口判断（如准则扩充到多出口判断（如CaseCase语句）的情况。因此，判语句）的情况。因此，判定覆盖更为广泛的含义应该是使得每一个判定获得每一种定覆盖更为广泛的含义应该是使得每一个判定获得每一种可能的结果至少一次。可能的

35、结果至少一次。判定覆盖判定覆盖条件覆盖条件覆盖l在实际程序代码中，一个判定中通常都包含若干条件。在实际程序代码中，一个判定中通常都包含若干条件。 条件覆盖的目的是设计若干测试用例，在执行被测程序条件覆盖的目的是设计若干测试用例，在执行被测程序后，要后，要使每个判定中使每个判定中每个条件每个条件的可能值至少满足一次。的可能值至少满足一次。1条件覆盖条件覆盖l 判断判断M表达式表达式:设设条件条件 a0 取真取真 记为记为 T1 假假 F1 条件条件 b0 取真取真 记为记为 T2 假假 F2l 判断判断Q表达式表达式:设条件设条件 a1 取真取真 记为记为 T3 假假 F3 条件条件 c1 取真

36、取真 记为记为 T4 假假 F4判断判断M判断判断Q条件覆盖条件覆盖测试用例测试用例覆盖覆盖条件条件具体取值条具体取值条件件a=2,b=-1,c=-a=2,b=-1,c=-2 2T1, T1, F2, F2, T3, T3, F4F4a0,b0,b1,c1,c=1a=-1,b=2,c=3a=-1,b=2,c=3F1, F1, T2, T2, F3, F3, T4T4a0,a0,a1a1它覆盖了判定它覆盖了判定M M的的N N分支和判断分支和判断Q Q的的Y Y分支分支我们用条件覆盖设计的思想就是让测试用例能覆盖我们用条件覆盖设计的思想就是让测试用例能覆盖T1T1、T2T2、T3T3、T4T4、

37、F1F1、F2F2、F3F3、F4F4判断判断M判断判断Q条件覆盖条件覆盖l 【优点优点】：增加了对条件判定情况的测试，增加了测试路：增加了对条件判定情况的测试，增加了测试路径。径。l 【缺点缺点】：条件覆盖不一定包含判定覆盖。例如，我们刚：条件覆盖不一定包含判定覆盖。例如，我们刚才设计的用例就没有覆盖判断才设计的用例就没有覆盖判断M的的Y分支和判断分支和判断Q的的N分分支。条件覆盖只能保证每个条件可能取值至少执行一次，支。条件覆盖只能保证每个条件可能取值至少执行一次，而而不考虑所有的判定结果不考虑所有的判定结果。判定条件覆盖判定条件覆盖l判定判定/条件覆盖实际上是将判定覆盖和条件覆盖结合起条

38、件覆盖实际上是将判定覆盖和条件覆盖结合起来的一种方法，即：设计足够的测试用例，使得判定中来的一种方法，即：设计足够的测试用例，使得判定中每个条件的所有可能取值至少满足一次，同时每个判定每个条件的所有可能取值至少满足一次，同时每个判定的可能结果也至少出现一次。的可能结果也至少出现一次。l基本思想是：设计足够的测试用例，使得基本思想是：设计足够的测试用例，使得判断条件中的判断条件中的所有条件可能至少执行一次取值。同时，所有判断的可所有条件可能至少执行一次取值。同时，所有判断的可能结果至少执行一次能结果至少执行一次。1判定条件覆盖判定条件覆盖l按照判定条件覆盖的按照判定条件覆盖的要求，我们设计的测试

39、要求，我们设计的测试用例要满足如下条件：用例要满足如下条件：1.1. 所有条件可能至少执行所有条件可能至少执行一次取值；一次取值；2.2. 所有判断的可能结果至所有判断的可能结果至少执行一次。少执行一次。要满足要满足T1、T2、T3、T4F1、F2、F3、F4判断判断M判断判断Q判定条件覆盖判定条件覆盖测试用测试用例例覆盖条件覆盖条件 覆盖判断覆盖判断a=2,b=1,c=6T1,T2,T3,T4M的的Y分支和分支和Q的的Y分支分支a=-1,b=-2,c=-3F1,F2, F3,F4M的的N分支和分支和Q的的N分支分支要满足要满足T1、T2、T3、T4F1、F2、F3、F4判断判断M判断判断Q判

40、定条件覆盖判定条件覆盖l 【优点优点】 ：能同时满足判定、条件两种覆盖标准。：能同时满足判定、条件两种覆盖标准。l 【分析分析】 ：从表面上看，判定条件覆盖测试了各个判定中的所有条：从表面上看，判定条件覆盖测试了各个判定中的所有条件的取值，但实际上，编译器在检查含有多个条件的逻辑表达式时，件的取值，但实际上，编译器在检查含有多个条件的逻辑表达式时，某些情况下的某些条件将会被其它条件所掩盖。因此，判定某些情况下的某些条件将会被其它条件所掩盖。因此，判定/ /条件覆盖条件覆盖也不一定能够完全检查出逻辑表达式中的错误。也不一定能够完全检查出逻辑表达式中的错误。 例如：对于第一个判定例如：对于第一个判

41、定(a0)and(b0)(a0)and(b0)来说，必须来说，必须a0a0和和b0b0这两个这两个条件同时满足才能确定该判定为真。如果条件同时满足才能确定该判定为真。如果a0a0为假，则编译器将不再为假，则编译器将不再检查检查b0b0这个条件，那么即使这个条件有错也无法被发现。对于第二这个条件，那么即使这个条件有错也无法被发现。对于第二个判定个判定(a1)or(c1)(a1)or(c1)来说，若条件来说，若条件a1a1满足，就认为该判定为真，这满足，就认为该判定为真，这时将不会再检查时将不会再检查c1c1，那么同样也无法发现这个条件中的错误。，那么同样也无法发现这个条件中的错误。l 【缺点缺点

42、】 ：判定：判定/ /条件覆盖准则的缺点是未考虑条件覆盖准则的缺点是未考虑条件的组合条件的组合情况。情况。条件组合覆盖条件组合覆盖l基本思想是：设计足够的测试用例，基本思想是：设计足够的测试用例，使得所有可能的条使得所有可能的条件取值组合至少执行一次件取值组合至少执行一次1条件组合覆盖条件组合覆盖l 按照条件组合覆盖的按照条件组合覆盖的基本思想，对于前面基本思想，对于前面的例子，我们把每个的例子，我们把每个判断中的所有条件进判断中的所有条件进行组合，设计行组合，设计组合条组合条件。件。如表所示，而我如表所示，而我们设计的测试用例就们设计的测试用例就要要包括所有的组合条包括所有的组合条件。件。编

43、编号号覆盖条件覆盖条件取值取值判定条判定条件取值件取值具体条件取值具体条件取值1T1,T2M取取Ya0,b02T1,F2M取取Na0,b=03F1,T2M取取Na04F1,F2M取取Na= 0,b1,c16T3,F4Q取取Ya1,c=17F3,T4Q取取Ya18F3,F4Q取取Na=1,c0 & y0) 5. 6. magic = x+y+10; / 语句块语句块1 7. 8. else 9. 10. magic = x+y-10; / 语句块语句块2 11. 12. 13. if(magic 3)&(z5) ) j=x*y+10; /语句块语句块2 j=j%3; /语句块语句块3逻辑覆盖法实

44、例演练逻辑覆盖法实例演练X3 & z5执行语句块执行语句块3FFTTabdce逻辑覆盖法实例演练逻辑覆盖法实例演练void DoWork (int x,int y,int z) int k=0,j=0; if ( (x3)&(z5) ) j=x*y+10; /语句块语句块2 j=j%3; /语句块语句块3语句覆盖语句覆盖l 要实现要实现DoWork函函数的语句覆盖，只数的语句覆盖，只需设计一个测试用需设计一个测试用例就可以覆盖程序例就可以覆盖程序中的所有可执行语中的所有可执行语句。句。 测试用例输入为测试用例输入为： x=4、y=5、z=-5 程序执行的路径程序执行的路径是：是：abdX3 &

45、 z5执行语句块执行语句块3FFTTabdce判定覆盖判定覆盖l 要实现要实现DoWork函函数的判定覆盖，需数的判定覆盖，需要设计两个测试用要设计两个测试用例例 测试用例的输入为测试用例的输入为：x=4、y=5、z=5；x=2、y=5、z=5 程序执行的路径分程序执行的路径分别是：别是：abd；aceX3 & z5执行语句块执行语句块3FFTTabdce条件覆盖条件覆盖对对DoWork函数的各个判定的各种条件取值加以标记。函数的各个判定的各种条件取值加以标记。 对于第一个判定对于第一个判定( (x3)&(z3 取真值记为取真值记为T1，取假值记为，取假值记为F1 条件条件z5) )： 条件条

46、件x=4 取真值记为取真值记为T3，取假值记为，取假值记为F3 条件条件y5 取真值记为取真值记为T4，取假值记为，取假值记为F4l 根据条件覆盖的基本思想，要使上述根据条件覆盖的基本思想，要使上述4个条件可能产生个条件可能产生的的8种情况至少满足一次，设计测试用例如下：种情况至少满足一次，设计测试用例如下：测试测试用例用例 执行执行路径路径 覆盖条覆盖条件件 覆盖覆盖分支分支x=4 y=6z=5 abd T1、T2、T3、T4 bdx=2y=5 z=15 ace F1、F2、 F3、F4 cev 分析：上面这组测试用例不但覆盖了分析：上面这组测试用例不但覆盖了4 4个条件的全部个条件的全部8

47、 8种情况，种情况，而且将两个判定的而且将两个判定的4 4个分支个分支b b、c c、d d、e e也同时覆盖了，即同时也同时覆盖了，即同时达到了条件覆盖和判定覆盖。达到了条件覆盖和判定覆盖。条件覆盖条件覆盖X3 & z5执行语句块执行语句块3FFTTabdcel 说明：虽然前面的一组测试用例同时达到了条件覆盖和判定覆盖，但说明：虽然前面的一组测试用例同时达到了条件覆盖和判定覆盖，但是，并不是说满足条件覆盖就一定能满足判定覆盖。如下例，虽然满是，并不是说满足条件覆盖就一定能满足判定覆盖。如下例，虽然满足了条件覆盖，但只是覆盖了第一个判定的取假分支足了条件覆盖，但只是覆盖了第一个判定的取假分支c

48、 和第二个判定和第二个判定的取真分支的取真分支d，不满足判定覆盖的要求。，不满足判定覆盖的要求。 测试测试用例用例 执行执行路径路径 覆盖覆盖条件条件覆盖覆盖分支分支x=2y=6z=5 acdF1、T2、F3、T4 cdx=4y=5z=15 acdT1、F2、T3、 F4 cdX3 & z5执行语句块执行语句块3FFTTabdce判定条件覆盖（一）判定条件覆盖（一）测试测试用例用例 执行执行路径路径 覆盖条件覆盖条件覆盖覆盖分支分支x=4y=6z=5 abdT1、T2、T3、T4 bdx=2y=5 z=15aceF1、F2、F3、F4 ceX3 & z5执行语句块执行语句块3FFTTabdce

49、 根据判定根据判定/条件覆盖的基本思想，只需设计以下两个测试用例便可条件覆盖的基本思想，只需设计以下两个测试用例便可以覆盖以覆盖4个条件的个条件的8种取值以及种取值以及4个判定分支。个判定分支。 组合覆盖组合覆盖l 组合覆盖的目的是要使设计的测试用例能覆盖每一个判定组合覆盖的目的是要使设计的测试用例能覆盖每一个判定的所有可能的条件取值组合。的所有可能的条件取值组合。l 对对DoWork函数中的各个判定的条件取值组合加以标记：函数中的各个判定的条件取值组合加以标记： 1、x3, z3, z=10 记做记做T1 F2，第一个判定的取假分支，第一个判定的取假分支 3、x=3, z10 记做记做F1

50、T2，第一个判定的取假分支，第一个判定的取假分支 4、x=10 记做记做F1 F2，第一个判定的取假分支，第一个判定的取假分支 5、x=4, y5 记做记做T3 T4，第二个判定的取真分支，第二个判定的取真分支 6、x=4, y5 记做记做F3 T4，第二个判定的取真分支，第二个判定的取真分支 8、x!=4, y3 & z5执行语句块执行语句块3FFTTabdce路径覆盖路径覆盖l 根据路径覆盖的基本思想，在满足组合覆盖的测试用例中根据路径覆盖的基本思想，在满足组合覆盖的测试用例中修改其中一个测试用例，则可以实现路径覆盖：修改其中一个测试用例，则可以实现路径覆盖：测试测试用例用例 执行执行路径