软件测试概述 - read.pptVIP

3.2 路径测试 3.2 路径测试—三角形问题 三角形程序的程序图 3.2.1 DD-路径 3.2.1 DD-路径 3.2.1 DD-路径 三角形问题的DD-路径类型 三角形程序的DD-路径图 3.2.1 DD-路径 3.2.1 DD-路径测试 3.2.2 基路径测试 3.2.2 基路径测试 3.2.2 基路径测试 3.2.2 基路径测试 3.2.2 基路径测试 3.2.2 基路径测试 3.2.2 基路径测试 三角形问题应用McCabe的基路径方法 3.2.2 基路径测试 3.2.2 基路径测试 3.2.3 路径测试总结 * 路径覆盖：设计足够多的测试用例，要求覆盖程序中所有可能的路径。 程序图定义：给定采用命令式程序设计语言编写的一段程序，其程序图是一种有向图，图中的节点表示语句片段，边表示控制流。(完整语句是“默认”的语句片段)。 程序图的重要性在于： 该程序的执行对应于从原节点到汇节点的路径。 Dim a, b, c As Integer Dim IsATriangle As Boolean ‘Step 1:Get Input 4 Output(“Enter 3 integers which are sides of a triangle”) 5 Input(a,b,c) 6 Output(“Side A is ”,a) 7 Output(“Side B is ”,b) 8 Output(“Side C is ”,c) ‘Step 2:Is A Tiangle? 9 If(ab+c) AND (ba+c) AND (ca+b) 10 Then IsATriangle = True 11 Else IsATriangle = False 12 EndIf ‘Step 3: Determine Triangle Type 13 If IsATriangle 14 Then If(a=b) AND (b=c) 15 Then Output(“Equilateral”) 16 Else If(a≠b) AND (a≠c) AND (b≠c) 17 Then Output(“Scalene”) 18 Else Output(“Isosceles”) 19 EndIf 20 EndIf 21 Else Output(“Not a Triangle”) 22 EndIf 23 End triangle2 4 5 6 7 8 9 10 11 12 13 21 14 15 16 17 18 19 20 22 23 结构性测试最著名的形式以叫做决策到决策路径(DD-路径)的结构为基础(Miller，1977)。 这个名称指语句的一种序列，按照Miller的话说，从决策语句的“出路”开始，到下一个决策语句的“入路”结束，在这种序列中没有内部分支，因此对应的节点像排列起来的一行多米诺骨牌，当第一张牌推倒后，序列中的其他牌也会倒下。 DD-路径与有向图的关系: DD-路径可通过有向图中的节点路径定义，可以叫做路径链，其中链是一条起始和终止节点不同的路径，并且每个节点都满足内度=1和外度=1。 初始节点 终止节点 内部节点 DD-路径的定义: DD-路径是程序图中的一条链，使得： 情况1：由一个节点组成，内度=0。 情况2：由一个节点组成，外度=0。 情况3：由一个节点组成，内度≥ 2或外度≥2。 情况4：由一个节点组成，内度=1并且外度=1。 情况5：长度≥1的最大链。 2 最后 23 3 O 22 4 G 21 3 N 20 3 M 19 4 L 18 4 K 17 3 J 16 4 I 15 3 H 14 3 F 13 3 E 12 4 D 11 4 C 10 3 B 9 5 A 5-8 1 第一 4 定义情况 DD-路径名称 程序图节点 第一 A B C D E F G H I J K L M N O 最后 程序的DD-路径图定义: 给定采用命令式语言编写的一段程序，其DD-路径图是有向图。其中，节点表示其程序图的DD-路径，边表示连续DD-路径之间的控制流。 如果每条DD-路径都被遍历(C1指标)，则我们知道每个判断分支都被执行，这要求遍历DD-路径图中的每条边。 空间中的一切都可以用基表示，并且如果一个基元素被删除，则这种覆盖特性也会丢失。 对测试的潜在意义是，如果可以把程序看做是一种向量空间，则这种空间的基就是要测试的非常有意义的元素集合。 如果基没有问题，则可以希望能够用基表述的一切都是没有问题的。 A B D E F C G 线性独立路径数是： V(G)=e-n+2p=10-7+2*1=5 McCabe的控制图: