3-选择结构程序设计5.pptVIP

程序片断 { … if(a 1 b == 0) x = x / a; if(a == 2 || x 1) x = x + 1; } 程序片段的逻辑结构 分支覆盖 分支覆盖也称为判定覆盖，它要求通过足够的测试用例使每个判定的每个分支至少通过一次。如在例2.1中，可以选用两组数据： · a=3，b=0，x=2（测试路径ACE）； · a=1，x=1, b为任意（测试路径为ABD）。 使用上述测试用例，经过两次测试后，便可以使每个分支都通过一次。 分支覆盖准则比语句覆盖准则严密了一些，但仍然不够充分。因为一个判定中往往包含有多个条件，而用分支覆盖并不一定能将每个条件都试一次。 条件覆盖 条件覆盖是通过执行充足的测试用例，使每个判定中的每个条件都至少使用一次。对例2.1来说，有四个条件： . 条件1：a1， . 条件2：b==0， . 条件3：a==2， . 条件4：x1。 组合条件覆盖 条件覆盖似乎比判定覆盖更好，但实际上未必这样。因为它有时候可能使组合条件不满足，如上述按条件覆盖准则给出的测试用例： (1) a=2，b=1，x=1； (2) a=1，b=0，x=3。 既不能使第一个判定框为“真”，也不能使第二个判定框为“假”。也就是说，条件覆盖有可能连分支覆盖准则也满足不了。为此，人们又提出一种更强的准则──组合条件覆盖准则：执行充足的测试用例，使判定中条件的各种可能组合至少出现一次。 测试用例设计 本程序是一个单条件嵌套选择结构，其成功的测试是选择合适的数据让每一条路径都执行一遍。由于程序的输入要求三个数，如3，4，5，因此每一次要输入三个不等的数进行测试。下面分析要测试过程： （1）为了覆盖分支ABDH,就需要满足条件ab和ac,即要求第一个数要最大(为5)，后两个数的顺序无关系； （2）为了覆盖分支ABEH,就需要满足条件ab和ca,即要求按顺序4，3，5输入三个数； （3）为了覆盖分支ACFH,就需要满足条件ab和bc,即要求第二个数要最大(为5)，另两个数的顺序无关系； （4）为了覆盖分支ACGH,就需要满足条件ab和bc,即要求按顺序3，4，5输入三个数。 程序测试——等价分类法 等价分类法是一种功能测试法。功能测试以程序的功能为测试依据，因此在设计测试用例之前要通过阅读程序代码和文档来了解程序的功能。使用这种方法不必关心程序的内部流程，故功能测试也称为黑箱测试法。黑箱测试用例应当通过对程序功能的分析，推演出由有代表性的元素组成的测试数据集。用等价分类法设计测试用例可分两步进行： （1）划分等价类； （2）选定测试用例。 划分等价类 划分等价类的基本方法是，从程序的功能说明中，找出各个输入条件，然后为每个输入条件划分等价类。 等价类可以分为两种：有效等价类和无效等价类。有效等价是指属于程序的合理输入范围的那些数据。无效等价类是指非法的输入数据。 选定测试用例 利用等价类来确定测试用例应按如下步骤进行： 1 给每个等价类规定一个编号 2 设计一个测试用例，使其尽可能多地覆盖未被覆盖的有效等价类。重复这一步直到所有的有效等价类都被覆盖为止。 3 为每个无效等价类设计一个测试用例。 测试用例设计 本题的switch中分为三种情形：数字、空白和字母，从而可以将输入条件分为三个种等价类： （1）数字类：有效数字等价类和无效数字等价类 （2）空白类：有效空白等价类和无效空白等价类 （3）字母类：有效字母等价类和无效字母等价类 * * 程序测试 a 1b == 0 a == 2 || x 1 x=x / a A y n C B x=x + 1 y n D E 程序测试 程序测试 程序测试 程序测试 程序测试 程序测试 程序测试 程序测试 程序测试 *