Bidirectional synchronization and verification method and system of demand and code

By using large language model parsing and bidirectional mapping technology, the problem of ensuring consistency between requirements and code is solved, enabling continuous synchronization and consistency verification between requirements and code, and improving software development efficiency and quality.

CN122331867APending Publication Date: 2026-07-03ASIAINFO TECH CHINA INC
0 Cites 0 Cited by

Patent Information

Application Number
CN202610454886.X
Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
Filing Date
2026-04-08
Publication Date
2026-07-03

AI Technical Summary

Technical Problem

In traditional software development, the independent maintenance of requirements and code makes it difficult to ensure consistency, increases communication costs and project maintenance difficulty, and lacks automated verification methods, resulting in low review efficiency and easy omission of potential software defects.

Method used

The requirement data is hierarchically parsed by a pre-trained large language model to generate a requirement model that conforms to the domain-specific language DSL syntax. A bidirectional mapping relationship is established between the requirement model and the code abstract syntax tree to realize the synchronization and consistency verification of requirements and code, generate conflict reports, and adjust the mapping relationship according to the operation behavior.

Benefits of technology

It enables continuous synchronization between requirements and code, improves development efficiency and quality, automatically detects potential defects and provides early warnings, reduces communication costs and improves software quality.

✦ Generated by Eureka AI based on patent content.
Patent Text Reader

Abstract

The invention discloses a demand and code bidirectional synchronization and verification method and system. The method comprises the following steps: carrying out hierarchical analysis on demand data in a natural language format through a pre-trained large language model; generating a demand model according to a hierarchical analysis result, wherein the demand model conforms to the DSL grammar; establishing a bidirectional mapping relationship between semantic elements of the demand model and AST nodes of codes; according to the bidirectional mapping relationship, when the demand model is changed, marking or updating the corresponding node according to the changed semantic element, or when the code is changed, marking or updating the corresponding semantic element according to the changed node; and performing semantic consistency comparison on the demand logic of the current demand model and the actual logic of the current abstract syntax tree, and generating a conflict report under the condition that the core semantics of the demand logic and the actual logic are inconsistent. According to the method, bidirectional association synchronization and consistency verification of the demand and the code can be realized, and the development efficiency and the development quality are improved.
Need to check novelty before this filing date? Find Prior Art