软件测试技术：基本路径覆盖.pptx

软件测试技术--9基本路径覆盖

向量空间的基在线性代数中，基是一组独立的线性向量，能表示出给定向量空间中的所有向量。给定一个向量空间的基，那么这个空间中的每个向量都能用这组基的特定组合方式表示出来。每一个向量空间都有基，向量空间的所有的基都包含相同的元素个数，称为向量空间的维度。

基本路径ThomasMcCabe理论认为，任何软件都包含一些确定的独立的路径（包括迭代）。他称之为基本路径。这理论表明，代码的结构能够通过执行这些基本路径进行测试，其他的路径其实就是重用这些基本路径。

基本路径测试创建一组能包含所有基本路径的测试用例，这组用例能保证测试时的语句路径覆盖和判定路径覆盖。ThomasMcCabe将基本路径理论称之为环路复杂性。从程序的环路复杂性可导出程序的基本路径集合中独立路径条数，也是应该设计的测试用例的数目。

环路复杂度（圈复杂度）定义：控制流程图G的环路复杂度是V(G)=e-n＋2.在定义中：e是控制流程图G中边数.n是控制流程图G中节点数.V(G)也是控制流程图中区域数。

环路复杂度EADBCFG14365897102

环路复杂度EADBCFG14365897102V(G)=e-n＋2=10-7+2=5

五组线性独立路径P1：A，B，C，GP2：A，B，C，B，C，GP3：A，B，E，F，GP4：A，D，E，F，GP5：A，D，F，GEADBCFG14365897102

重用基本路径通过的边12345678910P1:A,B,C,G1001000010P2:A,B,C,B,C,G1012000010P3:A,B,E,F,G1000100101P4:A,D,E,F,G0100010101P5:A,D,F,G0100001001Ex1：A,B,C,B,E,F,G1011100101Ex2：A,B,C,B,C,B,C,G1023000010

重用基本路径ex1=P2+P3-P1ex2=2P2-P1通过的边12345678910P1:A,B,C,G1001000010P2:A,B,C,B,C,G1012000010P3:A,B,E,F,G1000100101P4:A,D,E,F,G0100010101P5:A,D,F,G0100001001Ex1：A,B,C,B,E,F,G1011100101Ex2：A,B,C,B,C,B,C,G1023000010

基本路径算法McCabe开发了一套确定基本路径的算法过程。首先，选择一条程序正常执行时的基本路径。然后反复回溯基本路径，每当遇到判定点时都选择别的路径。也就是说当一个节点的输出度大于2时，不同的路径一定会走一遍。

练习Programtriangle2”structuredprogrammingversionofsimplerspecificationDima,b,cAsIntegerDimIsATriangleAsBooleanOutput(“Enter3integerswhicharesidesofatriangle”)Input(a,b,c)Output(“SideAis”,a)Output(“SideBis”,b)Output(“SideCis”,c)If(ab+c)AND(ba+c)AND(ca+b)ThenIsATriangle=TrueElseIsATriangle=FalseEndIfIfIsATriangleThenIf(a=b)AND(b=c)ThenOutput(“Equilateral”)ElseIf(a≠b)AND(a≠b)AND(b≠c)ThenOutput(“Scalene”)ElseOutput(“Isosceles”)EndIfEndIfElseOutput(“NotaTriangle”)EndIfEndtriangle2

练习P