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

龙图腾网获悉哈尔滨工业大学申请的专利基于形式化的需求建模及SysML图自动测试验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119806511B 。

龙图腾网通过国家知识产权局官网在2025-11-11发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411861796.X，技术领域涉及：G06F8/35；该发明授权基于形式化的需求建模及SysML图自动测试验证方法是由王甜甜;芦文慧;葛楚妍;仉嘉岐设计研发完成，并于2024-12-17向国家知识产权局提交的专利申请。

本基于形式化的需求建模及SysML图自动测试验证方法在说明书摘要公布了：基于形式化的需求建模及SysML图自动测试验证方法，属于计算机软件开发技术领域。方法如下：需求文本格式转换；生成测试用例表格；对需求文本进行形式化建模；执行测试验证，读取测试用例表格赋值给系统模型变量，系统按内部建模逻辑运行并产生输出，获取输出在对应位置写入测试用例表格；设计测试报告生成工具。本发明提升了测试数据的生成效率与准确性，形成了从需求捕获到验证分析的完整闭环流程，提升了开发的规范性和一致性，实现了测试用例的自动化执行，并通过自动比对模型输出与预期结果的方式完成验证，能够快速适应复杂系统的需求变更与功能扩展。

本发明授权基于形式化的需求建模及SysML图自动测试验证方法在权利要求书中公布了：1.一种基于形式化的需求建模及SysML图自动测试验证方法，其特征在于：所述方法包括如下步骤： S1：需求文本格式转换； S2：设计需求文本处理工具，输入形式化后的需求条目生成测试用例表格； 所述S1包括如下步骤： S101：系统需求条目收集整理； S102：分析需求条目的结构后识别需求条目的关键信息，并自定义需求条目形式化的语法规则； S103：将所有需求条目构成的需求文本手工划分为主语-动词-目标结构，并结合条件语句对需求文本的所有需求条目进行逐条拆解，翻译为形式化文本； S104：将形式化后的条件-结果对存储在数据库中； S3：使用SysML建模语言对需求文本进行形式化建模； 所述S3包括如下步骤： S301：通过SysML绘制模块定义图，明确系统结构，添加被测系统模块和控制测试模块，定义模块内部属性及其初始值，并添加模块之间泛化关系； S302：根据系统需求在被测系统模块下添加SysML图形创建系统模型； S303：为控制测试模块分需求创建活动图，完成自动化测试验证； S304：使用用户界面建模图创建图形用户界面，可视化系统值属性变化；为增强系统的可视化和交互能力，设计用户界面建模图； S305：创建仿真配置图，绑定UI界面和执行目标，自定义模型执行； S4：执行测试验证，读取测试用例表格赋值给系统模型变量，系统按内部建模逻辑运行并产生输出，获取输出在对应位置写入测试用例表格； 所述S4包括如下步骤： S401：测试用例的加载：测试用例表格作为输入文件被读取，表中的输入列数据逐行提取并赋值给系统模型中的对应变量，所述变量驱动模型按内部建模逻辑运行； S402：系统模型的运行：系统根据已建的活动图或状态图执行操作，完成需求对应的行为； S403：输出结果的记录：运行结束后，系统生成输出结果，输出结果被自动记录在测试用例表格的模型输出列中，形成完整的输入-输出对； S404：通过将模型输出与表格中的预期输出列进行比对，判断需求验证是否通过，最终实现对系统模型的全面测试与验证； S5：设计测试报告生成工具，将需求条目和测试用例表格输入测试报告生成工具进行分析验证并生成测试报告。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人哈尔滨工业大学，其通讯地址为：150001 黑龙江省哈尔滨市南岗区西大直街92号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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