第三章 功能测试.ppt

2009--machunyan
西北工业大学软件与微电子学院
9
3.1 等价类测试（续）
第三章 功能性测试
测试用例的生成策略：弱一般等价类
对于函数: Y = f(x1, x2 ) 若 a x1 d 等价区间:[a,b), [b,c), [c,d]
2009--machunyan
西北工业大学软件与微电子学院
4
第三章 功能性测试
3.1等价类测试(续)---等价类划分的原则
等价类的划分原则
1. 按照区间划分 在输入条件规定了取值范围或值的 个数的情况下，可以确定一个有效等价类和两个无 效等价类。
例如，程序输入数据要求是两位正整数x，则有 效等价类为10x99，两个无效等价类为x<10和 x>99
第三章 功能性测试（掌握）
第三章 功能性测试
功能性测试或黑盒测试？
黑盒测试把程序看成一个黑盒子，完全不考虑程序 内部结构和处理过程。
黑盒测试按照程序接口进行测试，它只是检查程序 功能是否按照规格说明书的规定正常使用。
黑盒测试又称功能测试、数据驱动测试或基于规格 说明的测试，也可称为用户测试。
The key is the choice of the equivalence relation that determines the classes.
“second guess” the likely implementation , and think about the functional manipulations that must somehow be present in the implementation.
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
2. 按照数值集合划分 在输入条件规定了输入值的集 合或规定了“必须如何”的条件下，可以确定一个 有效等价类和一个无效等价类（该集合有效值之 外）。
2009--machunyan
西北工业大学软件与微电子学院
5
第三章 功能性测试
等价类的划分原则(续) ---等价类划分的原则
3. 按照数值划分 在规定了一组输入数据（假设包括 n个输入值），并且程序要对每一个输入值分别进 行处理的情况下，可确定 n 个有效等价类（每个 值确定一个有效等价类）和一个无效等价类（所 有不允许的输入值的集合）。
输入条件 ……
有效等价类 ……
无效等价类 ……
……
……
……
2009--machunyan
西北工业大学软件与微电子学院
8
3.1 等价类测试（续）
第三章 功能性测试
测试用例的生成策略：弱一般等价类 没有考虑无效等价类
可靠性理论中的单缺陷假设：失效极少是由 两个(或多个)缺陷的同时发生引起的。
Weak equivalence class testing is accomplished by using one variable from each equivalence class in a test case.
The idea is to identify test cases by using one element from each equivalence class.
“treated the same” → “traversing the same execution path” 等价类中的各个输入数据对于揭露程序中的错误都是等效
例：程序输入x取值于一个固定的枚举类型{1,3,7,15}， 且程序中对这4个数值分别进行了处理，则有效等价类为 x=1、x=3、 x=7、x=15，无效等价类为x≠1,3,7,15的值的 集合。
2009--machunyan
西北工业大学软件与微电子学院
6
第三章 功能性测试
等价类的划分原则(续) ---等价类划分的原则
4. 按照限制条件或规则划分 在规定了输入数据必 须遵守的规则或限制条件的情况下，可确定一个 有效等价类（符合规则）和若干个无效等价类 （从不同角度违反规则）。
例如：要求输入为单个英文字符，可以确定一个有效 等价类（单个英文字符），和两个无效等价类（非英文 字符，非单个英文字符）。
5. 在输入条件是一个布尔量的情况下，可确定一个 有效等价类和一个无效等价类。
2009--machunyan
西北工业大学软件与微电子学院
3
3.1等价类测试(续)
第三章 功能性测试
划分等价类可分为两种情况：
（1）有效等价类 ——是指对软件规格说明而言，是 有意义的、合理的输入数据所组成的集合。利用有效 等价类，能够检验程序是否实现了规格说明中预先规 定的功能和性能。
（2）无效等价类 ——是指对软件规格说明而言，是 无意义的、不合理的输入数据所构成的集合。利用无 效等价类，可以鉴别程序异常处理的情况，检查被测 对象的功能和性能的实现是否有不符合规格说明要求 的地方。
2009--machunyan
西北工业大学软件与微电子学院
1
第三章 功能性测试（掌握）
✓ 3.1 等价类测试 3.2 边界值测试 3.3 基于决策表的测试 3.4 测试的效率 3.5 Pair-wise方法 3.6 基于模型的测试的方法
第三章 功能性测试
2009--machunyan
西北工业大学软件与微电子学院
2009--machunyan
西试
等价类的划分原则(续) ---等价类划分的原则
6. 细分等价类 在确知已划分的等价类中各元素在程序中 的处理方式不同的情况下，则应再将该等价类进一步 划分为更小的等价类。
在确定了等价类之后，列出所有划分出的等价类,并建 立等价类表。