第5.2(续2)边界值分析法(黑盒类)、逻辑覆盖法(白盒法).ppt

主要内容 边界值分析法的基本概念（认知） 边界值分析法的测试用例设计原则（理解、应用） 错误推测法（应用） 因果图法（应用） 逻辑覆盖法（属于白盒法）（理解、应用） 提问 回忆上节课讲述的等价类分析法的特点 基本思想？ 划分等价类的规则？ 边界值分析法(黑盒类) 在编写程序时，往往只注意正常情况，忽视了边界状态。因此，在测试过程中以刚好等于、大于或小于边界值的数据作为测试数据，容易发现程序中的错误。 边界是相对于输入等价类和输出等价类而言，稍高于其边界值及稍低于其边界值的一些特定情况。 使用边界值分析方法设计测试用例，应对确定的边界，选取正好等于，刚刚大于，或刚刚小于边界的值做为测试数据，而不是选取等价类中的典型值或任意值做为测试数据。 边界值分析法(黑盒类) 边界值分析法设计测试用例原则 1、如输入条件代表以a和b为边界的范围，测试用例应包含a、b、略大于a和略小于b的值。 例：邮件收费规定 1～5 kg收费2元，则应设计测试用例:0.9、1、 5、5.1 kg或 0.99，1，5.01kg 2、如果输入条件规定了输入值的个数，则用最大个数、最小个数、比最大个数多1、比最小个数少1的数作为测试数据。 例：一个输入文件可有1～255个记录，则可分别设计有: 1个、255个、0个、256个记录的输入文件 边界值分析法(黑盒类) 3、 如规格说明中提出输入输出的有序集（顺序文件、有序表等)，取有序集的第一个和最后一个元素做测试用例。 4、如程序数据结构有预定的边界，应测试其边界的数据项。 例：程序中定义一数组，其元素下标的下界是0，上界是100，则应选择达到这个数组下标边界的值，如0与100作为测试用例。 边界值分析法(黑盒类) 5、如输出条件规定了取值范围，取边界上下浮动值做测试用例。 例：每日保险扣除额(输出项)在0～1165.25 元，则应设计测试用例使其恰好产生0元和1165.25元的结果, 此外还应考虑设计结果为负值或 1165.25元的测试用例，如: -0.01元和1165.26元)。 由于输入值的边界不与输出值的边界相对应，所以要检查输出值的边界及产生超出输出值值域的结果不一定可能。 等价类划分法和边界值分析法的区别 区别： （1）边界值分析法不是从某等价类中随便挑一个作为代表，而是使这个等价类的每个边界都要作为测试条件。 （2）边界值分析法不仅要考虑输入条件，还要考虑输出空间产生的测试情况。 错误推测法（猜错法） 不同类型的程序通常具有若干特殊的易出错的情况，这些情况未必可以归结为等价类或边界情况。有经验的测试人员往往根据经验与直觉，例举出程序中可能有的错误和容易发生错误的特殊情况，根据它们选择测试用例，实行高效的测试。 因果图法 因果图适合于描述对于多种输入条件的组合，相应的产生多个动作的形式来设计测试用例。因果图方法最终生成的是判定表。（前面讲过） 逻辑覆盖测试法(白盒类) 基于白盒法的测试系思想： 分析被测试程序的逻辑结构，选择逻辑执行路径子集设计测试方法。 即用白盒法测试模块时，最彻底的就是覆盖程序中的每一条路径，然而，由于大型复杂程序中的逻辑路径数目太多，致使不可能将全部路径都覆盖。因此采用其它一些标准来量度覆盖的程度，并希望覆盖程度尽可能高些。 逻辑覆盖测试法(白盒类) 选择路径子集的覆盖标准： 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 路径覆盖 点覆盖 边覆盖 逻辑覆盖测试法(白盒类) 逻辑覆盖测试法(白盒类) 1、语句覆盖 执行足够多的测试用例，使得被测程序中每个可执行语句至少被执行一次。 上例中只需设计一个测试用例: 【(2, 0, 4)，(2, 0, 3)】，覆盖ace(L1)，即达到了语句覆盖。 语句覆盖是最弱的覆盖标准。 逻辑覆盖测试法(白盒类) 逻辑覆盖测试法(白盒类) 2、判定覆盖（边覆盖） 执行足够多的测试用例，使得被测程序中每个语句至少被执行一次，且每个判断的真假分支至少执行一次。 上例中可设计两组测试用例: 【(2, 1, 1)，(2, 1, 2)】，覆盖 abe【L3】 【(3, 0, 0)，(3, 0, 1)】，覆盖 acd【L4】 两组测试用例可覆盖所有判定的真假分支 判定覆盖仍是弱的覆盖标准。 将程序模块抽象为程序图，判定覆盖又被称为边覆盖。 逻辑覆盖测试法(白盒类) 逻辑覆盖测试法(白盒类) 3、条件覆盖 执行足够多的测试用例，使得被测程序中每个判定的每个条件的可能值至少执行一次。 逻辑覆盖测试法(白盒类) 逻辑覆盖测试法(白盒类) 4、判定/条件覆盖 执行足够多的测试用例，使得被测程序中的判定