公开(公告)号：CN119806511A

公开(公告)日：2025-04-11

申请号：CN202411861796.X

申请日：2024-12-17

Applicant: 哈尔滨工业大学

Inventor： 王甜甜 ,  芦文慧 ,  葛楚妍 ,  仉嘉岐

IPC: G06F8/35 ,  G06F8/10 ,  G06F11/3604 ,  G06F11/3668

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

公开(公告)号：CN119377088A

公开(公告)日：2025-01-28

申请号：CN202411502946.8

申请日：2024-10-25

Applicant: 哈尔滨工业大学

Inventor： 葛楚妍 ,  王甜甜 ,  杨小天 ,  芦文慧 ,  仉嘉岐

IPC: G06F11/3604 ,  G06F8/10 ,  G06F40/205 ,  G06F40/211 ,  G06F40/226

Abstract: 本发明公开了一种基于大语言模型的SysML状态机图功能性需求的静态对齐验证方法，所述方法包括如下步骤：步骤S1：对需求文本进行统一化表示，基于需求语句在结构上的相似性，对所有基础需求进行系统分类；步骤S2：基于LTP大语言模型对已经处理好的需求文本进行解析；步骤S3：解析SysML图，对SysML图中元素及其转换关系进行系统分析；步骤S4：针对不同句型和需求类型，验证SysML状态机图与其对应需求文本的一致性。本发明的方法不仅通过文本解析和图形元素提取实现了需求与状态机图的对齐，还提供了对需求文本分类、条件筛选和双向转换检查等多种功能，确保了系统功能需求的准确验证。