基于大语言模型的SysML状态机图功能性需求的静态对齐验证方法

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