基于编译支持错误跟踪的测试用例自动化生成方法

摘要：

测试用例的自动生成是实现测试自动化的重要保障,是验证可信软件的基本方法.在分析现有测试用例自动生成方法的基础上,提出了一种基于编译的错误可跟踪的测试用例自动生成方法.该方法以编译器为依托,通过对其语法和语义进行扩展,将测试需求很好地融入到源程序中参与分析,并利用代码生成器在生成目标代码的同时根据相应的分析结果直接生成对应的测试用例.该方法将测试用例和目标代码生成统一到编译器中,避免了独立的测试用例自动生成工具在获得编译器相关分析结果时而导致的接口开销.同时,通过对源程序行号信息的跟踪,使得测试用例在无法通过测试时能够很快定位出错位置,以方便程序开发者修改.最后,通过一个示例程序说明了该方法的具体实现过程,证明了该方法的有效性.

关键词：测试用例、自动测试、错误可跟踪、编译器、操作语义

所属期刊栏目：49

分类号：TP311.56;TP314(计算技术、计算机技术)

资助基金：国家自然科学基金项目90818018,91018009

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

页数：共9页

页码：1843-1851