GIS软件工程GIS软件的实施与测试.pptVIP

（4）判定/条件覆盖 既然判定覆盖不一定包含条件覆盖，条件覆盖也不一定包含判定覆盖，自然会提出一种能同时满足这两种覆盖标准的逻辑覆盖，这就是判定/条件覆盖。它的含义是，选取足够多的测试数据，使得判定表达式中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。 （5）条件组合覆盖 条件组合覆盖是更强的逻辑覆盖标准，它要求选取足够多的测试数据，使得每个判定表达式中条件的各种可能组合都至少出现一次。 2.循环测试 循环测试是一种白盒测试技术，它专注于测试循环结构的有效性。在结构化的程序中通常只有三种循环，分别是简单循环、串接循环和嵌套循环，如图10.4所示。 图10.4 三种循环 （1）简单循环 应该使用下列测试集来测试简单循环，其中n是允许通过循环的最大次数。 · 跳过循环。 · 只通过循环一次。 · 通过循环两次。 · 通过循环m次，其中m＜n-1。 · 通过循环n-1，n，n+1次。 （2）嵌套循环 如果把简单循环的测试方法直接应用到嵌套循环，可能的测试数就会随嵌套层数的增加按几何级数增长，这会导致不切实际的测试数目。B.Beizer提出了一种能减少测试数的方法。  · 从最内层循环开始测试，把所有其他循环都设置为最小值。 · 对最内层循环使用简单循环测试方法，而使外层循环的迭代参数(例如，循环计数器)取最小值，并为越界值或非法值增加一些额外的测试。 · 由内向外，对下一个循环进行测试，但保持所有其他外层循环为最小值，其他嵌套循环为“典型”值。 · 继续进行下去，直到测试完所有循环。 （3）串接循环 如果串接循环的各个循环都彼此独立，则可以使用前述的测试简单循环的方法来测试串接循环。但是，如果两个循环串接，而且第一个循环的循环计数器值是第二个循环的初始值，则这两个循环并不是独立的。当循环不独立时，建议使用测试嵌套循环的方法来测试串接循环。  流图 在设计测试方案时，往往需要仔细分析程序的控制流。为了突出表示程序的控制流，可以使用流图(也称为程序图)。流图仅仅描绘程序的控制流程，它完全不表现对数据的具体操作以及分支或循环的具体条件。 在流图中用圆表示节点，一个圆代表一条或多条语句。程序流程图中的一个处理框序列和一个菱形判定框，可以映射成流图中的一个节点。流图中的箭头线称为边，它和程序流程图中的箭头线类似，代表控制流。在流图中一条边必须终止于一个节点，即使这个节点并不代表任何语句(实际上相当于一个空语句)。由边和节点围成的面积称为区域，当计算区域数时应该包括图外部未被围起来的那个区域。   基本路径测试 基本路径测试是Tom McCabe提出的一种白盒测试技术。使用这种技术设计测试用例时，首先计算过程设计结果的逻辑复杂度，并以该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取true(真)和false(假)值。 使用基本路径测试技术设计测试用例的步骤如下。 1. 根据过程设计结果画出相应的流图。  图10.4 把程序流程图映射成流图 (a)程序流程图；(b)流图 2. 计算流图的环形复杂度 环形复杂度定量度量程序的逻辑复杂性。有了描绘程序控制流的流图之后，可以用下述三种方法之一来计算环形复杂度。 （1）流图中的区域数等于环形复杂度。 （2）流图G的环形复杂度V(G)＝E-N+2，其中E是流图中边的条数，N是流图中节点数。 （3）流图G的环形复杂度V(G)＝P+1，P是流图中判定节点的数目。 使用上述任何一种方法，都可以计算出图10.5所示流图的环形复杂度为4。  3. 确定线性独立路径的基本集合 所谓独立路径是指至少引入程序的一个新处理语句集合或一个新条件的路径，用流图术语描述，独立路径至少包含一条在定义该路径之前不曾用过的边。 使用基本路径测试法设计测试用例时，程序的环形复杂度决定了程序中独立路径的数量，而且这个数是确保程序中所有语句至少被执行一次所需的测试数量的上界。  对于图10.4（b）来说，由于环形复杂度为4，因此共有4条独立路径。例如，下面列出了4条独立路径： 路径1：1-11 路径2：1-2-3-4-5-10-1-11 路径3：1-2-3-6-8-9-10-1-11 路径4：1-2-3-6-7-9-10-1-11