运用类复制变异和JPF技术生成类间测试用例

摘要：

采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用的测试用例自动生成方法,并在程序模型检测器JPF上实现.实验结果表明,本文提出的方法能生成高效的Java类间测试输入数据,变异覆盖率高,可发现隐藏错误,并能显著减少测试生成的代价.

关键词：类间测试、测试用例生成、程序模型检测、变异测试、Java、PathFinder(JPF)

所属期刊栏目：30

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

资助基金：广西科学基金项目桂科自0728033;广西高校人才小高地建设创新团队计划桂教人[2007]71号

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

页数：共5页

页码：1591-1595