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

摘要：

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

关键词：数据流分析、程序抽取、动态模拟、非数值变量、程序定义域

所属期刊栏目：13

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金69733010

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：762-768