首页 | 本学科首页   官方微博 | 高级检索  
     

运用类复制变异和JPF技术生成类间测试用例
引用本文:钟诚,唐春艳.运用类复制变异和JPF技术生成类间测试用例[J].小型微型计算机系统,2009,30(8).
作者姓名:钟诚  唐春艳
作者单位:广西大学,计算机与电子信息学院,广西,南宁,530004
基金项目:广西科学基金项目,广西高校人才小高地建设创新团队计划 
摘    要:采用类复制变异方法,运用模型检测器Java PathFinder(JPF)来保证软件执行过程中产生的错误在输出结果中可见,同时将类间测试用例生成问题转化成模型检测中寻找反例的问题,自动生成满足变异覆盖准则的类测试用例,提出一种适用于类间调用的测试用例自动生成方法,并在程序模型检测器JPF上实现.实验结果表明,本文提出的方法能生成高效的Java类间测试输入数据,变异覆盖率高,可发现隐藏错误,并能显著减少测试生成的代价.

关 键 词:类间测试  测试用例生成  程序模型检测  变异测试

Test Case Generation for Inter-class with Class-duplicated Mutation and JPF(Java Path Find-er)
ZHONG Cheng,TANG Chun-yan.Test Case Generation for Inter-class with Class-duplicated Mutation and JPF(Java Path Find-er)[J].Mini-micro Systems,2009,30(8).
Authors:ZHONG Cheng  TANG Chun-yan
Abstract:
Keywords:Java  PathFinder(JPF)
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号