软件测试之黑盒测试

黑盒测试

即：功能性测试

1 边界值测试

边界值分析

1. 单缺陷假设：通过使所有变量取正常值，只使一个变量取极值
2. 使用在min、min＋、nom、max-和max处取输入变量值
3. 对于一个n变量函数，边界值分析会产生4n+1个测试用例

健壮性测试

1. 除了变量的五个边界值分析取值，还要通过采用一个略超过最大值的取值，及一个略小于最小值的取值
2. 对于一个n变量函数，健壮性测试会产生6n+1个测试用例

最坏情况测试

1. 去除单缺陷假设，考虑多个变量取极值时会出现什么情况
2. 对于每个变量，取包含最小值、略高于最小值、正常值、略低于最大值和最大值五个元素，然后对这些集合进行笛卡儿积
3. 对于一个n变量函数，最坏情况测试会产生5^n个测试用例

健壮最坏情况测试

1. 对于每个变量，使用七个值，然后取笛卡儿积
2. 对于一个n变量函数，健壮最坏情况测试会产生7^n个测试用例

作业

请画出维恩图来表示边界值分析、健壮性测试、最坏情况测试和健壮最坏情况测试生成的测试用例之间的关系

2 等价类测试

弱一般等价类测试

基于单缺陷假设，覆盖每个变量的定义域，而所用的用例最少

强一般等价类测试

基于多缺陷假设，采用笛卡儿积

弱健壮等价类测试

1. 弱是指基于单缺陷假设，强壮是指考虑了无效值
2. 对于有效输入，使用每个有效类的一个值
3. 对于无效输入，测试用例将拥有一个无效值，并保证其余的值都是有效的

强健壮等价类测试

1. 健壮指考虑了无效值，强指基于多缺陷假设.
2. 从所有等价类笛卡儿积的每个元素中获得测试用例

3 因果图

1. 原因是输入条件或输入条件的等价类，结果是输出条件
2. 通常用ci表示原因，用ei表示结果，各连接点表示状态
3. 原因与结果之间的关系包括:恒等、非、或(V)、与(^)
4. 原因与原因之间，结果与结果之间可能存在的约束条件：
   1. E(互斥)
   2. I(包含)：表示a,b,c三个原因中至少有一个必须成立
   3. O(包含)：表示a和b之间必须有一个，且仅有一个成立
   4. R(要求)：表示当a出现时，b必须也出现。不可能a出现，b不出现

4 基于决策表的测试