软件测试方法划分等价类,软件测试基础-软件测试方法之等价类划分.ppt

软件测试基础-软件测试方法之等价类划分

知识回顾 - 软件测试方法 从是否执行被测程序来划分？ 从是否针对系统内部结构来划分？ 知识回顾 - 黑盒测试设计用例的方法 集合 什么是集合？ 如：一箱苹果 一年中只有30天的月份 M1 = {4月,6月,9月,11月} 一般来说，某些指定对象的全体的全体就构成了一个集合，这些对象就叫元素。 集合的基础理论 4月∈M1 12月∈M1 — 集合与成员之间的关系 Φ — 空集 ∪(A1∪A2∪…∪An=A ) — 并集 ∩(A1∪A2∪…∪An=A ) — 交集 等价类 ? 等价类 等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于揭示程序中的错误都是等效的。 ? 子集合的特征:完备性、无冗余 根据测试用例的完整性可以划分 弱等价类测试 强等价类测试 弱等价类测试 弱一般等价类测试 通过使用一个测试用例中的每个等价类(区间)的一个变量实现 弱健壮等价类测试 “弱”：是因为有单缺陷假设 “健壮”：是因为考虑了无效值 弱健壮等价类测试 健壮性测试 健壮性是指在异常情况下，软件还能正常运行的能力。健壮性有两层含义：一是容错能力，二是恢复能力。 容错性测试通常构造一些不合理的输入来引诱软件出错，例如： 输入错误的数据类型 输入定义域之外的数值 强等价类测试 强一般等价类测试 强一般等价类测试基于多缺陷假设，因此需要等价类笛卡尔积的每个元素对应的测试用例 强健壮等价类测试 “强”：是因为有多缺陷假设 “健壮”：是因为考虑了无效值 强一般等价类具有笛卡尔积的“完备性”： 覆盖所有的等价类 有可能的输入组合中的一个 强健壮等价类测试 “健壮”：是因为考虑了无效值 “强”：是因为有多缺陷假设 等价类分类 等价类划分法 ? 等价类划分法指的是把所有可能的输入数据，即程序的输入域划分成若干部分(子集)，然后从每一个子集中选取少数具有代表性的数据作为测试用例。 ? 子集包含：有效等价类、无效等价类 等价类划分法的优点 能以较少的具有代表性的数据进行测试，而取得较好的测试效果。 等价类划分设计原则 如果输入条件规定了取值范围，可定义一个有效等价类和两个无效等价类 例: 输入值是学生成绩，范围是0～100 等价类划分设计原则 在输入条件规定了输入值的集合或者规定了“必须如何”的条件的情况下，可确立一个有效等价类和一个无效等价类 。 如：用银行卡取钱的时候，连续输入密码的次数不得超过3次。 ◇ 有效等价类：≤ 3 ◇ 无效等价类：> 3 等价类划分设计原则 如果输入条件是一个布尔量，则可以确立一个有效等价类和一个无效等价类； 等价类划分设计原则 在规定了输入数据的一组值(假定n个)，并且程序要对每一个输入值分别处理的情况下，可确立n个有效等价类和一个无效等价类。 如：输入条件说明省份可为:四川、广东、河北、山东、湖南、湖北六种之一，则分别取这六个值作为六个有效等价类，另外把六个省份之外的任何省份作为无效等价类。 等价类划分设计原则 如果规定了输入数据必须遵循的规则，可确定一个有效等价类(符合规则)和n个无效等价类(从不同角度违反规则) 例：规定的输入是非0的正整数 ◇ 有效等价类：非0的正整数 ◇ 无效等价类：0，字符串、负数、小数 …… 等价类划分设计原则 在确知已划分的等价类中各元素在程序处理中的方式不同的情况下，则应再将该等价类进一步的划分为更小的等价类 例：出生年月___(格式:YYYYMM,如：198509) 等价类分割： ◇ 年：1900