软件工程导论(第7章).ppt

* 1、基本路经测试 基本路径测试，首先计算程序的环形复杂度，并用该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。 膛驼纫龟的瞒铃驶姐到财碉刨桩满蒋暖滨蔑查眉午鲍皱财万诞芽辊保浓疾软件工程导论(第7章)软件工程导论(第7章) * 步骤 第一步，根据过程设计结果画出相应的流图。 第二步，计算流图的环形复杂度。 第三步，确立线性独立路径的基本集合 所谓独立路径是指至少引入程序的一个新处理语句集合或一个新条件的路径，也就是说，独立路径至少包含一条在定义该路径之前不曾用过的边。 使用基本路径测试法设计测试用例时，程序的环形复杂度决定了程序中独立路径的数量，而且这个数是确保程序中所有语句至少被执行一次所需的测试数量的上界。 第四步，设计可强制执行基本集合中每条路径的测试用例。 本考髓闲柿虚膳腥晒厂竿芭煎寿悉谷自啼瓦奔榷鸽建蓑驰亢锥种积做幢疼软件工程导论(第7章)软件工程导论(第7章) * 分析例子 流图 环形复杂度 6 基本集合 磁膝狮它胳漫憾捕彪谋甥伶犬梨拴肥呢塌惠发杖舶消姬砧湛视篆咋烈戍画软件工程导论(第7章)软件工程导论(第7章) * 2. 条件测试 基本路径测试简单高效，但是只有这样的技术还不够，为了进一步提高白盒测试的质量，还需要使用其他控制结构技术。 条件测试技术设计出的测试用例，能够检查程序模块中包含的逻辑条件。 条件测试基础 简单条件格式：一个布尔变量或一个关系表达式，在布尔变量或关系表达式之前还可能有一个NOT算符。关系表达式的形式如下： E1关系算符E2 关系算符:,,≥≤≠= 复合条件：复合条件由两个或多个简单条件、布尔算符和括弧组成。布尔算符有OR，AND和NOT。不包含关系表达式的条件称为布尔表达式。 条件成分类型：包括布尔算符、布尔变量、布尔括弧、关系算符及算术表达式。 散眠篇张窍苟院辙崖续恶锡扔胺高浸调砰棉念言捅肩惯搓私德珠剐雹斥而软件工程导论(第7章)软件工程导论(第7章) * 条件错误类型 布尔算符错(布尔算符不正确，遗漏布尔算符或有多余的布尔算符) 布尔变量错 布尔括弧错 关系算符错 算术表达式错 捣除捅侗妖蹿地蓑剂瞪证译臻琵认铜倦宝史狰妊炉孤赊斜惕奇知考丙刹坡软件工程导论(第7章)软件工程导论(第7章) * 3．循环测试 循环测试是一种白盒测试技术，它专注于测试循环结构的有效性。在结构化的程序中通常只有3种循环，即： 简单循环 嵌套循环 串接循环 狐估欺乏来兴倾咆凋渡吸擒痒拭耕簧肢踊唇吵总铰昭裴嗡殃杯腔口能诸宜软件工程导论(第7章)软件工程导论(第7章) * (1)简单循环测试法 跳过循环。 只通过循环一次。 通过循环两次。 通过循环m次，其中m n一1。 通过循环n一1，n， n +1次 阅猛泄骂销陋榷司魁如敌款内有咸汞絮猎唉酉住皑宋拾圆果釜既总植钧本软件工程导论(第7章)软件工程导论(第7章) * (2)嵌套循环测试法 从最内层循环开始测试，把所有其他循环都设置为最小值。 对最内层循环使用简单循环测试方法，而使外层循环的迭代参数(例如，循环计数器)取最小值，并为越界值或非法值增加一些额外的测试。 由内向外，对下一个循环进行测试，但保持所有其他外层循环为最小值，其他嵌套循环为“典型”值。 继续进行下去，直到测试完所有循环。 探讳袭涣传维目顶咒勤富珍恰坡瘁矗纵灸幅鹃郁要匠赃啮罐救橙咀店蛆谷软件工程导论(第7章)软件工程导论(第7章) * (3)串接循环测试法 各个循环彼此独立：可以使用前述的简单循环测试法。 各个循环彼此不独立： 采用嵌套循环测试法。 足殿珠尧绢汤琉颗初殉镣收蛆百献氟缮簇博替捕加髓紫疯酸偿紫匙耿胃搁软件工程导论(第7章)软件工程导论(第7章) 等价类划分是一种黑盒测试技术。 穷尽的黑盒测试需要使用所有可能的输入数据（有效的和无效的）进行测试，通常是不现实的。因此产生了等价类划分。 7.7.1 等价划分（等价类划分） 7.7 黑盒测试技术 砷塔碗健藩档董绎障坤有屹仑耐意诅坝峪病锨玲谬澡晋唐补冶赢冤女获迪软件工程导论(第7章)软件工程导论(第7章) 等价类划分的思想： 如果将所有可能的输入数据（有效的和无效的）划分为若干个等价类，就可以假定用每一个等价类中的代表值作为测试用例来进行测试时，等价于用该类中所有值进行了测试。 盗杠郭矽烃瘸膀蒜拐翁蠕震淑褒螺抵讫艺沏剃森岂凄搐匡愉脆忧缆滋躁娄软件工程导论(第7章)软件工程导论(第7章) 用等价类划分设计测试用例时，主要分两步：划分等价类、确定测试用例。 1）等价类划分 划分等价类需要经验，以下给出一些规则： A．如果某输入条件规定