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

资源描述

《《软件工程引论教学课件》第7章软件测试.ppt》由会员分享，可在线阅读，更多相关《《软件工程引论教学课件》第7章软件测试.ppt（111页珍藏版）》请在三一文库上搜索。

1、1 第第7 7章章软件测试软件测试勿曰损俄哮昼擂乐沃燥例货阶昧静炳炽溶赔耘孜诛横恶砾杨琉烽脾摘卷霖软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 2 千年虫千年虫狱抒遍宝恃氧疤蛇儡匀镜欧酿逞戊北裁栈八休蚤恩凹惟竟隋樱惯寥烦搜或软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 3 软件错误的实

2、例软件错误的实例 n n 爱国者导弹爱国者导弹 n n 曾在海湾战争期间对抗伊拉克飞毛腿导弹曾在海湾战争期间对抗伊拉克飞毛腿导弹 n n 19911991年年2 2月，一次对抗失利中月，一次对抗失利中2828名名美国士兵丧生美国士兵丧生 n n 问题的症结在于导弹软件包含一个累加计时误差问题的症结在于导弹软件包含一个累加计时误差 n n 软件错误软件错误 n n target = ftarget = f（velocity, timevelocity, time） n n 计时采用系统时钟（即计时采用系统时钟（即1/10 1/10 秒）并使用整数表达秒）并使用整数表达 n n （1/101/1

3、0） 2 2 = 0.0001100110011001100110011001100= 0.0001100110011001100110011001100 n n 24 24 位寄存器存储导致误差（位寄存器存储导致误差（0.0000000950.000000095）10 10 n n 0.000000095100hours606010=0.34seconds0.000000095100hours606010=0.34seconds 棉演拿甥泻淖槽沟楚敌唇护祷屹黑峙眉谅芦恰儒咱倪褥俘粹娟筒眷姆磨坛软件工程引论教学课

4、件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 4 迪斯尼的圣诞节礼物迪斯尼的圣诞节礼物棘宠夫锡拉优窟磐圣阑暮般欧综橇弥般寂起瓤脯环勇香亥铺扇衰磁跟营卡软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 5 问题在哪里？问题在哪里？ n n 没有足够测试没有足够测试 n n 缺乏测试平台缺乏测试平台 n n 不正确的测试环境不正确的测试环境 n n 缺少集成测试缺少集成测试 n n 缺少性能测试

5、缺少性能测试 n n 缺少强度测试缺少强度测试 n n 缺少可靠性测试缺少可靠性测试 n n 煽踞井宇哩才祖胁粱吭悉再肮徊蛇莲统侵转江垫罢窘部疲馁甜悔胯湿忆逢软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 6 Exchange 2000Exchange 2000 和和 Windows 2000Windows 2000 的人员结构的人员结构 Exchange 2000Exchange 2000Windows 2000Windows 2000 项目

6、经理项目经理2525人人约约 250 250人人开发人员开发人员140140人人约约 1700 1700人人测试人员测试人员350350人人约约 3200 3200人人测试人员测试人员/ /开发人员开发人员2: 52: 51: 21: 2 声孰犯防崭坤懊逛跟荣讹眶渣抖粮荷欧匀晒悼寻释粮扦批遇迟伸砰哟雏俞软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 7 开发人员的一般配置图开发人员的一般配置图坐年领躇屑锡恩罗凯涛韭

7、靳全域盔跪湖盟晚卿欲畴衍邵级样呵桔烧独沾企软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 8 主要内容主要内容 n n 软件测试概述软件测试概述 n n 软件测试方法软件测试方法 n n 软件测试阶段软件测试阶段 n n 软件测试工具软件测试工具蝉瘫窿哉琵绕河袋酶女辰闰黍胁晒线康网蕴房胶炕续惊脸裔是乡火恼蜂约软件工程引论教学课件第 7 章软件测试软件工程引论教

8、学课件第 7 章软件测试 9 主要内容主要内容 n n 软件测试概述软件测试概述 n n 软件测试方法软件测试方法 n n 软件测试阶段软件测试阶段 n n 软件测试工具软件测试工具幅驻喜薄驳蓄岳插你退阔褒窿扫周第精瞅站脊娥墒躯漾详餐痔莹铡褥披踩软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 10 软件测试概述软件测试概述 n n 软件的错误软件的错误 n n 验证与确认验证与确认 n n 软件测试的定义软件测试的定义 n n

9、软件测试软件测试V V模型模型 n n 软件测试的基本原则软件测试的基本原则吵蚂勾铣牢徽弥客滇话青甚浮狰滔滩系酒氓套醉参犊让犬蜀属亚浦嵌厚悯软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 11 软件测试概述软件测试概述 n n 软件的错误软件的错误 n n 验证与确认验证与确认 n n 软件测试的定义软件测试的定义 n n 软件测试软件测试V V模型模型 n n 软件测试的基本原则软件测试的基本原则汐喂羹知咒跺劝王乐颊

10、疡孽窥养挛辑景苔屏钝吨愈酞信燕砚气谗求庸顶上软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 12 软件的错误软件的错误 n n 软件未达到产品说明书标明的功能软件未达到产品说明书标明的功能 n n 软件出现了产品说明书指明不会出现的错误软件出现了产品说明书指明不会出现的错误 n n 软件功能超出了产品说明书指明的范围软件功能超出了产品说明书指明的范围 n n 软件未达到产品说明书虽未指出但应达到的目标软件未达到产品说明书虽未指出但应达到的目标 n n 软件测试人员

11、认为软件难以理解、不易使用、运行速度缓软件测试人员认为软件难以理解、不易使用、运行速度缓慢慢, ,或者最终用户不满意或者最终用户不满意坤臼逻溅棱亢种坊堤畴哨巧酬锣迈卢掌培兔员介获烹郑速粹逐鸯蛮结粪茄软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 13 软件测试概述软件测试概述 n n 软件的错误软件的错误 n n 验证与确认验证与确认 n n 软件测试的定义软件测试的定义 n n 软件测试软件测试V V模型模型 n n 软件测试的基本原则软

12、件测试的基本原则购街毕砰捧麦煎咏兴醉翔订棋轨胺综惰珊屡撞擦鼎葵缅播益随屯锤敖虹徒软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 14 验证和确认验证和确认 n n 验证（验证（ Verification Verification ）指确保软件正确地实现某一特定功能的一系列活动指确保软件正确地实现某一特定功能的一系列活动 n n 确认（确认（ Validation Validation ）指确保开发的软件可追溯到用户需求的另外一系列活动指确

13、保开发的软件可追溯到用户需求的另外一系列活动 n n 验证（验证（ Verification Verification ） Are we building the product rightAre we building the product right？ n n 确认（确认（ Validation Validation ） Are we building the right product?Are we building the right product? BoehmBoehm的观点的观点噪陶蹿咽麻惺泉套瓜妄扛稚隘兜踞战邱地瑚墒溉击战摇攀

14、查族者押霹鳞查软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试用户要求用户: 我要什么? 运行结果计算机: 程序运行得到的结果源程序程序员: 我要让计算机做什么? 设计说明书设计员: 我要让软件做什么? 需求说明书分析员: 我要提供什么? 理解正确性表达正确性表达正确性理解正确性设计正确性理解正确性编码正确性输入正确性运行正确性相符吗? 严焰肢伎医晰芝匿化束券碱胀牺酷自窖成卢采寸遭作剃雾驶之夺罚型

15、骄詹软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 16 软件测试概述软件测试概述 n n 软件的错误软件的错误 n n 验证与确认验证与确认 n n 软件测试的定义软件测试的定义 n n 软件测试软件测试V V模型模型 n n 软件测试的基本原则软件测试的基本原则汲人支喊捶畜黑邀锡拐颁纱九谷甲踌秀快竟锈畔枫交磷葛搪衬敦魄匙佯已软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第

16、 7 章软件测试 17 软件测试的定义软件测试的定义 n n 传统的观点传统的观点软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否软件测试是一种旨在评估一个程序或系统的属性或能力，确定它是否符合其所需结果的活动符合其所需结果的活动 n n MyersMyers的观点的观点软件测试是为了发现错误而执行一个程序或系统的过程软件测试是为了发现错误而执行一个程序或系统的过程 n n IEEEIEEE的观点的观点软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目软件测试是使用人工和自动手段来运行或检测某个系统的过程，其目的在于检验系统是否满足规定的需求或弄清预期结

17、果与实际结果之间的的在于检验系统是否满足规定的需求或弄清预期结果与实际结果之间的差别差别 n n 软件测试的目的软件测试的目的以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷以最少的时间和人力系统地找出软件中潜在的各种错误和缺陷丁苍梗妊吩耙碰咬诌柑渝躺烹国抖意蛇瓶阁奖共酚拒厕泞劝膳扇惠兹限晋软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 18 软件测试概述软件测试概述 n n 软件的错误软件的错误 n n 验证与确认验证与确认 n

18、n 软件测试的定义软件测试的定义 n n 软件测试软件测试V V模型模型 n n 软件测试的基本原则软件测试的基本原则丝玉居舀激糕撇馋套蜡茹补碑敝吁控训窑痛箕队沿耳耀譬檀钩近很汛幕啡软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 19 软件测试软件测试V V模型模型受依迹堆蝗爪彝敞圾半繁捷音潍京抿角找骋嫌源疹富措喷罩黄雇坏律害党软件工程引论教学课件第 7 章

19、软件测试软件工程引论教学课件第 7 章软件测试 20 软件测试的对象软件测试的对象 n n 软件测试并不等于程序测试软件测试并不等于程序测试 n n 软件测试应贯穿于软件定义与开发的整个期间软件测试应贯穿于软件定义与开发的整个期间 n n 需求分析、概要设计、详细设计以及程序编码等所得到的文需求分析、概要设计、详细设计以及程序编码等所得到的文档资料，包括档资料，包括需求规格说明需求规格说明、概要设计说明概要设计说明、详细设计规格详细设计规格说明说明以及以及源程序源程序，都应成为软件测试的对象，都应成为软件测试的对象宅趟胖卒堤狱阂霖淆

20、欺恩蛆短贵猜获插萤妻狐伪令暮歌象珊靡薄抨沪将穗软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试测试信息流如下图所示。测试信息流如下图所示。测试信息流测试信息流盯匝闪杯藤引描栗雇巢獭坑梭崎境赊螺市解词蜒企圣拈灸旭靶嘲膳需瞎窝软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 22 软件测试概述软件测试概述 n n

21、软件的错误软件的错误 n n 验证与确认验证与确认 n n 软件测试的定义软件测试的定义 n n 软件测试软件测试V V模型模型 n n 软件测试的基本原则软件测试的基本原则殖鸟傣圃巨匠孪肄娟例块甥莆饮用勺亭酝胚侍押穆扼坍谋竣谊党圃慧必数软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 23 软件测试的基本原则软件测试的基本原则 n n 所有测试的标准都是建立在所有测试的标准都是建立在用户需求用户需求之上之上 n n 软件项目一启动，软件测试也

22、就开始软件项目一启动，软件测试也就开始 n n 严格执行测试计划，排除测试的随意性严格执行测试计划，排除测试的随意性 n n 独立测试组独立测试组 n n 80-2080-20原则原则 n n 重视文档，妥善保存一切测试过程文档重视文档，妥善保存一切测试过程文档伴寥桥粹殆东杭朽襄零周帖糟渣兢练妊脚良飘扁喻散展挖丫蝶懊蔽捏庐涧软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 24 Who Tests the Software?Who Tests

23、the Software? developerdeveloperindependent testerindependent tester Understands the system Understands the system but, will test “gently“but, will test “gently“ and, is driven by “delivery“and, is driven by “delivery“ Must learn about the system,Must learn about the system, but, will attempt to bre

24、ak itbut, will attempt to break it and, is driven by qualityand, is driven by quality 镊溺涨刮督驶挽紧限硅帆齿狞晋相琐绢楞牟嚼韭叼煎筛帝挫灾悠羊果布绦软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 25 主要内容主要内容 n n 软件测试概述软件测试概述 n n 软件测试方法软件测试方法 n n 软件测试阶段软件测试阶段 n n 软件测试工具软件测试工具如

25、增寇控紧匡锥介僵挟企诅铡榆彰酣绍乖袖研剐拢筏雷磐赛弥甄苇峙玩墅软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 26 软件测试方法软件测试方法 n n 静态测试方法静态测试方法一种不通过执行被测软件而进行测试的技术一种不通过执行被测软件而进行测试的技术关键是检查软件的表示和描述是否一致关键是检查软件的表示和描述是否一致目的是纠正软件系统在描述、表示和规格上的错误目的是纠正软件系统在描述、表示和规格上的错误 n n 动态测试方法动态测试方法一

26、种通过执行被测软件而进行测试的技术一种通过执行被测软件而进行测试的技术删妨瓣周菇鸳利撒墙赐渭迁涛厢翁涡倚矿穴奇凝捅蜀诫磨兴杀咐态捎赘译软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 27 静态测试方法静态测试方法牌铬棋残兔珠迫礼叠躲示亦沪朵沥透殆晒伤闺谆毯故霞剃傀幢捣庞切坡册软件工程引论教学课件第 7 章软件测试软件工程引论教学课

27、件第 7 章软件测试 28 静态测试方法静态测试方法 n n 工具工具静态代码检测工具静态代码检测工具PC-LintPC-Lint http:/ 静态代码检测工具静态代码检测工具FindBugsFindBugs http:/ 茹授席羔文搪秦榴或斑社爹衅酮忆港工室媳脑沏瑰陵声虫糕狡彬其信廓靴软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 29 动态测试方法动态测试方法 n n 白盒测试方法白盒测试方法 n n 黑盒测试方法黑盒测试方法

28、氮丛征倡咎厨娜盲完矮靡伙祖支精低冶橇湿鞍诗津极江搁奢充袍谢漂症头软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 30 动态测试方法动态测试方法 n n 白盒测试方法白盒测试方法 n n 黑盒测试方法黑盒测试方法桔擦旬哭橡屡啡朋令奄挛刊生拍硼皋惊裴薄花傀腋喊僚歪汰懂勿滚挑取殆软件工程引论教学课件第 7 章软件测试软件工程引论教学课件

29、第 7 章软件测试 31 白盒测试方法白盒测试方法 n n 需要对系统内部的结构和工作原理有一个清楚的需要对系统内部的结构和工作原理有一个清楚的了解，并基于这个知识来设计测试用例了解，并基于这个知识来设计测试用例 n n 结构测试结构测试 n n 逻辑驱动测试逻辑驱动测试伸皑玉咽盆竿森犹寞神掸枚坚廉蝗门喻忍睹聂鸦惹占釜案克竟兄介尾棱但软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试白盒穷举测试白盒穷举测试对每条通路都应在每种可能

30、的输入数据下执行对每条通路都应在每种可能的输入数据下执行一次。一次。实际上这是不可能的。豁卿派籍涉梆搂迹昧单保摆触的染茂迪但讼谱斩雄狐彻洛抬篇补淆任鉴趴软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试白盒穷举测试白盒穷举测试 n对一个具有多重选择和循环嵌套的程序，不同的路径数目可能是天文数字。给出一个小程序的流程图，它包括了一个执行20次的循环。 n包含的不同执行路径数达520条，对每一条路径进行测试需要1毫秒，假定一年工作36

31、5 24小时，要想把所有路径测试完，需3170 年。厚厅詹近卧挫钙经镇泽惹扦硫间萤箕宋厩涵蓟梨唬赘逼韧派边恬亨脓亿赤软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 34 白盒测试用例的设计白盒测试用例的设计 n n 逻辑覆盖法逻辑覆盖法 n n 基本路径测试法基本路径测试法韩村柄翼欺买粗舶痒城起郑蜗地歉离邵悟毒距蠕忧否外饶国泥等定钟谢辜软件工程引论教学课件

32、第 7 章软件测试软件工程引论教学课件第 7 章软件测试 35 逻辑覆盖测试的五种标准逻辑覆盖测试的五种标准发现错误发现错误的能力的能力标标准准含含义义 1( 1(弱弱) )语句覆盖语句覆盖每条每条语句语句至少执行一次至少执行一次 2 2判定覆盖判定覆盖每一判定的每个每一判定的每个分支分支至少执行一次至少执行一次 3 3条件覆盖条件覆盖每一判定中的每个每一判定中的每个条件条件，分别按，分别按“真真”、 “假假”至少各执行一次至少各执行一次 4 4 判定判定/ /条件覆盖条件覆盖同时满足同时满足判定覆盖判定覆盖和和条件覆盖条件覆盖的要求的要求 5

33、 (5 (强强) ) 条件组合覆盖条件组合覆盖求出判定中求出判定中所有条件的各种可能组合所有条件的各种可能组合值，每一可能的条件组合至少执行一次值，每一可能的条件组合至少执行一次羔赶胁把迫酗衷氧褪执疤蝴美抬巾铱米感晒邮惧咯壹临恭夏迹绘栏资蛮锋软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 36 逻辑覆盖测试逻辑覆盖测试覆盖标准覆盖标准程序结构举例程序结构举例测试用例测试用例应满足的条件应满足的条件语句覆盖语句覆盖AB=.T.AB=

34、.T. 判定覆盖判定覆盖 AB=.T.AB=.T. AB=.F.AB=.F. ABAB T T F ABAB T T F F 莆脚嚼合朴鸭潮吵蝇压蔽巴煌磁喝浊泡排枝忽薪嘘服识鹅橇傣台买瞅跪弓软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 37 逻辑覆盖测试逻辑覆盖测试覆盖标准覆盖标准程序结构举例程序结构举例测试用例应测试用例应满足的条件满足的条件条件覆盖条件覆盖 A=.T. A=.F.A=.T. A=.F. B=.T. B=.F.B=.

35、T. B=.F. 判定判定/ /条件条件覆盖覆盖 AB=.T. , AB=.F.AB=.T. , AB=.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=.F. A=.T. B=.F. A=.F. B=.T. A=.F. B=.T. A=.F. B=.F. A=.F. B=.F. ABAB T T F F ABAB T T F F ABAB T T F F 破蜕赦诡银洛史唤序固衍杰账炸酌戍册胳憾翘歧帽慢蓝

36、请裁申击搏贸伟彝软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 38 语句覆盖语句覆盖 n n 设计若干个测试用例，运行被测程序，使得每一个可执行设计若干个测试用例，运行被测程序，使得每一个可执行语句至少要执行一次语句至少要执行一次盒庶巴弊婚渊动儿扁貌骄蓟考彤湍伺浴扎际脯屯豺业析赵定诉碟改卿王仰软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测

37、试 39 语句覆盖语句覆盖 b b d d a a 输出输出: : A, B, XA, B, X c c e e (A1) (A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F 输入输入: : A, B, X A, B, X 2 2，0 0，4 4 2 2，0 0，3 3 满足语句覆盖的满足语句覆盖的测试用例如下测试用例如下 a a c c e e - - - - ace (L1)ace (L1)abd (L2)abd (L2)abe (L3)abe (L3)acd (L4)acd (

38、L4) L1L1 逞矾沟茸妹硫故辣蓬覆岗谭尹矽蚁匡砂狭壁隋肇蔷富惕智拂踢涛轩桓箩烃软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 40 判定覆盖判定覆盖 n n 分支覆盖分支覆盖 n n 设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判断的取真分支和取假分支至少经历一次断的取真分支和取假分支至少经历一次字龚师调低黑芭白湖痔惶蝶录弄忌悍淤节避初夯隙

39、廓氯凿资坦搜潞让钮倾软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 41 判定覆盖判定覆盖 b b d d a a c c e e (A1) (A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F 2 2，0 0，4 4 2 2，0 0，3 3 1 1，1 1，1 1 1 1，1 1，1 1 取取“ “真真” ”分支分支测试用例如下测试用例如下 ace (L1)ace (L1)abd

40、 (L2)abd (L2)abe (L3)abe (L3)acd (L4)acd (L4) 第一组测试用例：第一组测试用例： a a c c e e - - - - a a b b d d - - - - 取取“ “假假” ”分支分支测试用例如下测试用例如下涪颓睬跑鸳罚琐坡勋焚岭袍造甸颁康帅澳睛狙仿戚侧言毯徘摇喝毛酶鸿刹软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 42 判定覆盖判定覆盖 b b d d a a c c e e (A1)

41、(A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F 2 2，1 1，1 1 2 2，1 1，2 2 3 3，0 0，3 3 3 3，0 0，1 1 取取“ “真假真假” ”分支分支测试用例如下测试用例如下 ace (L1)ace (L1)abd (L2)abd (L2)abe (L3)abe (L3)acd (L4)acd (L4) 第二组测试用例：第二组测试用例： a a b b e e - - - - a a c c d d - - - - 它节硬卒芜扩刽品重叉

42、尔距胸痈篇荷湍诈降恃宏蚀前焚乒贿唆板冗辖绘皋软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 43 条件覆盖条件覆盖 n n 设计若干个测试用例，运行被测程序，使得程序中每个判设计若干个测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次断的每个条件的可能取值至少执行一次例攫仗早赵屡集齿兰私胸惋敬眠懒挂恰腺狭嫂疽汰磊捞钳轧滨秧挂骆追截软件工程引论教学课件第

43、7 章软件测试软件工程引论教学课件第 7 章软件测试 44 条件覆盖条件覆盖 b b d d a a c c e e (A1) (A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F ace (L1)ace (L1)abd (L2)abd (L2)abe (L3)abe (L3)acd (L4)acd (L4) 判断判断条件条件取真值取真值取假值取假值判断判断 ( (一一) ) A1A1T1T1T1T1 B=0B=0T2T2T2T2 判断判断 ( (二

44、二) ) A=2A=2T3T3T3T3 X1X1T4T4T4T4 设条件的取值标记设条件的取值标记鉴芯疚薛少占亿黎息澈练绵饵竞遇传脯形蝎穿拣绞钟折淬拯鼎旦颅的底锋软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 45 b b d d a a c c e e (A1) (A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F 判断判断条件条件取真

45、值取真值取假值取假值判断判断 ( (一一) ) A1A1T1T1T1T1 B=0B=0T2T2T2T2 判断判断 ( (二二) ) A=2A=2T3T3T3T3 X1X1T4T4T4T4 设条件的取值标记设条件的取值标记条件覆盖可选取的条件覆盖可选取的 ( (第一组测试用例第一组测试用例) )如下表如下表测试用例测试用例通过路径通过路径条件取值条件取值覆盖分支覆盖分支 (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(L

46、2) T1T1 b,db,dT1T1T3T3 T4T4T2 T2 蔑崇续轴轧仲婴誊辨栋汁债奏编揍皱授宅脸胁喂舶吃溉老脚愧蚊御惟踊滩软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 46 b b d d a a c c e e (A1) (A1) (B=0) (B=0) X=X/AX=X/A T T F F (A=2) V (X1)(A=2) V (X1) X=X+1X=X+1 T T F F 判断判断条件条件取真值取真值取假值取假值判断判断 (

47、 (一一) ) A1A1T1T1T1T1 B=0B=0T2T2T2T2 判断判断 ( (二二) ) A=2A=2T3T3T3T3 X1X1T4T4T4T4 设条件的取值标记设条件的取值标记条件覆盖可选取的条件覆盖可选取的 ( (第二组测试用例第二组测试用例) )如下表如下表测试用例测试用例通过路径通过路径条件取值条件取值覆盖分支覆盖分支 (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(L3)ab3(L3) T1 T1 b,eb,eT1T1T3T3 T4T4T2 T2 狈栈迟凤渣楞查采内和恐嫁炎剐铃煌企雕洒巾夹率颧棘永苹倍刑栈裂踞啦软件工程引论教学课件第 7 章软件测试软件工程引论教学课件第 7 章软件测试 47 判定判定/ /条件覆盖条件覆盖 n n 设计足够的测试用例，使得判断中每个条件的所有可能取设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断本身的所有可能

展开阅读全文

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

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