管理信息系统本科解决方案.ppt

* 测试数据的设计——等价类划分 （黑盒测试方法） [lb：]ub lb和ub分别表示维数的上、下界。上下界可以是-65534至65535的常数，也可以是整型变量名（但不能是数组元素名）。如果没有规定lb，则假设其值为1，ub的值一定要大于或等于lb。若规定了lb，它的值可以是负数、零或正数。DIMENSION语句可以连续写多行。 * 测试数据的设计——等价类划分 （黑盒测试方法） 确定等价类 输入条件 有效等价类 无效等价类 数组描述符个数 1(1)，＞1(2) 无(3) 数组名长度 1-6(4) 0(5)，＞6(6) 数组名 有字母(7)，有数字(8) 其它(9) 数组名以字母开头 是(10) 不是(11) 数组维数 1-2(12) 0(13)，＞2(14) 上界是 常数(15)，整型变量名(16) 数组元素名(17)，其它(18) 整型变量名 有字母(19)，有数字(20) 其它(21) 整型变量以字母开始 是(22) 不是(23) 常数 -65534～65535(24) ＜-65534(25)，＞65535(26) 定义下界否 是(27)，没有(28) 上界对下界关系 大于(29)，等于(30) 小于(31) 下界定义为 负数(32)，0(33)，＞0(34) 下界是 常数(35)，整型变量(36) 数组元素名(37)，其它(38) 多于一行否 是(39)，不是(40) * 测试数据的设计——等价类划分 （黑盒测试方法） 设计测试数据： 写出测试数据，使其覆盖一个或多个有效等价类。 DIMENSION AEE（2）： 覆盖1、4、7、10、12、15、24、28、29和40这几个等价类。 DIMENSION A12345（1，KLM），BBB（-65534：100，0：100），FFF（10：10，1：65535） 覆盖了其余的等价类。 * 测试数据的设计——等价类划分 （黑盒测试方法） 为每一个无效等价类设计一个测试数据： (3)：DIMENSION (5)：DIMENSION (10) (6)：DIMENSION A234567(2) (9)：DIMENSION A.1(2) (11)：DIMENSION 1 A(10) (13)：DIMENSION B (14)：DIMENSION B(4，4，4) (17)：DIMENSION B(4， A(2)) (18)：DIMENSION B(4，，7) (21)：DIMENSION C(1.，10) (23)：DIMENSION C(10，1J) (25)：DIMENSION D(-65535：1) (26)：DIMENSION D(65536) (31) ：DIMENSION D(4：3) (37) ：DIMENSION D(A(2)：4) (38) ：DIMENSION D(.：4) * 测试数据的设计——边值分析 边值条件是指在输入与输出等价类直接边缘上，稍高于其边界和低于其边界的这些状态条件。 * 测试数据的设计——边值分析 原则： 1、如果输入条件规定了值的范围，写出这个范围的边界测试数据以及刚刚超出范围的无效测试数据 2、如果输入条件规定了值的个数，分别对值的最大个数、最小个数、稍小于最小个数和稍大于最大个数的状态写出测试数据 * 测试数据的设计——边值分析 3、对每个输出条件使用第1条 4、对每个输出条件使用第2条 5、如果程序的输入或输出是个有序集，则应把注意力集中在集合的第一个和最后一个元素上。 6、另外可以找出其它的边界条件 * 测试数据的设计——因果图 （黑盒测试方法） 边值分析和等价类划分的不足在于没有考虑输入情况的各种组合。如果没有用系统性的方法来选择输入条件的一个子集，通常只能选择一个任意的子集，从而导致低效率的测试。 因果图是帮助人们系统地选择一组高效测试数据的方法，此外它还能指出程序规范中的不完全性和二义性。 * 测试数据的设计——因果图 （黑盒测试方法） 基本符号： 约束符号： * 测试数据的设计——因果图 （黑盒测试方法） 例： 第一列字符必须是A或B，第二列字符必须是一个数字。在这种情况下，修改文件。如果第一个字符不正确，则发出信息X12。如果第二个字符不是数字，则发出信息X13。 * 测试数据的设计——因果图 （黑盒测试方法） 表示为： 1——第1列字符是A 2——第1列字符是B 3——第2列字符是一个数字 结果是： 70——修改文件 71——发出信息X12 72——发出信息X13 * 测试数据的设计——因果图 （黑盒测试方法） * 测试数据的设计——因果图 （黑盒测试方法） 测试数据的设计步骤如下： 1、将模块说明书中的