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

龙图腾网获悉北京理工大学申请的专利一种基于MoMuTUML的测试用例自动生成方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115904946B 。

龙图腾网通过国家知识产权局官网在2026-03-24发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211365919.1，技术领域涉及：G06F11/3668；该发明授权一种基于MoMuTUML的测试用例自动生成方法及系统是由马锐;杨语澈;贺金媛;周旭鸿;王丹设计研发完成，并于2022-10-31向国家知识产权局提交的专利申请。

本一种基于MoMuTUML的测试用例自动生成方法及系统在说明书摘要公布了：本发明公开了一种基于MoMuTUML的测试用例自动生成方法及系统，对原有的功能重叠的变异算子进行删减，并增加3种与原有变异算子功能不重叠的新变异算子，减少了语法等效变异模型的生成，降低了测试用例生成时间成本；通过根据变异模型集合和被测模型生成测试用例，并根据测试用例删除等效变异模型，获取有效变异模型，避免了MoMuTUML中等效变异模型数量过多的问题，提高了测试用例的生成效率；通过基于反馈的变异方法，对有效变异模型对应的变异算子进行评分，构建最优变异算子集合，选择集合中变异算子对被测模型进行变异操作，解决了MoMuTUML变异方法低效的问题，进一步提高测试用例的生成效率。

本发明授权一种基于MoMuTUML的测试用例自动生成方法及系统在权利要求书中公布了：1.一种基于MoMuTUML的测试用例自动生成方法，其特征在于，包括： 步骤一、建立被测模型，并根据所述被测模型获得初始全局状态覆盖统计表和初始全局转换覆盖统计表； 步骤二、根据变异算子集合中每个变异算子对所述被测模型进行变异操作，构建对应的变异模型集合； 增加三个变异算子分别是：更改转换的源头状态的变异算子、更改转换的目标状态的变异算子、移除某状态的随机转换的变异算子； 删除四个变异算子分别是：设置警戒条件为假、设置警戒条件为真、设置布尔类型OCL子表达式为假、设置布尔类型OCL子表达式为真； 根据修改后的变异算子对所述被测模型进行变异操作； 对所述修改后的变异算子进行分组，将更改转换的源头状态的变异算子和更改转换的目标状态的变异算子作为状态覆盖增益组，将其它变异算子作为转换覆盖增益组； 步骤三、根据所述变异模型集合和所述被测模型生成测试用例，并根据所述测试用例删除所述变异模型集合中的等效变异模型，获取有效变异模型，根据所述有效变异模型更新所述初始全局状态覆盖统计表和初始全局转换覆盖统计表，获得全局状态覆盖统计表和全局转换覆盖统计表；包括： 选取一个所述变异模型集合中的一个变异模型，与所述被测模型进行一致性检查，搜索所述变异模型与所述被测模型的行为差异，如存在差异则根据所述行为差异生成测试用例，将所述变异模型作为有效变异模型，并标记与所述有效变异模型对应的变异算子；如不存在差异则继续从所述变异模型集合中选取变异模型，直至选择到一个与所述被测模型存在行为差异的变异模型或所述变异模型集合遍历完成； 将所述有效变异模型覆盖到的被测模型的状态及转换在初始全局状态覆盖统计表及初始全局转换覆盖统计表中标记更新，获得全局状态覆盖统计表及全局转换覆盖统计表； 步骤四、根据所述全局状态覆盖统计表和全局转换覆盖统计表及所述有效变异模型对每个变异算子评分，构建所述被测模型最优变异算子集合； 步骤五、统计连续未产生新的测试用例的轮数n，若nN，以步骤四中的所述最优变异算子集合替换步骤二中的所述变异算子集合，重复步骤二至步骤四；若n≥N，停止测试用例的生成过程，获取已生成的测试用例集合；n和N均为正整数。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京理工大学，其通讯地址为：100081 北京市海淀区中关村南大街5号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。