基于抽象语法树的代码静态自动测试方法研究

• 作者: 宫云战 谈利群 高传平
• 来源期刊: 北京化工大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件测试 静态分析 故障 故障模型 语法树
• 年，卷（期）: 2007,（z1）
• 所属期刊栏目: 研究论文
• 页码范围: 25-29
• 页数: 5页
• 分类号: TP302.8
• 字数: 4237字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-4628.2007.z1.007

摘要

软件测试是排除软件故障,提高软件质量和可靠性的重要手段.从是否需要执行被测程序角度考虑,软件测试分为静态测试和动态测试.动态测试通过输入测试数据,动态执行程序来发现软件中存在的错误.尽管动态测试能发现部分软件错误,但对于一些特殊类型错误的检测无效.鉴于此,本文采取了一种特殊的静态分析技术来实现对代码的测试.本文首先讨论了传统软件测试方法的缺点和局限性,给出了软件的故障模型,进而提出了基于抽象语法树的静态分析技术,并给出了故障自动检测算法.依据该算法开发了自动化测试工具,给出了实验结果和对比分析,并指出了下一步的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宫云战	北京邮电大学网络与交换技术国家重点实验室	50	577	15.0	23.0
2	高传平		3	39	2.0	3.0
3	谈利群		5	61	3.0	5.0