一种基于数据流分析的程序定义域自动确定方法

摘要

程序定义域的确定有利于指导测试用例的选取.虽然程序规范规定了输入变量的定义域,但程序实现本身也定义了其定义域,如果二者不能完全重合,那么某些软件故障就可诊断出来.文中提出了一种基于数据流分析的程序定义域自动确定方法.通过对源程序进行数据流分析和相关性分析,求取输入变量的定义域;采用程序抽取技术,将与输入变量无关的语句和函数剔除,简化了源程序,提高了分析效率;采用动态模拟技术,实现了特殊情形下输入变量定义域的确定.实验证明,该方法是行之有效的.