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

龙图腾网获悉大连海事大学申请的专利一种基于结果回溯的Simulink测试用例约简方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116048990B 。

龙图腾网通过国家知识产权局官网在2025-07-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310045507.8，技术领域涉及：G06F11/3668；该发明授权一种基于结果回溯的Simulink测试用例约简方法是由郭世凯;王子轩;孙悦琪;杜娜;王一安;张小雪;李晓晨;江贺设计研发完成，并于2023-01-30向国家知识产权局提交的专利申请。

本一种基于结果回溯的Simulink测试用例约简方法在说明书摘要公布了：本发明公开了一种基于结果回溯的Simulink测试用例约简方法，包括：生成能够体现被测软件中错误或缺陷的测试用例，建立待约简测试用例集，收集用于扩大待约简测试用例集的被测软件第三方真实缺陷反馈案例集；运行待约简测试用例集中的测试用例，依照运行结果对测试用例进行分类；针对运行结果中编译失败的测试用例采取以结果为导向的模块删除等效测试用例约简方案，针对运行结果中成功编译的测试用例采取以结果为导向的数据流等效测试用例约简方案；将与原测试用例集运行结果一致的约简后测试用例集进行汇总，并记录诱发原因报告、上传至被测软件官方技术支持；收集被测软件官方技术支持的意见和建议，优化迭代本方法。

本发明授权一种基于结果回溯的Simulink测试用例约简方法在权利要求书中公布了：1.一种基于结果回溯的Simulink测试用例约简方法，其特征在于包括： 生成能够体现被测软件中错误或缺陷的测试用例，建立待约简测试用例集，收集用于扩大待约简测试用例集的被测软件第三方真实缺陷反馈案例集； 运行待约简测试用例集中的测试用例，依照运行结果对测试用例进行分类； 采用以结果为导向的模块删除等效测试用例约简方案对运行结果中编译失败的测试用例中的模块进行删除；采用以结果为导向的数据流等效测试用例约简方案对运行结果中成功编译的测试用例中的模块进行删除； 运行经约简后的测试用例集，比较与原测试用例集之间的运行结果差异并记录错误或缺陷原因以及诱发问题的测试用例模块； 将与原测试用例集运行结果一致的约简后测试用例集进行汇总，并记录诱发原因报告同时上传至被测软件的官方技术支持端； 收集被测软件官方技术支持端的意见和建议，优化迭代该Simulink测试用例约简方法； 所述错误或缺陷的测试用例在被测软件中体现为模型； 通过现有随机生成被测软件模型的方法以及现有模型变异的方法生成大量的被测软件模型； 将上述大量的被测软件模型经过差分测试的手段筛选出有错误或缺陷的被测软件模型形成待约简测试用例集； 收集被测软件官方技术端公开具体错误原因和触发错误方式的模型以及第三方开源真实缺陷反馈案例模型用于扩大被测软件待约简测试用例集。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人大连海事大学，其通讯地址为：116026 辽宁省大连市高新园区凌海路1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。