软件测试第3章 黑盒测试.pptVIP

3.3.3 利用正交表构造测试数据集 正交表的推导过程依据近世代数中的伽罗瓦（Galois）理论，在此不予介绍。我们可以从一般的数理统计书中查到如表3.8所示的正交表。 表中，每列表示一个因子，每行表示一个项目。 根据正交表的推导过程，可得正交表的生成规律如下。 表3.8 正交表 因子 项目 A B C 1 0 0 0 2 1 0 1 3 0 1 1 4 1 1 0 表3.9 正交表 将因素分析表中各因子的状态作为输入，结果作为输出，用逻辑命令把输入与输出结合在一起，画出布尔图。 假设图中最左部并列的结点是各因子的所有可能状态，把它们按因子分组，每组是某一个因子的所有状态，组内各状态间是逻辑或（OR）的关系如果一个因子的状态数超过2，还要增加中间结果结点，以保证所有中间结点都是两个输入端。 图的最右部是结果，它的输入端个数等于因子个数，结果的所有输入之间是逻辑与（AND）的关系。 由前例得到如图3.6所示的布尔图。 图3.6　布尔图 3.3.4 方法评价 利用正交实验设计法设计测试用例，比使用等价类划分、边值分析、因果图等方法具有如下优点。 （1）节省测试工作工时。 （2）可控制生成的测试用例的数量。 （3）测试用例具有一定的覆盖度。 表3.13 改造的正交表 3.4 边 值 分 析 3.4.1 单变量边界值的选取 针对边界值设计测试用例时，对于每一个变量的取值，应注意遵循以下几条原则。 （1）如果输入条件规定了取值范围，或是规定了值的个数，则围绕着边界，测试用例的选择有两种方案： 五点法：选择最大值、略低于最大值、正常值、略高于最小值、最小值。 七点法：选择略大于最大值、最大值、略低于最大值、正常值、略高于最小值、最小值、略低于最小值。 （2）针对规格说明的每个输出条件使用前面的第一条原则。 （3）如果程序规格说明中提到的输入或输出域是个有序的集合（如顺序文件、表格等），就应注意选取有序集的第1个和最后一个元素作为测试用例。 （4）分析规格说明，找出其他的可能边界条件。 3.4.2 多个变量组合情况下边界值的选取 据可靠性理论“单缺陷假设”：失效极少是由两个（或多个）缺陷的同时发生引起的。 对于n变量函数，使除一个以外的所有变量取正常值，对剩余的那个变量应用五点法（或七点法）取最小值、略高于最小值、正常值、略低于最大值、最大值，对每个变量都重复进行。 图3.7　学生考卷评分和成绩统计程序输入数据形式 该程序应给出如下4个输出报告，即: （1）按学生学号排序，每个学生的成绩（答对的百分比）和等级报告。 （2）按学生得分排序，每个学生的成绩。 （3）平均分数，最高与最低分之差。 （4）按题号排序，每题学生答对的百分比。 表3.14及表3.15分别针对输入条件和输出条件，根据其边界值采用“七点法”设置了测试用例。 输 入 条 件 测 试 用 例 输入文件 空输入文件 标题 无标题记录 只有1个字符的标题 具有40个字符的标题 具有80个字符的标题 标题太长的记录 出题个数 没出题 出了1个题 出了50个题 出了51个题 出了100个题 出了999个题 题目数是非数值量 答案记录 标题记录后没有标准答案记录 标准答案记录多1个 标准答案记录正常值 标准答案记录少1个 学生人数 学生人数为0 学生人数为1 学生人数为2 学生人数为100 学生人数为199 学生人数为200 学生人数为201 学生答题 某学生只有1个答卷记录，但有2个标准答案记录 该学生是文件第1个学生 该学生是文件中正常值学生 该学生是文件最后1个学生 学生答题 某学生只有2个答卷记录，但有1个标准答案记录 该学生是文件第1个学生 该学生是文件中正常值学生 该学生是文件最后1个学生 表3.14 针对输入条件设计的测试用例 输 出 条 件 测 试 用 例 学生得分 所有学生得分相同 所有学生得分都不同 一些学生（不是全部）得分相同（用以检查等级计算） 1个学生得0分 1个学生得100分 输出报告（1）、（2） 1个学生编号最小（检查排序） 1个学生编号最大 学生数恰好使报告印满1页（检查打印） 学生人数使报告1页打印不够，尚多1人 输出报告（3） 平均值最大值（所有学生均得满分） 平均值为0（所有学生得0分） 标准偏差取最大值（1学生得0分，1学生得100分） 标准偏差为0（所有学生得分相同） 输出报告（4） 所有学生都答对第1题 所有学生都答错第1题 所有学生都答对最后1题 所有学生都答错最后1题 报告打印完1页，恰剩1题未打印 题数恰好使得报告打印在1页上 表3.15 针对输出条件的测试用例 3.5 判定