大连海事大学郭世凯获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉大连海事大学申请的专利一种基于等价模变异的仿真软件测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115470104B 。
龙图腾网通过国家知识产权局官网在2025-06-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210983410.7，技术领域涉及：G06F11/3668；该发明授权一种基于等价模变异的仿真软件测试方法是由郭世凯;徐志豪设计研发完成，并于2022-08-16向国家知识产权局提交的专利申请。
本一种基于等价模变异的仿真软件测试方法在说明书摘要公布了：本发明公开了一种基于等价模变异的仿真软件测试方法，包括：对生成的测试用例进行可用性检查，并判断测试用例是否正常编译，根据路径覆盖收集测试用例的变量数值和时延，根据正常编译的比率生成图形化的预处理结果图；对每一个测试用例插入二分支选择片段；填充二分支选择片段的不执行分支生成新的变体程序；采用马尔可夫链蒙特卡罗法筛选出新变体中复杂度高的变体程序作为等效变体；采用等效模输入方法比较原始测试程序与等效变体之间的区别，从而发现仿真软件存在的缺陷。根据该方法测试出多个有效的仿真软件bug，在一定程度上维护了仿真验证工具的稳定，并且使得仿真验证工具更加的可靠。
本发明授权一种基于等价模变异的仿真软件测试方法在权利要求书中公布了：1.一种基于等价模变异的仿真软件测试方法，其特征在于包括： 对生成的测试用例进行可用性检查，并判断测试用例是否正常编译，根据路径覆盖收集测试用例的变量数值和时延，根据正常编译的比率生成图形化的预处理结果图； 对每一个测试用例插入二分支选择片段； 填充二分支选择片段的不执行分支生成新的变体程序； 采用马尔可夫链蒙特卡罗法筛选出新变体中复杂度高的变体程序作为等效变体； 采用等效模输入方法比较原始测试程序与等效变体之间的区别，从而发现仿真软件存在的缺陷； 插入二分选择代码片段时：获取测试用例在预处理过程中变量信息表的所有变量值，随机选定一个程序点，根据变量信息表的变量信息选定一个变量，生成大于该变量的判别式，根据判别式合成具有矛盾谓词的二分支条件语句，在选定的程序点处插入合成的二分支条件语句，将原始程序点之后的代码段置于执行分支中。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人大连海事大学，其通讯地址为：116026 辽宁省大连市高新园区凌海路1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号