4 results about "Program specification" patented technology

A system and method for generating structured software application specifications through multi-phase conversational dialogue is disclosed. The system implements multiple specialized AI agents including a framework generation agent, an interactive coaching agent, specialized capsule agents for analyzing different concern categories, and a specification coaching agent. During Phase 1, the system conducts exploratory dialogue using a tailored question framework while detecting and storing user concerns in structured capsule entries. Concern injection into the dialogue is strategically timed based on algorithmic evaluation of cooldown periods and user sentiment analysis. During Phase 2, the system conducts comprehensive concern resolution dialogue and generates a final specification in structured JSON format with explicit traceability linking requirements to source conversations and concern resolutions. The system solves technical problems of preserving concern context across conversation phases, optimizing injection timing to avoid overwhelming users, and generating machine-readable specifications suitable for automated downstream processing.

The application provides an artificial intelligence-based automatic testing method and device, electronic equipment and storage medium. The artificial intelligence-based automatic testing method comprises the following steps: constructing a data system to be tested on a test platform according to a preset document, wherein the preset document comprises a scheduling document and a deployment document; obtaining a structure specification index by comparing the deployment document and the directory structure of the data system to be tested; constructing a program specification index based on the scheduling document and the data system; calculating the confidence of the structure specification index and the program specification index to obtain the data system specification index; and evaluating the data system to be tested based on the data system specification index to obtain a test result. The method can calculate the structure specification and the program specification of the data system respectively, and calculate the specification index of the data system according to the confidence of the structure specification and the program specification, thereby improving the accuracy of the data system test result.

The invention relates to a full-automatic code programming method and system based on a large model. The full-automatic code programming method comprises the steps that 1, multi-modal requirements are collected, analyzed and expressed in a standardized mode; 2, automatically arranging a development environment; step 3, code candidate generation and quality inspection; 4, compiling / constructing and automatically executing; 5, performing structured evaluation and success judgment; 6, closed-loop error correction and self-optimization control are carried out; and 7, safety and compliance control. The method supports fusion analysis of texts, voices, images and videos, and automatically extracts program specifications and acceptance criteria. According to the method, automatic generation, compiling, execution, evaluation and error correction are achieved, and manual log interpretation and prompt word rewriting are not needed.

The application provides a network mode configuration system and method for multi-mode network element equipment. The system comprises: a program specification compiling module, which is used for providing a language specification and compiling and analyzing an input data plane function verification program by using the language specification; a program function verification module, which is used for decomposing a data plane function program to be verified into a single-mode function program, a data flow matching table item and a multi-mode coexistence mapping relationship, coding the three decomposed programs, and generating a multi-mode program function verification condition according to a compiling and analyzing result of the program specification compiling module and a coding result of the program function verification module; and a program fault locating module, which is used for solving the multi-mode program function verification condition generated by the program function verification module in a simulation environment to verify the function integrity and correctness of the data plane function program, and locating defects and faults existing in each mode function program.