4-1结构性测试-控制流测试.ppt

环路复杂性=判断数＋1＝6＋1＝7 路径1：（0）—①—（13）—（19） 路径2：（0）—②—③—（14）—（19） 路径3：（0）—②—④—⑤—（15）—（19） 路径4：（0）—②—④—⑥—⑦—（16）—（19） 路径5：（0）—②—④—⑥—⑧—⑨—（17）—（19） 路径6：（0）—②—④—⑥—⑧—⑩—（18）—（19） 路径7：（0）—②—④—⑥—⑧—⑩—（12）—（19） 功能性测试是着眼于问题域，而结构性测试更多是从解决域的方面来进行软件测试。 * * 入度/内度：将该节点作为终止节点的不同边的条数，记为：indeg（n） 出度/外度：将该节点作为开始节点的不同边的条数，记为：outdeg（n） * 注意：这里，非三角形情况没有基路径 * * 基路径测试 向量空间的基是相互独立的一组向量，基“覆盖”整个向量空间，使得该空间中的任何其他向量都可以用基向量来表示。 因此，一组基向量在一定程度上可表示整个向量空间的本质：空间中的一切都可以用基表示，并且如果一个基元素被删除了，则这种覆盖特性也会丢失。 基对测试的潜在意义是：如果可以把程序看做是一种向量空间，则这种空间的基就是要测试的非常有意义的元素集合。如果基没有问题，则可以希望能够用基表达的一切都是没有问题的。 基路径测试 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的圈复杂度，导出基本可执行路径集合，从而设计测试用例的方法。设计出的测试用例要保证在测试中程序的每个可执行语句至少执行一次。 包含语句覆盖和判定/分支覆盖 在选择或多分支结构中，分支的汇聚处应有一个汇聚结点。 边和结点圈定的区域叫做区域，当对区域计数时，图形外的区域也应记为一个区域。 如果判断中的条件表达式是由一个或多个逻辑运算符 (OR, AND, ...) 连接的复合条件表达式，则需改为 一系列只有单个条件的嵌套的判断。 McCabe的基路径方法 图9-6是一张有向图，可以认为是某个程序的程序图，或DD-路径图。 E D B A C F G 图9-6 McCabe的控制图 McCabe圈复杂度 T. J. McCabe圈复杂度，1976 基本思想 程序的复杂性很大程度上取决于程序控制流的复杂性 单一的顺序程序结构最简单，循环和选择所构成的环路越多，程序就越复杂 圈复杂度：是一种为程序逻辑复杂性提供定量测度的软件度量，将该度量用于计算程序的基本的独立路径数目 独立路径：必须包含一条在定义之前不曾用到的边（即至少经过一条以前未走过的边） 圈复杂度的计算 V(G) = e – n + 2 e：控制流图的边数 n：控制流图的结点数 V(G) = 判定结点数+1 V(G) = 控制流图中有界或无界的封闭区域个数 例子 V(G) = e – n + 2 =10-7+2 =5 V(G) = 判定结点数 + 1 =4+1 =5 V(G) = 图中区域数 =5 3 E D B A C F G 9 1 8 7 6 5 4 2 10 R1 R5 R4 R3 R2 圈复杂度对应着独立路径数目 图中的独立路径： p1：A，B，C，G p2：A，B，C，B，C，G p3：A，B，E，F，G p4：A，D，E，F，G p5：A，D，F，G p：A，B，C，B，E，F，G（错） 3 E D B A C F G 9 1 8 7 6 5 4 2 10 McCabe的基路径方法 McCabe开发了一种算法过程（叫做基线方法），用于确定基路径集合。 首先选择一个基线路径，应该对应某个“正常案例”程序的执行。这种方法有一定的随意性，McCabe建议选择包括尽可能多的判定结点的路径 接下来重复回溯基线路径，依次“翻转”每个判定点，即当结点的出度≥2时，必须取不同的边。 三角形程序的DD-路径图 圈复杂度： V(G)=20-17+2 =判定节点数 +1 =区域数 =5 因此，5是构成基本路径集的独立路径数的上界，也是设计测试用例的数目 表9-4：图9-4的基路径 原始 P1:A-B-C-E-F-H-J-K-M-N-O-最终 不等边三角形 在B处翻转P1 P2:A-B-D-E-F-H-J-K-M-N-O-最终 不可行 在F处翻转P1 P3:A-B-C-E-F-G-O-最终 不可行 在H处翻转P1 P4:A-B-C-E-F-H-I-N-O-最终 等边三角形 在J处翻转P1 P5:A-B-C-E-F-H-J-L-M-N-O-最终 等腰