[工学]软件测试2.ppt

实践表明，程序员在处理边界情况时，很容易因疏忽或考虑不周而发生编码错误。例如，在数组容量、循环次数、以及输入数据与输出数据的边界值附近程序出错的概率往往较大。 当我们用等价分类法设计测试用例时，测试数据可以在等价类值域内任意选取。如前例所示。现假设在前例中，如果只为了接受年龄合格的报名者则 程序中可能设有语句为: 但是如果在编码中要是把以上语句中的“〈=” 误写为 “ 〈 ” 的话，那么我们在用利用上例中的测试用例，则都不回发现这种错误。 而所谓的边界值分析，就是把测试的重点放在各个等价类的边界，选取刚好等于、刚好大于和刚刚小于边界值的数据为测试数据，并根据此设计出相应的测试用例。 使用边界值分析和等价划分技术，可以帮助我们设计出具有代表性的 、容易暴露程序错误的测试方案。但是，不同类型不同特点的程序通常又有一些特殊的容易出错的情况。此外，有时分别使用每组测试数据时程序都能正确工作，这些输入数据的组合却可能检测出程序的 错误。一般说来，即使是一个小小的程序，可能的输入组合数也往往十分巨大，因此必须依靠人员的经验和直觉，从各种可能的测试方案中选出一些最可能引起程序出错的方案。对于程序中可能存在哪类错误的猜测，是挑选测试方案时的一个重要因素。 错误猜测法在很大程度上靠直觉和经验进行。它的基本想法是列举出程序中可能有的错误和容易发生错误的特殊情况，并且根据它们，选择测试方案。 　 覆盖了8个条件取值和4个分支。 其实，判定/条件覆盖也有缺陷。从表面上看，它测试了所有条件的取值。但事实并非如此，因为往往某些条件覆盖另一些条件。 如，对于表达式 (A1) and (B=0) 来说，若 （A1) 的测试结果为真，则还要测试 (B=0) ，才能决定表达式的值；按照程序中的逻辑关系来看，而若 (A1) 的测试结果为假，那么就可以立刻确定该表达式的结果也应该为假。这时，往往就不会再测试(B=0) 的取值了。因此，条件 (B=0) 就没有检查了。 同样，对于条件表达式 (A=2) or (X1) 来说，若 (A=2) 的测试结果为真，就可以立即决定表达式的结果为 真，而此时，条件 (X1) 就没有进行检查。因此，采用判定/条件覆盖，逻辑表达式中的错误不一定能够查得出来。 　为了检查所有条件的取值，则应将所以条件组合进行测试。 对于每个判断，要求所有可能的条件取值的组合都必须取到。在上述的流程图中各有两个条件，所以，她有4个条件取值的组合。所以我们可以取4个测试用例，来覆盖上面的 8 种条件取值的组合。但必须明确，这里并未要求第一个判断的4个组合与第二个判断的4个组合再进行组合。要是那样的话，就需要 4 的2次方=16个测试用例了。 对于每个判断，要求所有可能的条件取值的组合都必须取到。在上述的流程图中各有两个条件，所以，她有4个条件取值的组合。所以我们可以取4个测试用例，来覆盖上面的 8 种条件取值的组合。但必须明确，这里并未要求第一个判断的4个组合与第二个判断的4个组合再进行组合。要是那样的话，就需要 4 的2次方=16个测试用例了。 从分析中可以看出，在这组测试用例中它覆盖了所有条件的可能取值的组合，覆盖了所有判断的可取分支，但路径掉了L4。 所以测试还不算完全。 从前面的内容我们已经知道，白盒测试是以程序内部的逻辑结构为基础的设计测试用例技术。它包括以下两种测试方法： 一、逻辑覆盖方法：这一方法要求，测试人员对程序的逻辑结构有清楚的了解，甚至要能掌握源程序的所有细节。 。。。。。 。。。 按照对被测程序的有效程度，逻辑覆盖测试可由弱到强区分为两种覆盖标准，如下页所示 从上述分析情况来看，路径测试的特征是，它不但包含了语句覆盖同时也满足了判定覆盖（在程序图上分别称为点覆盖与边覆盖）。换句话说，只要满足了路径覆盖，也就必然满足语句和判定覆盖。 等价类划分(Equivalence Partitioning) 等价类划分是一种典型的黑盒测试方法，也是一种非常实用的重要测试方法。 我们前面已经说过，不可能用所有可以输入的数据来测试程序，而只能从全部可供输入的数据中选择一个子集进行测试。如何选择适当的子集，使其尽可能多地发现错误。解