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

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

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

本基于SysML状态机图的测试用例自动生成方法与介质在说明书摘要公布了：本发明提供了一种基于SysML状态机图的测试用例自动生成方法，包括以下步骤：S1、SysML状态机图解析；S2、模型转换，将SysML状态机图转换为便于分析的中间模型；S3、测试路径生成；S4、测试数据及测试用例生成；S5、测试文档生成。本发明还提供了一种可读存储介质。本发明的有益效果是：提供了一种基于SysML状态机图的测试用例自动生成方法，尽可能地在开发早期发现潜在的问题、提高测试的效率、降低测试的时间和成本、更好地满足测试的充分性要求。

本发明授权基于SysML状态机图的测试用例自动生成方法与介质在权利要求书中公布了：1.一种基于SysML状态机图的测试用例自动生成方法，其特征在于，包括以下步骤： S1、SysML状态机图解析； S2、模型转换，将SysML状态机图转换为便于分析的中间模型； S3、测试路径生成； S4、测试数据及测试用例生成； S5、测试文档生成； 在步骤S3中，采用AT算法生成测试路径，包括以下步骤： S301、构造一个List对象testCases来存储所有已生成的测试路径， testCases中每一个String表示当前生成的一条测试路径； S302、构造一个String对象subCase来存储当前正在生成的测试路径； S303、构造一个Solver对象solver用来存储当前正在生成的测试路径上遇到的约束； S304、将初始状态q0的姓名添加到subCase中并设置为visited，然后将初始状态q0视为当前状态qi； S305、遍历δ，寻找qi延伸出的所有变迁δi，对于每一个变迁δi,首先将它的触发条件Σi添加到solver中，然后再对它的终点状态qi+1进行判断，如果终点状态qi+1在终止状态集F中或qi+1是visited，则将subCase存入testCases中，之后再从subCase中移出qi+1，并从solver中移除Σi；否则，将qi+1存入subCase中并设置为visited，然后将qi+1视为qi执行步骤S304，结束以后再从subCase中移出qi并设置为unvisited,最后从solver中移除Σi； 在步骤S4中，采用约束求解的方法来生成测试数据，包括以下步骤： S401、根据SysML状态机图所绑定的模块定义图BDD读取状态机图中使用的变量，将约束条件划分为谓词表达式PredicateExpression和基本表达式SmtExpression，SimpleExpression用来表示一个不包含任何运算符的字符串； S402、将约束条件转换为SMTLIB表达式，SMTLIB表达式包括声明变量、定义函数和添加约束，能够描述各种复杂的约束问题，SMTLIB表达式由两部分组成，分别是变量定义和约束定义； S403、使用约束求解器Z3对测试路径集上的约束进行求解，同时采用SMTLIB表达式与约束求解器Z3进行交互，将SMTLIB表达式添加到约束求解器Z3的求解器solver中得到测试数据，组合对应的测试路径形成测试用例； 在步骤S5中，设置预定义的文档模板，将生成的测试用例作为参数构造一个测试文档文件，之后将该测试文档文件作为参数，调用poi-tl库的接口，得到相应的测试文档。

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

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