单元5（2）黑盒测试

黑盒测试软件工程什么是黑盒测试黑盒测试方法黑盒测试概述黑盒测试等价类边界值决策表因果图正交试验法黑盒测试方法

等价类方法等价类是输入域的某个子集合，而所有的等价类的并集是整个输入域。在子集合中，各个输入数据对于揭露程序中的错误是等效的。等价类的特点完备性无冗余等价性等价类定义有效等价类

——是指对软件规格说明而言，是有意义的、合理的输入数据所组成的集合。无效等价类

——是指对软件规格说明而言，是无意义的、不合理的输入数据所构成的集合。检验正常功能检验异常功能划分等价类从对等价类的覆盖程度从是否对无效数据进行检测弱组合形式强组合形式一般等价类测试健壮等价类测试弱一般强一般弱健壮强健壮在有多个输入的情形等价类划分原则

边界值方法单边界值取值分析：在最小值、略高于最小值、正常值、略低于最大值和最大值处取输入变量值表示方法min、min+、nom、max-、和max边界值分析边界值组合分析：

一个有两个变量x1和x2的程序F，其中x1∈［a，b］和x2∈［c，d］。程序F的输入空间（定义域）如图所示。带阴影矩形中的任何点都是程序F的有效输入。基于“单故障”的假设使所有变量取正常值，只使一个变量分别取最小值、略高于最小值、略低于最大值和最大值。边界值分析测试方法决策表的构成决策表的化简决策表方法

条件桩：列出了问题的所有条件。条件项：针对条件桩给出的条件列出所有可能的取值。13动作桩：给出了问题规定的可能采取的操作。动作项：和条件项紧密相关，指出在条件项的各组取值情况下应采取的动作。决策表的构成规则任何一个条件组合的特定取值及其相应要执行的操作称为规则；在决策表中贯穿条件项和动作项的一列就是一条规则；决策表中列出多少组条件取值，也就有多少条规则，即条件项和动作项有多少列。决策表的构成（续）规则合并就是决策表的简化。有两条或多条规则具有相同的动作，并且其条件项之间存在着极为相似的关系，就可以将规则合并。条件项“—”表示与取值无关决策表的化简

因果图方法17原因与结果之间的关系恒等、非、或、与原因与原因之间的约束关系异、或、唯一、要求结果与结果之间的关系M约束因果图18

恒等c1

e1

e1=1

c1=1

e1=0

c1=0

非c1

e1

e1=0

c1=1

e1=1

c1=0

若c1是1，则e1也为1，否则e1为0。若c1是1，则e1为0，否则e1为1。4种基本符号（一）19

或c1e1c2c3e1=1c1=1或c2=1或c3=1否则e1=0与e1c2e1=1c1=1且c2=1否则e1=0c14种基本符号（二）E约束（异）：原因a和原因b不会同时成立，两个中最多有一个可能成立。I约束（或）：a、b、c这三个原因中至少有一个必须成立。O约束（惟一）：原因a和b中必须有一个，且仅有一个成立。4种约束（一）R约束（要求）：原因a出现时，原因b也必须出现，a出现时，不可能b不出现。输出条件的约束只有M约束，如果a为1，则结果b为0。当a为0，b的值不确定。4种基本符号（二）

正交表方法行数(Runs)：正交表中的行的个数，即试验的次数。因子数(Factors)：正交表中列的个数。水平数(Levels)：任何单个因素能够取得的值的最大个数。正交表中的包含的值为从0到数“水平数-1”或从1到“水平数”正交表是一个二维数字表格。其形式为：式中L表示正交表，其余术语如下：L行数(水平数因子数)正交表概念和特征网址：http://www.york.ac.uk/depts/maths/tables/orthogonal.htm（单一）/techsup/technote/ts723_Designs.txt（混合水平正交表）如何查找正交表构造