《软件工程引论教学课件》第7章软件测试.ppt

《《软件工程引论教学课件》第7章软件测试.ppt》由会员分享，可在线阅读，更多相关《《软件工程引论教学课件》第7章软件测试.ppt（111页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、1第第7 7章章 软件测试软件测试2千年虫千年虫3软件错误的实例软件错误的实例n n爱国者导弹爱国者导弹爱国者导弹爱国者导弹n n曾在海湾战争期间对抗伊拉克飞毛腿导弹曾在海湾战争期间对抗伊拉克飞毛腿导弹曾在海湾战争期间对抗伊拉克飞毛腿导弹曾在海湾战争期间对抗伊拉克飞毛腿导弹n n1991199119911991年年年年2 2 2 2月，一次对抗失利中月，一次对抗失利中月，一次对抗失利中月，一次对抗失利中28282828名名名名美国士兵丧生美国士兵丧生美国士兵丧生美国士兵丧生n n问题的症结在于导弹软件包含一个累加计时误差问题的症结在于导弹软件包含一个累加计时误差问题的症结在于导弹软件包含一个累

2、加计时误差问题的症结在于导弹软件包含一个累加计时误差n n软件错误软件错误软件错误软件错误n ntarget=ftarget=ftarget=ftarget=f（velocity,timevelocity,timevelocity,timevelocity,time）n n计时采用系统时钟（即计时采用系统时钟（即计时采用系统时钟（即计时采用系统时钟（即1/10 1/10 1/10 1/10 秒）并使用整数表达秒）并使用整数表达秒）并使用整数表达秒）并使用整数表达n n（1/101/101/101/10）2 2 2 2n n24 24 24 24 位寄存器存储导致误差（位寄存器存储导致误差（位寄

3、存器存储导致误差（位寄存器存储导致误差（0.0000000950.0000000950.0000000950.000000095）10101010n n0.000000095100hours606010=0.34seconds0.000000095100hours606010=0.34seconds0.000000095100hours606010=0.34seconds0.000000095100hours606010=0.34seconds4迪斯尼的圣诞节礼物迪斯尼的圣诞节礼物5问题在哪里？问题在哪里？n n没有足够测试没有足够测试没有足够测试没有足够测试n n缺乏测试平台缺乏测试平台缺乏

4、测试平台缺乏测试平台n n不正确的测试环境不正确的测试环境不正确的测试环境不正确的测试环境n n缺少集成测试缺少集成测试缺少集成测试缺少集成测试n n缺少性能测试缺少性能测试缺少性能测试缺少性能测试n n缺少强度测试缺少强度测试缺少强度测试缺少强度测试n n缺少可靠性测试缺少可靠性测试缺少可靠性测试缺少可靠性测试n n6Exchange 2000Exchange 2000 和和和和 Windows 2000Windows 2000 的人员结构的人员结构的人员结构的人员结构 Exchange 2000Exchange 2000Exchange 2000Exchange 2000Windows 2

5、000Windows 2000Windows 2000Windows 2000项目经理项目经理项目经理项目经理25252525人人人人约约约约 250 250 250 250人人人人开发人员开发人员开发人员开发人员140140140140人人人人约约约约 1700 1700 1700 1700人人人人测试人员测试人员测试人员测试人员350350350350人人人人约约约约 3200 3200 3200 3200人人人人测试人员测试人员测试人员测试人员/开发人员开发人员开发人员开发人员2:52:52:52:51:1:1:1:2 2 2 27开发人员的一般配置图开发人员的一般配置图8主要内容主要内

6、容n n软件测试概述软件测试概述软件测试概述软件测试概述n n软件测试方法软件测试方法软件测试方法软件测试方法n n软件测试阶段软件测试阶段软件测试阶段软件测试阶段n n软件测试工具软件测试工具软件测试工具软件测试工具9主要内容主要内容n n软件测试概述软件测试概述软件测试概述软件测试概述n n软件测试方法软件测试方法软件测试方法软件测试方法n n软件测试阶段软件测试阶段软件测试阶段软件测试阶段n n软件测试工具软件测试工具软件测试工具软件测试工具10软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件测试

7、的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件测试的基本原则软件测试的基本原则软件测试的基本原则11软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件测试的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件测试的基本原则软件测试的基本原则软件测试的基本原则12软件的错误软件的错误n n软件未达到产品说明书标明的功能软件未达到产品说明书标明的功能软

8、件未达到产品说明书标明的功能软件未达到产品说明书标明的功能n n软件出现了产品说明书指明不会出现的错误软件出现了产品说明书指明不会出现的错误软件出现了产品说明书指明不会出现的错误软件出现了产品说明书指明不会出现的错误n n软件功能超出了产品说明书指明的范围软件功能超出了产品说明书指明的范围软件功能超出了产品说明书指明的范围软件功能超出了产品说明书指明的范围n n软件未达到产品说明书虽未指出但应达到的目标软件未达到产品说明书虽未指出但应达到的目标软件未达到产品说明书虽未指出但应达到的目标软件未达到产品说明书虽未指出但应达到的目标n n软件测试人员认为软件难以理解、不易使用、运行速度缓软件测试人员

9、认为软件难以理解、不易使用、运行速度缓软件测试人员认为软件难以理解、不易使用、运行速度缓软件测试人员认为软件难以理解、不易使用、运行速度缓慢慢慢慢,或者最终用户不满意或者最终用户不满意或者最终用户不满意或者最终用户不满意13软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件测试的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件测试的基本原则软件测试的基本原则软件测试的基本原则14验证和确认验证和确认n n验证（验证（验证（验证

10、（VerificationVerification ）指确保软件正确地实现某一特定功能的一系列活动指确保软件正确地实现某一特定功能的一系列活动指确保软件正确地实现某一特定功能的一系列活动指确保软件正确地实现某一特定功能的一系列活动n n确认（确认（确认（确认（ValidationValidation ）指确保开发的软件可追溯到用户需求的另外一系列活动指确保开发的软件可追溯到用户需求的另外一系列活动指确保开发的软件可追溯到用户需求的另外一系列活动指确保开发的软件可追溯到用户需求的另外一系列活动n n验证（验证（验证（验证（VerificationVerification ）Are we buil

11、ding the product rightAre we building the product right？n n确认（确认（确认（确认（ValidationValidation ）Are we building the right product?Are we building the right product?BoehmBoehmBoehmBoehm的观点的观点的观点的观点用户要求用户要求用户用户:我要什么我要什么?运行结果运行结果计算机计算机:程序运行得程序运行得到的结果到的结果源程序源程序程序员程序员:我要让计算我要让计算机做什么机做什么?设计说明书设计说明书设计员设计员:我要让

12、软件我要让软件做什么做什么?需求说明书需求说明书分析员分析员:我要提我要提供什么供什么?理解正确性理解正确性表达正确性表达正确性表达正确性表达正确性理解正确性理解正确性设计正确性设计正确性理解正确性理解正确性编码正确性编码正确性输入正确性输入正确性运行正确性运行正确性相符吗相符吗?16软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件测试的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件测试的基本原则软件测试的基本原则软件测试

13、的基本原则17软件测试的定义软件测试的定义n n传统的观点传统的观点传统的观点传统的观点 软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否符合其所需结果的活动符合其所需结果的活动符合其所需结果的活动符合其所需结果的活动n nMyersMyersMyersMyers的观点的观点的观点的观点 软件测试是为了发现错误而执行一个程序或系统的过程软件测试是为了发现错误而执行一个程序或系统的过程软件测试是为了发现错误

14、而执行一个程序或系统的过程软件测试是为了发现错误而执行一个程序或系统的过程n nIEEEIEEEIEEEIEEE的观点的观点的观点的观点 软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目的在于检验系统是否满足规定的需求或弄清预期结果与实际结果之间的的在于检验系统是否满足规定的需求或弄清预期结果与实际结果之间的的在于检验系统是否满足规定的需求或弄清预期结果与实际结果之间的的在于检验系统是否满足规定的需求或弄

15、清预期结果与实际结果之间的差别差别差别差别n n软件测试的目的软件测试的目的软件测试的目的软件测试的目的 以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷18软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件测试的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件

16、测试的基本原则软件测试的基本原则软件测试的基本原则19软件测试软件测试V V模型模型20软件测试的对象软件测试的对象n n软件测试并不等于程序测试软件测试并不等于程序测试软件测试并不等于程序测试软件测试并不等于程序测试n n软件测试应贯穿于软件定义与开发的整个期间软件测试应贯穿于软件定义与开发的整个期间软件测试应贯穿于软件定义与开发的整个期间软件测试应贯穿于软件定义与开发的整个期间n n需求分析、概要设计、详细设计以及程序编码等所得到的文需求分析、概要设计、详细设计以及程序编码等所得到的文需求分析、概要设计、详细设计以及程序编码等所得到的文需求分析、概要设计、详细设计以及程序编码等所得到的文档

17、资料，包括档资料，包括档资料，包括档资料，包括需求规格说明需求规格说明需求规格说明需求规格说明、概要设计说明概要设计说明概要设计说明概要设计说明、详细设计规格详细设计规格详细设计规格详细设计规格说明说明说明说明以及以及以及以及源程序源程序源程序源程序，都应成为软件测试的对象，都应成为软件测试的对象，都应成为软件测试的对象，都应成为软件测试的对象 测试信息流如下图所示。测试信息流如下图所示。测试信息流如下图所示。测试信息流如下图所示。测试信息流测试信息流22软件测试概述软件测试概述n n软件的错误软件的错误软件的错误软件的错误n n验证与确认验证与确认验证与确认验证与确认n n软件测试的定义软件

18、测试的定义软件测试的定义软件测试的定义n n软件测试软件测试软件测试软件测试V V V V模型模型模型模型n n软件测试的基本原则软件测试的基本原则软件测试的基本原则软件测试的基本原则23软件测试的基本原则软件测试的基本原则n n所有测试的标准都是建立在所有测试的标准都是建立在所有测试的标准都是建立在所有测试的标准都是建立在用户需求用户需求用户需求用户需求之上之上之上之上n n软件项目一启动，软件测试也就开始软件项目一启动，软件测试也就开始软件项目一启动，软件测试也就开始软件项目一启动，软件测试也就开始n n严格执行测试计划，排除测试的随意性严格执行测试计划，排除测试的随意性严格执行测试计划，

19、排除测试的随意性严格执行测试计划，排除测试的随意性n n独立测试组独立测试组独立测试组独立测试组n n80-2080-2080-2080-20原则原则原则原则n n重视文档，妥善保存一切测试过程文档重视文档，妥善保存一切测试过程文档重视文档，妥善保存一切测试过程文档重视文档，妥善保存一切测试过程文档24Who Tests the Software?Who Tests the Software?developerdeveloperindependent testerindependent testerUnderstands the system Understands the system bu

20、t,will test gentlybut,will test gentlyand,is driven by deliveryand,is driven by deliveryMust learn about the system,Must learn about the system,but,will attempt to break itbut,will attempt to break itand,is driven by qualityand,is driven by quality25主要内容主要内容n n软件测试概述软件测试概述软件测试概述软件测试概述n n软件测试方法软件测试方法

21、软件测试方法软件测试方法n n软件测试阶段软件测试阶段软件测试阶段软件测试阶段n n软件测试工具软件测试工具软件测试工具软件测试工具26软件测试方法软件测试方法n n静态测试方法静态测试方法静态测试方法静态测试方法 一种不通过执行被测软件而进行测试的技术一种不通过执行被测软件而进行测试的技术一种不通过执行被测软件而进行测试的技术一种不通过执行被测软件而进行测试的技术 关键是检查软件的表示和描述是否一致关键是检查软件的表示和描述是否一致关键是检查软件的表示和描述是否一致关键是检查软件的表示和描述是否一致 目的是纠正软件系统在描述、表示和规格上的错误目的是纠正软件系统在描述、表示和规格上的错误目的

22、是纠正软件系统在描述、表示和规格上的错误目的是纠正软件系统在描述、表示和规格上的错误n n动态测试方法动态测试方法动态测试方法动态测试方法 一种通过执行被测软件而进行测试的技术一种通过执行被测软件而进行测试的技术一种通过执行被测软件而进行测试的技术一种通过执行被测软件而进行测试的技术 27静态测试方法静态测试方法28静态测试方法静态测试方法n n工具工具工具工具 静态代码检测工具静态代码检测工具静态代码检测工具静态代码检测工具PC-LintPC-LintPC-LintPC-Lint 静态代码检测工具静态代码检测工具静态代码检测工具静态代码检测工具FindBugsFindBugsFindBugs

23、FindBugs 29动态测试方法动态测试方法n n白盒测试方法白盒测试方法白盒测试方法白盒测试方法 n n黑盒测试方法黑盒测试方法黑盒测试方法黑盒测试方法30动态测试方法动态测试方法n n白盒测试方法白盒测试方法白盒测试方法白盒测试方法 n n黑盒测试方法黑盒测试方法黑盒测试方法黑盒测试方法31白盒测试方法白盒测试方法n n需要对系统内部的结构和工作原理有一个清楚的需要对系统内部的结构和工作原理有一个清楚的需要对系统内部的结构和工作原理有一个清楚的需要对系统内部的结构和工作原理有一个清楚的了解，并基于这个知识来设计测试用例了解，并基于这个知识来设计测试用例了解，并基于这个知识来设计测试用例了

24、解，并基于这个知识来设计测试用例n n结构测试结构测试结构测试结构测试n n逻辑驱动测试逻辑驱动测试逻辑驱动测试逻辑驱动测试白盒穷举测试白盒穷举测试n对一个具有对一个具有多重选择和循环嵌套多重选择和循环嵌套的程序，的程序，不同的路径数目不同的路径数目可能是天文数字可能是天文数字。给出一个小程序的流程图，它包括了一。给出一个小程序的流程图，它包括了一个执行个执行20次的循环。次的循环。n包含的不同执行路径包含的不同执行路径数达数达520条，对每一条条，对每一条路径进行测试需要路径进行测试需要1毫毫秒，假定一年工作秒，假定一年工作365 24小时，要想把所有小时，要想把所有路径测试完，需路径测试完

25、，需3170年。年。34白盒测试用例的设计白盒测试用例的设计n n逻辑覆盖法逻辑覆盖法逻辑覆盖法逻辑覆盖法n n基本路径测试法基本路径测试法基本路径测试法基本路径测试法35逻辑覆盖测试的五种标准逻辑覆盖测试的五种标准发现错误发现错误发现错误发现错误的能力的能力的能力的能力标标标标 准准准准含含含含 义义义义 1(1(1(1(弱弱弱弱)语句覆盖语句覆盖语句覆盖语句覆盖每条每条每条每条语句语句语句语句至少执行一次至少执行一次至少执行一次至少执行一次 2 2 2 2判定覆盖判定覆盖判定覆盖判定覆盖每一判定的每个每一判定的每个每一判定的每个每一判定的每个分支分支分支分支至少执行一次至少执行一次至少执行

26、一次至少执行一次 3 3 3 3条件覆盖条件覆盖条件覆盖条件覆盖每一判定中的每个每一判定中的每个每一判定中的每个每一判定中的每个条件条件条件条件，分别按，分别按，分别按，分别按“真真真真”、“假假假假”至少各执行一次至少各执行一次至少各执行一次至少各执行一次4 4 4 4 判定判定判定判定/条件覆盖条件覆盖条件覆盖条件覆盖同时满足同时满足同时满足同时满足判定覆盖判定覆盖判定覆盖判定覆盖和和和和条件覆盖条件覆盖条件覆盖条件覆盖的要求的要求的要求的要求5(5(5(5(强强强强)条件组合覆盖条件组合覆盖条件组合覆盖条件组合覆盖求出判定中求出判定中求出判定中求出判定中所有条件的各种可能组合所有条件的各

27、种可能组合所有条件的各种可能组合所有条件的各种可能组合值，每一可能的条件组合至少执行一次值，每一可能的条件组合至少执行一次值，每一可能的条件组合至少执行一次值，每一可能的条件组合至少执行一次36逻辑覆盖测试逻辑覆盖测试覆盖标准覆盖标准覆盖标准覆盖标准程序结构举例程序结构举例程序结构举例程序结构举例测试用例测试用例测试用例测试用例应满足的条件应满足的条件应满足的条件应满足的条件语句覆盖语句覆盖语句覆盖语句覆盖AB=.T.AB=.T.AB=.T.AB=.T.判定覆盖判定覆盖判定覆盖判定覆盖AB=.T.AB=.T.AB=.T.AB=.T.AB=.F.AB=.F.AB=.F.AB=.F.ABABT T

28、FABABT TF F37逻辑覆盖测试逻辑覆盖测试覆盖标准覆盖标准覆盖标准覆盖标准程序结构举例程序结构举例程序结构举例程序结构举例测试用例应测试用例应测试用例应测试用例应满足的条件满足的条件满足的条件满足的条件条件覆盖条件覆盖条件覆盖条件覆盖A=.T.A=.F.A=.T.A=.F.A=.T.A=.F.A=.T.A=.F.B=.T.B=.F.B=.T.B=.F.B=.T.B=.F.B=.T.B=.F.判定判定判定判定/条件条件条件条件覆盖覆盖覆盖覆盖AB=.T.,AB=.F.AB=.T.,AB=.F.AB=.T.,AB=.F.AB=.T.,AB=.F.A=.T.A=.F.B=.T.B=.F.A=

29、.T.A=.F.B=.T.B=.F.A=.T.A=.F.B=.T.B=.F.A=.T.A=.F.B=.T.B=.F.条件组合条件组合条件组合条件组合覆盖覆盖覆盖覆盖 A=.T.B=.T.A=.T.B=.T.A=.T.B=.T.A=.T.B=.T.A=.T.B=.F.A=.T.B=.F.A=.T.B=.F.A=.T.B=.F.A=.F.B=.T.A=.F.B=.T.A=.F.B=.T.A=.F.B=.T.A=.F.B=.F.A=.F.B=.F.A=.F.B=.F.A=.F.B=.F.ABABT TF FABABT TF FABABT TF F38语句覆盖语句覆盖n n设计若干个测试用例，运行被测

30、程序，使得每一个可执行设计若干个测试用例，运行被测程序，使得每一个可执行设计若干个测试用例，运行被测程序，使得每一个可执行设计若干个测试用例，运行被测程序，使得每一个可执行语句至少要执行一次语句至少要执行一次语句至少要执行一次语句至少要执行一次39语句覆盖语句覆盖b bd da a输出输出输出输出:A,B,XA,B,Xc ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F输入输入输入输入:A,B,XA,B,X2 2，0 0，4 42 2，0 0，3 3满足语句覆盖的满足语句覆盖的满足语句覆盖的满足

31、语句覆盖的测试用例如下测试用例如下测试用例如下测试用例如下a ac ce e-ace(L1)ace(L1)abd(L2)abd(L2)abe(L3)abe(L3)acd(L4)acd(L4)L1L140判定覆盖判定覆盖n n分支覆盖分支覆盖分支覆盖分支覆盖n n设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次断的取真分支和取假分支至少经历一次断的取真分支和取假分支至少经历一次断的取真分支和取假分支至少经历一次4

32、1判定覆盖判定覆盖b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F2 2，0 0，4 42 2，0 0，3 31 1，1 1，1 11 1，1 1，1 1取取取取“真真真真”分支分支分支分支测试用例如下测试用例如下测试用例如下测试用例如下ace(L1)ace(L1)abd(L2)abd(L2)abe(L3)abe(L3)acd(L4)acd(L4)第一组测试用例：第一组测试用例：第一组测试用例：第一组测试用例：a ac ce e-a ab bd d-取取取取“假假假假”分支

33、分支分支分支测试用例如下测试用例如下测试用例如下测试用例如下42判定覆盖判定覆盖b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F2 2，1 1，1 12 2，1 1，2 23 3，0 0，3 33 3，0 0，1 1取取取取“真假真假真假真假”分支分支分支分支测试用例如下测试用例如下测试用例如下测试用例如下ace(L1)ace(L1)abd(L2)abd(L2)abe(L3)abe(L3)acd(L4)acd(L4)第二组测试用例：第二组测试用例：第二组测试用例：第二组测试

34、用例：a ab be e-a ac cd d-43条件覆盖条件覆盖n n设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次断的每个条件的可能取值至少执行一次断的每个条件的可能取值至少执行一次断的每个条件的可能取值至少执行一次 44条件覆盖条件覆盖b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F

35、ace(L1)ace(L1)abd(L2)abd(L2)abe(L3)abe(L3)acd(L4)acd(L4)判断判断判断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记45b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判

36、断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记 条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的 (第一组测试用例第一组测试用例第一组测试用例第一组测试用例)如下表如下表如下表如下表 测试用例测试用例测试用例测试用例通过路径通过路径通过路径通过路径条件取值条件取值条件取值条件取值覆盖分支覆盖分支覆盖分支覆盖分支 (2,0,4),(2,

37、0,3)(2,0,4),(2,0,3)ace(L1)ace(L1)T2T2 T3T3 T4T4c,ec,e(1,(1,1,1),(1,1,1)1,1),(1,1,1)abd(L2)abd(L2)T1T1b,db,dT1T1T3T3 T4T4T2T246b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(

38、二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记 条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的 (第二组测试用例第二组测试用例第二组测试用例第二组测试用例)如下表如下表如下表如下表 测试用例测试用例测试用例测试用例通过路径通过路径通过路径通过路径条件取值条件取值条件取值条件取值覆盖分支覆盖分支覆盖分支覆盖分支 (1,0,3),(1,0,4)1,0,3),(1,0,4)abe(L3)abe(L3)T2T2 T3T3 T4T4b,eb,e(2,1,1),(2,1,2)2,1,1),(2,1,2)ab3

39、(L3)ab3(L3)T1 T1b,eb,eT1T1T3T3 T4T4T2T247判定判定/条件覆盖条件覆盖n n设计足够的测试用例，使得判断中每个条件的所有可能取设计足够的测试用例，使得判断中每个条件的所有可能取设计足够的测试用例，使得判断中每个条件的所有可能取设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能判断结果值至少执行一次，同时每个判断本身的所有可能判断结果值至少执行一次，同时每个判断本身的所有可能判断结果值至少执行一次，同时每个判断本身的所有可能判断结果 至少执行一次至少执行一次至少执行一次至少执行一次48b bd da ac ce e(

40、A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记判定判定判定判定/条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的条件覆盖可选取的 测试用例如下表测试用例如下表测试用例如下表测试用例如下表 测试用例测试用例

41、测试用例测试用例通过路径通过路径通过路径通过路径条件取值条件取值条件取值条件取值覆盖分支覆盖分支覆盖分支覆盖分支 (2,0,4),(2,0,3)(2,0,4),(2,0,3)ace(L1)ace(L1)T2T2 T3T3 T4T4c,ec,e(1,(1,1,1),(1,1,1)1,1),(1,1,1)abd(L2)abd(L2)T1T1b,db,dT1T1T3T3 T4T4T2T249条件组合覆盖条件组合覆盖n n设计足够的测试用例，运行被测程序，使得每个判断的所设计足够的测试用例，运行被测程序，使得每个判断的所设计足够的测试用例，运行被测程序，使得每个判断的所设计足够的测试用例，运行被测程序

42、，使得每个判断的所有可能的条件取值组合至少执行一次有可能的条件取值组合至少执行一次有可能的条件取值组合至少执行一次有可能的条件取值组合至少执行一次50b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的

43、取值标记设条件的取值标记条件条件条件条件标记标记标记标记第一个判断取第一个判断取第一个判断取第一个判断取真假分支真假分支真假分支真假分支 A1B=0A1B 0A 1B=0A 1B 0T1 T2T1 T2 取取取取真真真真分支分支分支分支T1 T2T1 T2T1 T2T1 T2 取取取取假假假假分支分支分支分支 取取取取假假假假分支分支分支分支 取取取取假假假假分支分支分支分支T1 T2T1 T251b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判断判断条件条件条件

44、条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记条件条件条件条件标记标记标记标记第二个判断取第二个判断取第二个判断取第二个判断取真假分支真假分支真假分支真假分支 A=2X 1A=2X 1 1A 2X 1A2X 1 1T3 T4T3 T4 取取取取真真真真分支分支分支分支T3 T4T3 T4T3 T4T3 T4 取取取取真真真真分支分支分支分支 取取取取真真真真分支分支分

45、支分支 取取取取假假假假分支分支分支分支T3 T4T3 T452b bd da ac ce e(A1)(A1)(B=0)(B=0)X=X/AX=X/AT TF F(A=2)V(X1)(A=2)V(X1)X=X+1X=X+1T TF F判断判断判断判断条件条件条件条件取真值取真值取真值取真值取假值取假值取假值取假值判断判断判断判断(一一一一)A1A1T1T1T1T1B=0B=0T2T2T2T2判断判断判断判断(二二二二)A=2A=2T3T3T3T3X1X1T4T4T4T4设条件的取值标记设条件的取值标记设条件的取值标记设条件的取值标记测试用例测试用例测试用例测试用例通过路径通过路径通过路径通过路

46、径条件取值条件取值条件取值条件取值覆盖组合号覆盖组合号覆盖组合号覆盖组合号 (2,0,4),(2,0,3)(2,0,4),(2,0,3)ace(L1)ace(L1)T2T2 T3T3 T4T4(2,1,1),(2,1,2)2,1,1),(2,1,2)abe(L3)abe(L3)T1T1T1T1T3T3 T4T4T2T2(1,(1,0,3),(1,0,4)0,3),(1,0,4)abe(L3)abe(L3)T1T1T3T3 T4T4T2T2(1,(1,1,1),(1,1,1)1,1),(1,1,1)abd(L2)abd(L2)T1T1T3T3 T4T4T2T253基本路径测试法基本路径测试法n

47、n在在在在程序控制流图程序控制流图程序控制流图程序控制流图的基础上，通过分析控制构造的环路复杂的基础上，通过分析控制构造的环路复杂的基础上，通过分析控制构造的环路复杂的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法性，导出基本可执行路径集合，从而设计测试用例的方法性，导出基本可执行路径集合，从而设计测试用例的方法性，导出基本可执行路径集合，从而设计测试用例的方法n n在基本路径测试中，设计出的测试用例要保证在被测程序在基本路径测试中，设计出的测试用例要保证在被测程序在基本路径测试中，设计出的测试用例要保证在被测程序在基本路径测试中，设计出的测试用例要保证在

48、被测程序的每一条可执行语句上至少执行一次的每一条可执行语句上至少执行一次的每一条可执行语句上至少执行一次的每一条可执行语句上至少执行一次54程序控制流图程序控制流图n n程序控制流图程序控制流图程序控制流图程序控制流图利用基本的流图符号描述逻辑控制流利用基本的流图符号描述逻辑控制流利用基本的流图符号描述逻辑控制流利用基本的流图符号描述逻辑控制流n n每种结构化的结构有相应的流图符号每种结构化的结构有相应的流图符号每种结构化的结构有相应的流图符号每种结构化的结构有相应的流图符号55程序控制流图程序控制流图56程序控制流图程序控制流图n n在选择或多分支结构中，分支的汇聚处在选择或多分支结构中，分

49、支的汇聚处在选择或多分支结构中，分支的汇聚处在选择或多分支结构中，分支的汇聚处应有一个汇聚结点应有一个汇聚结点应有一个汇聚结点应有一个汇聚结点n n边和结点圈定的区域叫做边和结点圈定的区域叫做边和结点圈定的区域叫做边和结点圈定的区域叫做区域区域区域区域，当对区，当对区，当对区，当对区域计数时，图形外的区域也应记为一个域计数时，图形外的区域也应记为一个域计数时，图形外的区域也应记为一个域计数时，图形外的区域也应记为一个区域区域区域区域n n如果判断中的条件表达式是由一个或多如果判断中的条件表达式是由一个或多如果判断中的条件表达式是由一个或多如果判断中的条件表达式是由一个或多个逻辑运算符个逻辑运算

50、符个逻辑运算符个逻辑运算符(OR,AND,.)(OR,AND,.)(OR,AND,.)(OR,AND,.)连接的复连接的复连接的复连接的复合条件表达式，则需改为一系列只有合条件表达式，则需改为一系列只有合条件表达式，则需改为一系列只有合条件表达式，则需改为一系列只有单单单单个条件的嵌套的判断个条件的嵌套的判断个条件的嵌套的判断个条件的嵌套的判断。n nif a and b then x else yif a and b then x else yif a and b then x else yif a and b then x else y57程序控制流图程序控制流图n n导出测试用例的步骤导