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

龙图腾网获悉深圳航天东方红卫星有限公司;深圳航天科技创新研究院申请的专利测试用例自动生成及需求验证方法与介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120011216B 。

龙图腾网通过国家知识产权局官网在2025-12-02发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411876607.6，技术领域涉及：G06F11/3668；该发明授权测试用例自动生成及需求验证方法与介质是由刘宽俊;陶永超;仉嘉岐;潘乐;魏明;王甜甜;于小龙;季艳波;周欢欢;陈智聪;马非易;莫燕君设计研发完成，并于2024-12-19向国家知识产权局提交的专利申请。

本测试用例自动生成及需求验证方法与介质在说明书摘要公布了：本发明提供了一种基于SysML活动图的测试用例自动生成及需求验证方法，包括以下步骤：S1、需求形式化与仿真验证；S2、SysML活动图结构分析；S3、SysML活动图模块化；S4、测试路径生成；S5、测试数据生成；S6、测试用例生成。本发明还提供了一种可读存储介质。本发明的有益效果是：提供了一种基于SysML活动图的测试用例自动生成及需求验证方法与可读存储介质，能够有效填补当前建模软件对于MBT以及需求验证支持上的缺陷，形成自动化程度高，通用型强，能够支持复杂活动图的测试用例生成与优化方法，验证模型的设计能否正确反映用户的需求，提升系统的安全性、可靠性，降低建模与测试成本。

本发明授权测试用例自动生成及需求验证方法与介质在权利要求书中公布了：1.一种基于SysML活动图的测试用例自动生成及需求验证方法，其特征在于，包括以下步骤： S1、需求形式化与仿真验证； S2、SysML活动图结构分析； S3、SysML活动图模块化； S4、测试路径生成； S5、测试数据生成； S6、测试用例生成； 步骤S1包括以下子步骤： S101、将自然语言的需求转化为LTL或CTL语言以消除需求的歧义性，对于自然语言需求文本的形式化工作，引入多个验证者对翻译结果进行交叉验证，通过团队合作和讨论的方式，确保翻译结果的一致性和准确性； S102、设计并开发一个形式化需求解析器生成仿真数据，将形式化语言描述的需求转化为SMT格式的条件约束，将转化后的条件约束输入至自动化求解器，生成仿真测试数据集； S103、通过建模工具的仿真配置以及Matlab脚本读入生成的仿真测试数据集对需求所对应的SysML活动图进行仿真并对仿真结果进行分析，验证SysML模型是否能够有效满足用户需求； 步骤S4包括以下子步骤： S401、按分支级别从高到低顺序对模块化结果branchList中的分支排序，对于模块化结果branchList中的所有分支，如果该分支无子分支，则用基本结构测试路径生成算法生成该分支的测试路径； S402、按照分支级别从高到低顺序，选取属于同一并发结构的分支，用并发结构测试路径生成算法生成该并发结构的测试路径，接着选取该并发结构的父分支，用混合结构测试路径生成算法生成该分支的测试路径； S403、如果所有并发结构的测试路径被生成，则得到完整的SysML活动图测试路径，否则返回步骤S401； 步骤S5包括以下子步骤： S501、通过解析SysML活动图的Pin节点来解析SysML活动图中变量的数据类型和范围； S502、设计基于边界值分析的测试数据生成策略，针对不同类型的变量生成边界值测试数据； S503、设计基于约束求解的测试数据生成策略，应用约束求解器经过计算能够得出满足所有约束的变量集合，得到测试数据； 在步骤S6中，在得到SysML活动图的测试路径集和决定节点数据集后，生成SysML活动图的测试用例，测试数据根据SysML活动图决策节点的监听值生成，测试用例是测试数据和测试路径的组合。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人深圳航天东方红卫星有限公司;深圳航天科技创新研究院，其通讯地址为：518000 广东省深圳市南山区粤海街道高新南九道61号卫星大厦整栋；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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