中国航空工业集团公司雷华电子技术研究所王文良获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉中国航空工业集团公司雷华电子技术研究所申请的专利一种基于系统数字模型的测试用例生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117033182B 。
龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310888630.6，技术领域涉及：G06F11/3668；该发明授权一种基于系统数字模型的测试用例生成方法是由王文良;李振兴;陈逸飞设计研发完成，并于2023-07-19向国家知识产权局提交的专利申请。
本一种基于系统数字模型的测试用例生成方法在说明书摘要公布了：一种基于系统数字模型的测试用例生成方法，包括：步骤一、导入系统的数字模型；步骤二、自动识别数字模型各个条件分支处的条件判断式；步骤三、将条件判断式与模块库中的表达式模板进行对比，判断是否存在表达式模板，若是，则进行步骤四，若否，则进行步骤五；步骤四、基于模板库中的MCDC最小测试用例集，生成系统的最小测试用例集，进行步骤七；步骤五、生成空白测试用例集；步骤六、自第一个判断条件始，在空白测试用例集上设计测试用例，直至完成最后一个判断条件的测试用例的设计，进行步骤七；步骤七、将判断条件绑定变量，匹配测试关键字与变量；步骤八、根据最小测试用例集中的赋值表，调用关键字生成测试用例文件。
本发明授权一种基于系统数字模型的测试用例生成方法在权利要求书中公布了：1.一种基于系统数字模型的测试用例生成方法，其特征在于，包括： 步骤一、导入系统的数字模型； 步骤二、自动识别数字模型各个条件分支处的条件判断式，以及判断条件，构建判断条件列表； 步骤三、将条件判断式与模块库中的表达式模板进行对比，判断是否存在表达式模板，若是，则进行步骤四，若否，则进行步骤五； 步骤四、基于模板库中的MCDC最小测试用例集，生成系统的最小测试用例集，进行步骤七； 步骤五、生成空白测试用例集； 步骤六、自第一个判断条件始，基于MCDC规则，在空白测试用例集上设计测试用例，直至完成最后一个判断条件的测试用例的设计，进行步骤七； 步骤七、将判断条件绑定工程变量或ICD变量，匹配测试关键字与变量； 步骤八、根据最小测试用例集中的赋值表，调用关键字生成测试用例文件。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国航空工业集团公司雷华电子技术研究所，其通讯地址为：214063 江苏省无锡市梁溪路108号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励