软件测试 作者 郑人杰 许静 于波 第4章白盒测试一.pptVIP

第四章 白盒测试 4.1 程序结构分析 程序框图 控制流图 控制流图 节点：代替操作、条件判断及汇合点 控制流线或弧：控制的顺序 对程序的要求 不应包含： （1）转向并不存在的标号 （2）没有用的语句标号 （3）从程序入口无法到达的语句 （4）不能到达停机语句的语句 第三种情况的检测方法 Begin 清栈； 为入口节点做标记； 入口节点入栈； while 栈非空 do begin n:=栈顶节点； 出栈； 为所有未标记的n的后继做标记且进栈； end End 处理后，未做标记的节点为不可达语句 数据流分析 定义： 变量被语句定义：某一语句执行时能改变变量V的值，则称V是被该语句定义的。 变量被语句引用：某一语句的执行应用了内存变量V的值，则称变量被语句引用。 例 语句：X:=Y+Z 定义了变量X, 引用了Y, Z 语句：if YZ then … 引用了Y和Z 语句：READ X 定义了X WRITE X 引用了X 语句的执行也可以使变量失去定义，成为无意义。 循环语句中循环变量在正常出口时， 就变成无意义。 程序中存在的两个错误和两个异常 两个错误 语句2使用变量W，但在此之前并未定义 语句5，