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

• 作者: 赵瑞莲 闵应骅
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 数据流分析 程序抽取 动态模拟 非数值变量 程序定义域
• 年，卷（期）: 2001,（8）
• 所属期刊栏目: 容错及可靠性
• 页码范围: 762-768
• 页数: 7页
• 分类号: TP311.5
• 字数: 6243字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2001.08.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	闵应骅	中国科学院计算技术研究所网络研究室	46	481	12.0	20.0
2	赵瑞莲	中国科学院计算技术研究所网络研究室	4	33	3.0	4.0