软件测试技术幻灯片.ppt

* * 路径覆盖 路径覆盖的含义是，选取足够多测试数据，使程序的每条可能路径都至少执行一次（如果程序图中有环，则要求每个环至少经过一次）。 * * 习题一 X3 z10 执行语句块1 执行语句块2 X==4 || y5 执行语句块3 F F T T a b d c e * * 习题二 X8 AND Y5 X0 OR Y0 引用语句1 引用语句2 N Y N Y X16 OR Y10 引用语句3 N Y * * 基本路径测试 基本路径测试是Tom McCabe提出的一种白盒测试技术。使用这种技术设计测试用例时，首先计算程序的环形复杂度，并用该复杂度为指南定义执行路径的基本集合，从该基本集合导出的测试用例可以保证程序中的每条语句至少执行一次，而且每个条件在执行时都将分别取真、假两种值。 * * 基本路径测试 基本步骤 第一步，根据过程设计结果画出相应的流图。 第二步，计算流图的环形复杂度。 第三步，确定线性独立路径的基本集合。 * * 第一步，根据过程设计结果画出相应的流图。 PROCEDURE average; /* 这个过程计算不超过100个在规定值域内的有效数字的平均值；同时计算有效数字的总和及个数。*/ INTERFACE RETURNS average, total.input , total.valid ; INTERFACE ACCEPTS value, minimum, maximum; TYPE value［1…100］ IS SCALAR ARRAY; TYPE average, total.input , total.valid; minimum, maximum, sum IS SCALAR; TYPE i IS INTEGER; * * 1: i=1; total.input=total.valid=0; sum=0; 2: DO WHILE value［i］ -999 3: AND total.input100 4: increment total.input by 1; 5: IF value［i］=minimum 6: AND value［i］=maximum 7： THEN increment total.valid by 1; sum= sum +value［i］; 8: ENDIF increment i by 1; 9: ENDDO 10: IF total.valid0 11: THEN average=sum/total.valid; 12: ELSE average=-999; 13: ENDIF END average * * 基本路径测试 第二步，计算流图的环形复杂度 环形复杂度定量度量程序的逻辑复杂性。有了描绘程序控制流的流图之后，可以用3种方法之一计算环形复杂度。经计算，所示流图的环形复杂度为6。 流图中的区域数等于环形复杂度。 流图G的环形复杂度V(G)=E-N+2,其中，E是流图中边条数，N是结点数 流图G的环形复杂度V(G)=P+1，其中，P是流图中判定结点的数目。 * * 基本路径测试 第三步，确定线性独立路径的基本集合 所谓独立路径是指至少引入程序的一个新处理语句集合或一个新条件的路径，用流图术语描述，独立路径至少包含一条在定义该路径之前不曾用过的边。 * * 基本路径测试 第三步，确定线性独立路径的基本集合 使用基本路径测试法设计测试用例时，程序的环形复杂度决定了程序中独立路径的数量，而且这个数是确保程序中所有语句至少被执行一次所需的测试数量的上界。对于所描述的求平均值过程来说，由于环形复杂度为6，因此共有6条独立路径。 * * 路径1：1―2―10―11―13―… 路径2：1―2―10―12―13―… 路径3：1―2―3―10―11―13―… 路径4：1―2―3―4―5―8―9―2―… 路径5：1―2―3―4―5―6―8―9―2―… 路径6：1―2―3―4―5―6―7―8―9―2―… * * 基本路径测试 第四步，设计可强制执行基本集合中每条路径的测试用例。 通常在设计测试用例时，识别出判定结点是很有必要的。本例中结点2、3、5、6和10是判定结点。 应该选取测试数据使得在测试每条路径时都适当地设置好了各个判定结点的条件。 * * 基本路径测试 路径1的测试用例：1―2―10―11―13 value [k]=有效输入值，其中ki（i的定义在下面） value [i]=-999，其中2≤i≤100 预期结果：基于k的正确平均值和总数 注意：路径1无法独立测试，必须作为路径4或5或6的一部分来测试。 * * 基本路径测试