摘要
本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.
This paper presents a new method,in which a family of program testing creteria are derived from data flow analysis technique.This technique is similar to those used in compiler optimization.Commonly used methods only by checking program confrol flow to generate testing criteria need to be improved.The method in this paper focuses on the association with each point at which a variable or a state is defined and those points at which the value of the variable or the state is referenced.Several related path criteria are defined and compared.This paper describes the new method based on the basic SDL/GR language.
