第1章软件测试的基本知识.pptVIP

1.14 控制流图 1.4.1 基本块 假设P是一个用过程式程序设计语言写的程序，P的基本块，就是一个连续的语句序列，只有一个入口点和一个出口点。 ?一个基本块具有唯一的入口点和出口点。 ?除了出口点外，程序不可能在基本块的其他任意点退出或中止。 ?当基本块只包含一条语句时，入口点与出口点重合。 例 1.23 下面的程序输入两个整数x和y,输出 程序P1.2 1 begin 2 int x,y,power; 3 float z; 4 input (x,y) 5 if (y0) 6 power=-y; 7 else 8 power=y; 9 z=1; 10 while (power!=0) { 11 z=z*x; 12 power=power-1; 13 } 14 if (y0) 15 z=1/z; 16 output(z); 17 end 基本块 行号 入口点 出口点 1 2,3,4,5 1 5 2 6 6 6 3 8 8 8 4 9 9 9 5 10 10 10 6 11,12 11 12 7 14 14 14 8 15 15 15 9 16 16 16 下表为程序P1.2中的所有基本块。 1.14.2 流图的定义与图形表示 例1.24 程序P1.2的流图定义如下: N={Start,1,2,3