第02章-基本路径法---练习.pptVIP

基本路径法

案例2 下例程序流程图描述了最多输入50个值（以–1作为输入结束标志）,计算其中有效的学生分数的个数、总分数和平均值。

开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112

123456789111012R1R2R3R4R5R6开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112步骤1：导出程序的流图。

步骤2:确定环形复杂性度量V(G)：1）V(G)=6（个区域）2）V(G)=E–N+2=16–12+2=6其中E为流图中的边数，N为结点数；3）V(G)=P+1=5+1=6其中P为谓词结点的个数。在流图中，结点2、3、5、6.9是谓词结点。123456789111012R1R2R3R4R5R6

123456789111012R1R2R3R4R5R6步骤3:确定基本路径集合（即独立路径集合）。于是可确定6条独立的路径:路径1:1-2-9-10-12路径2:1-2-9-11-12路径3:1-2-3-9-10-12路径4:1-2-3-4-5-8-2…路径5:1-2-3-4-5-6-8-2…路径6:1-2-3-4-5-6-7-8-2…注:“…”表示后面剩下的路径是可以选择的。原因在于存在循环结构

步骤4：为每一条独立路径各设计一组测试用例，以便强迫程序沿着该路径至少执行一次。1）路径1(1-2-9-10-12)的测试用例：不满足条件2，满足条件9score[1]=60；score[2]=–1 期望结果：根据输入的有效分数算出正确的分数个数n1=1.总分sum=60和平均分average=60。开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112

2）路径2(1-2-9-11-12)的测试用例:不满足条件2，不满足条件9score[1]=–1；期望的结果:average=–1，其他量保持初值。开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112

3）路径3(1-2-3-9-10-12)的测试用例:满足条件2，不满足条件3，满足条件9输入多于50个有效分数，即试图处理51个分数期望结果:n1=50、且算出正确的总分和平均分。开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112

4）路径4(1-2-3-4-5-8-2…)的测试用例：满足条件2，满足条件3，不满足条件5score[1]=-0.5；score[2]=60，score[3]=-1；期望结果：根据输入的有效分数算出正确的分数个数n1=1.总分sum=60和平均分average=60。开始i=1，n1=n2=0，sum=0Score[i]-1ANDn250n2=n2+1n1=n1+1，sum=sum+score[i]Score[i]0ANDscore[i]100i=i+1n10average=sum/n1average=–1返回FFFTTT12和345和6789101112

5）路径5(1-2-3-4-5-6-8-2…)的测试用例：满足条件2，满足条件3，满足条件5，不满足条件6score[1]=1