-
题名基于编译支持错误跟踪的测试用例自动化生成方法
被引量：3
- 1
-
-
作者
何炎祥
陈勇
吴伟
徐超
吴黎兵
-
机构
武汉大学计算机学院
软件工程国家重点实验室(武汉大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第9期1843-1851,共9页
-
基金
国家自然科学基金项目(90818018
91018009)
-
文摘
测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件的基本方法.在分析现有测试用例自动生成方法的基础上,提出了一种基于编译的错误可跟踪的测试用例自动生成方法.该方法以编译器为依托,通过对其语法和语义进行扩展,将测试需求很好地融入到源程序中参与分析,并利用代码生成器在生成目标代码的同时根据相应的分析结果直接生成对应的测试用例.该方法将测试用例和目标代码生成统一到编译器中,避免了独立的测试用例自动生成工具在获得编译器相关分析结果时而导致的接口开销.同时,通过对源程序行号信息的跟踪,使得测试用例在无法通过测试时能够很快定位出错位置,以方便程序开发者修改.最后,通过一个示例程序说明了该方法的具体实现过程,证明了该方法的有效性.
-
关键词
测试用例
自动测试
错误可跟踪
编译器
操作语义
-
Keywords
test case
automatical testing
error-traceable
compiler
operational semantics
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
TP314
[自动化与计算机技术—计算机科学与技术]
-
