Static alignment verification method for SysML state machine diagram functional requirements based on large language model

Abstract

The invention discloses a static alignment verification method for SysML state machine diagram functional requirements based on a large language model, and the method comprises the following steps: S1, carrying out the unified representation of a requirement text, and carrying out the system classification of all basic requirements based on the structural similarity of a requirement statement; s2, analyzing the processed demand text based on an LTP large language model; s3, analyzing the SysML graph, and performing system analysis on elements in the SysML graph and the conversion relation of the elements in the SysML graph; and S4, for different sentence patterns and demand types, verifying the consistency of the SysML state machine diagrams and the corresponding demand texts of the SysML state machine diagrams. According to the method disclosed by the invention, not only is the alignment of the demand and the state machine diagram realized through text analysis and graphic element extraction, but also multiple functions of demand text classification, condition screening, bidirectional conversion check and the like are provided, and the accurate verification of the system function demand is ensured.

Images