首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

一种基于测试用例优化的程序变异测试方法及系统 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:深圳大学

摘要:本发明公开一种基于测试用例优化的程序变异测试方法及系统,涉及变异测试优化领域,获取待测试的程序字节码;生成程序字节码的变异体;获取类型依赖图;类型依赖图包括类型顶点和测试用例顶点,以及顶点之间的有向边;有向边用于连接具有直接依赖关系的顶点;计算类型依赖图中,变异体所属的类型顶点的传递闭包;根据传递闭包,确定与变异体有依赖关系的目标测试用例;调用各目标测试用例对变异体进行变异测试。本发明通过类型依赖图确定变异体有依赖关系的目标测试用例,使得每次验证变异体只需执行关联的测试用例,提高了变异测试效率。

主权项:1.一种基于测试用例优化的程序变异测试方法,其特征在于,所述方法包括:获取待测试的程序字节码;生成所述程序字节码的变异体;获取类型依赖图;所述类型依赖图包括类型顶点和测试用例顶点,以及顶点之间的有向边;所述有向边用于连接具有直接依赖关系的顶点;在获取类型依赖图之前,还包括:构建类型依赖图,具体包括:获取若干类型的程序字节码;确定每一类型程序字节码的常量池;根据所述常量池中的类型依赖关系,构建所述类型依赖图;计算所述类型依赖图中,所述变异体所属的类型顶点的传递闭包;传递闭包反映了类型之间直接和间接的依赖关系,用于分析变异体和测试用例的关联;计算传递闭包的过程如下:初始化一个边集合,用于存储新增的边,后续用于往类型依赖图中添加边;遍历类型依赖图中所有顶点,对于每个顶点,以每个顶点为源点,开始深度优先遍历,每次遍历到一个顶点,就往边集合里面新增源点到该顶点的边,边权为深度;最后将新增的边添加到类型依赖图中;根据所述传递闭包,确定与所述变异体有依赖关系的目标测试用例,具体包括:根据所述传递闭包确定所述传递闭包所经历的顶点;对所述传递闭包所经历的顶点与测试用例顶点集合取交集,得到与所述变异体有依赖关系的目标测试用例;调用各所述目标测试用例对所述变异体进行变异测试。

全文数据:

权利要求:

百度查询: 深圳大学 一种基于测试用例优化的程序变异测试方法及系统

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。