第三章 功能测试-1

第三章 功能性测试
3.1等价类测试(续)
划分等价类可分为两种情况：
（1）有效等价类 ——是指对软件规格说明而言，是有 意义的、合理的输入数据所组成的集合。
利用有效等价类，能够检验程序是否实现了规格说明中预 先规定的功能和性能。
（2）无效等价类 ——是指对软件规格说明而言，是无 意义的、不合理的输入数据所构成的集合。
2009--machunyan
西北工业大学软件与微电子学院
11
第三章 功能性测试
3.1 等价类测试（续）
测试用例的生成策略：强一般等价类
Based on the Cartesian Product of the partition subsets （基于多缺陷假设，考虑不同划分的笛卡儿积） 每个测试用例对应等价类笛卡尔积的每个元素。
例：程序输入x取值于一个固定的枚举类型{1,3,7,15}， 且程序中对这4个数值分别进行了处理，则有效等价类为 x=1、x=3、 x=7、x=15，无效等价类为x≠1,3,7,15的值的 集合。
2009--machunyan
西北工业大学软件与微电子学院
6
第三章 功能性测试
等价类的划分原则(续) ---等价类划分的原则
X2 g
f
e a b c d X1
2009--machunyan
西北工业大学软件与微电子学院
10
3.1 等价类测试（续）
第三章 功能性测试
测试用例的生成策略：弱一般等价类 Number of weak equivalence class test cases = number of classes in the partition with the largest number of subsets. 例如，上例中：测试用例的数量= x1等价 类划分的个数=3。
2009--machunyan
西北工业大学软件与微电子学院
14
3.1 等价类测试（续）
弱：单缺陷 健壮：考虑无效值
X2 g
第三章 功能性测试
测试用例的生成策略：弱健壮等价类测试
f
e a b c d X1
2009--machunyan
西北工业大学软件与微电子学院
15
3.1 等价类测试（续）
2009--machunyan
西北工业大学软件与微电子学院
5
第三章 功能性测试
等价类的划分原则(续) ---等价类划分的原则
3. 按照数值划分 在规定了一组输入数据（假设包括 n个输入值），并且程序要对每一个输入值分别进 行处理的情况下，可确定 n 个有效等价类（每个 值确定一个有效等价类）和一个无效等价类（所 有不允许的输入值的集合）。
2009--machunyan
西北工业大学软件与微电子学院
18
第三章 功能性测试
3.1等价类测试（续）--- ---三角形问题
根据输出三角形的类型定义三个变量的等价类：
R1={<a ，b ，c>：等边三角形}
R2={<a ，b ，c>：等腰三角形} R3={<a ，b ，c>：不等边三角形}
第三章 功能性测试
1 2 3 4
2009--machunyan
西北工业大学软件与微电子学院
20
3.1 等价类测试（续）---三角形问题
测试用例 a b c
第三章 功能性测试
预期输出
考虑输入无效值的弱健壮等价类测试所增加的用例
1
2 3 4 5 6
2009--machunyan
-1
5 5 201 5 5
2009--machunyan
西北工业大学软件与微电子学院
1
第三章 功能性测试
第三章 功能性测试（掌握）
3.1 等价类测试 3.2 边界值测试 3.3 基于决策表的测试 3.4 测试的效率 3.5 Pair-wise方法 3.6 基于模型的测试的方法
2009--machunyan
“second guess” the likely implementation , and think about the functional manipulations that must somehow be present in the implementation.
2009--machunyan 西北工业大学软件与微电子学院 3
2009--machunyan
西北工业大学软件与微电子学院
12
第三章 功能性测试
3.1 等价类测试（续）
测试用例的生成策略：强一般等价类 对于函数: Y = f(x1, x2 ) 若 a x1 d 等价区间:[a,b), [b,c), [c,d]，e x2 g 等价区间:[e,f), [f,g]
利用无效等价类，可以鉴别程序异常处理的情况，检查被 测对象的功能和性能的实现是否有不符合规格说明要求的 地方。
2009--machunyan
西北工业大学软件与微电子学院
4
第三章 功能性测试
3.1等价类测试(续)---等价类划分的原则
等价类的划分原则
1. 按照区间划分 在输入条件规定了取值范围或值的 个数的情况下，可以确定一个有效等价类和两个无 效等价类。 例如，程序输入数据要求是两位正整数x，则有 效等价类为10x99，两个无效等价类为x<10和 x>99 2. 按照数值集合划分 在输入条件规定了输入值的集 合或规定了“必须如何”的条件下，可以确定一个 有效等价类和一个无效等价类（该集合有效值之 外）。
4. 按照限制条件或规则划分 在规定了输入数据必 须遵守的规则或限制条件的情况下，可确定一个 有效等价类（符合规则）和若干个无效等价类 （从不同角度违反规则）。
例如：要求输入为单个英文字符，可以确定一个有效 等价类（单个英文字符），和两个无效等价类（非英文 字符，非单个英文字符）。
5.
在输入条件是一个布尔量的情况下，可确定一个 有效等价类和一个无效等价类。
5
-1 5 5 201 5
西北工业大学软件与微电子学院
2
3.1 等价类测试
第三章 功能性测试
Equivalence classes form a partition of a set, where partition refers to a collection of mutually disjoint subsets whose union is the entire set (completeness, non-redundancy). Completeness: the entire set(可以理解为：整个定义域或值域) non-redundancy：mutually disjoint subsets The idea is to identify test cases by using one element from each equivalence class.
2009--machunyan
西北工业大学软件与微电子学院
17
第三章 功能性测试
3.1等价类测试（续）--- ---三角形问题
测试实例1，三角形问题：
输入：a，b，c三个边长 c1. 1≤a ≤200 c4. a ＜ b + c c2. 1≤b ≤200 c5. b ＜ a + c c3. 1≤c ≤200 c6. c ＜ a + b 输出：三角形类型
2009--machunyan
西北工业大学软件与微电子学院ຫໍສະໝຸດ 9第三章 功能性测试
3.1 等价类测试（续）
测试用例的生成策略：弱一般等价类
对于函数: Y = f(x1, x2 ) 若 a x1 d 等价区间:[a,b), [b,c), [c,d] e x2 g 等价区间:[e,f), [f,g]
设软件系统有两个变量x1和x2， x1有三个等价类 e11,e12,e13， x2有两个等价类e21 ， e22 ，则对应的等 价类笛卡尔积{e11 ， e12 ， e13}×{e21 ， e22 } ={e11e21 ， e12e21 ， e13e21 ， e11e22 ， e12e22 ， e13e22 }
输入条件 …… …… 有效等价类 …… …… 无效等价类 …… ……

2009--machunyan
西北工业大学软件与微电子学院
8
3.1 等价类测试（续）
第三章 功能性测试
测试用例的生成策略：弱一般等价类 没有考虑无效等价类 可靠性理论中的单缺陷假设：失效极少是由 两个(或多个)缺陷的同时发生引起的。 Weak equivalence class testing is accomplished by using one variable from each equivalence class in a test case.
第三章 功能性测试
测试用例的生成策略：强健壮等价类测试 强：多缺陷组合（笛卡儿积） 4×5 健壮：考虑无效值
X2 g
f
e a b c d X1
2009--machunyan
西北工业大学软件与微电子学院
16
3.1 等价类测试（续）
第三章 功能性测试
大多数情况下，根据程序函数的输入定义域定义等 价关系。 Equivalence relations can be defined on the output range of the program function being tested. Problems:
“treated the same” → “traversing the same execution path” 等价类中的各个输入数据对于揭露程序中的错误都是等效