4 动态黑盒测试.pdfVIP

测试人员的数学知识 集合论 1 集合与成员 M30 ={ 4月，6月，9月，11月} 2 集合的定义 列出 合元素 如M30 给出 合元素判定规则 如Y={年| 1900年2199} 3 空集的表示 Φ Φ＝{年：2012 ≤年≤1812} Φ，{ φ} 是不同的。 数学知识- 集合论 4 维恩图(Venn Diagram) The Venn Diagram is made up of two or more overlapping circles.It is often used in mathematics to show relationships between sets 5 集合的关系 A 是B 的子 A Õ B A 是B 的真子 A Ã B A 和B 是相等集合A=B 数学知识- 集合论 6 集合的划分 A1,A2,…,An是集合A的子 A1,A2,…,An是集合A的一个划分 A1 ∪A2 ∪… ∪An=A 且 Ai ∩Aj …= Φ(i != j) 测试（1 ）完备性 （2 ）无冗余性 数学知识- 函数 任何程序都可以看成将其输出与输入关联 起来的函数，因此函数是开发测试的核心 概念。 1 －1函数 多对1函数 程序实现的功能大多数是多对一的函数。这对测 试很重 （多对一测试可选代表等价类1对1， 功能相似也可分等价类） 数学知识- 命题逻辑 命题：有真假值，且无歧义 P q p ∧q p ∨q ┐p pq T T T T F F T F F T F T F T F T T T F F F F T F 动态黑盒测试 ——等价类测试 等价类 测试的目的是进行完备的测试，同时避免测 试用例冗余 等价类是将 合划分成互不相交的一组子 ，这些子 并不是整个集合 子集是由等价关系决定的，子 元素都有共 同点 因此： – 利用子集表示了集合的完备性 – 互不相交体现了无冗余性 等价类测试是通过每个等价类中的一个元素 标识测试用例，降低测试用例的冗余性。 类的等价关系 等价关系的选择是重点 举例：函数F有两个变量x 1, x2 – a=x1=d 区间有[a,b) [b,c) [c,d] – e=x2=g 区间有[e,f) [f,g] 弱一般等价类测试 单缺陷假设 x2 通过使用一 个测试用例 g 中的每个等 f 价类 （区 间）的一个 e 变量实现 x1 a b c d 强一般等价类测试 多缺陷假设 x2 需 等价类笛 卡儿积的每个 元素对应的测 g 试用例 f 确保完备性 – 覆盖所有的等 e 价类 – 有可能的输入