11 results about "Program specification" patented technology

A system for translating source code in a first programming language to a target language is provided. The system is configured to receive source code for converting to target code; determine an abstract syntax tree from the source code; determine program specifications from the source code; determine a dependency graph from the source code; determine a plurality of chunks based at least in part on the abstract syntax tree, the program specifications, and the dependency graph; determine a plurality of converted chunks based at least in part on the plurality of chunks and a deep learning model, the deep learning model converting the plurality of chunks from the language of the source code to the language of the target code; post-process the plurality of converted chunks to obtain intermediate code; and provide the intermediate code as the target code.

To provide a specification document verification method capable of performing program verification with high accuracy and low load, while suppressing unnecessary warnings.SOLUTION: A computer executes a syntax analysis process that parses specification document data to generate hint data, which is data in the specification document that cannot be handled in a conversion process and is used in verification processing of a design check process, and semi-structured text group data that can be handled in the conversion process; a conversion process for converting the semi-structured text group data into abstract syntax tree group data; and a design check process that performs verification processing of the specification document data based on the abstract syntax tree group data and the hint data.SELECTED DRAWING: Figure 1

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 embodiment of the invention provides a code checking method and device, electronic equipment and a storage medium, and relates to the technical field of artificial intelligence application, and the method comprises the steps: obtaining a code file and a project document, and carrying out the content extraction of the project document through a literary and physical agent, the method comprises the steps of obtaining function requirement information and programming specification requirements for a code file, conducting code analysis on the code file through a programming agent according to the function requirement information and the programming specification requirements, extracting a first code block needing to be modified from the code file, and outputting a code suggestion for the first code block, the code suggestions are evaluated through the review intelligent agent and the literary and sports intelligent agent, the evaluation result for the code suggestions is obtained, and the review report file corresponding to the evaluation result is output, so that the comprehensiveness and accuracy of inspection are improved, the inspection efficiency is effectively improved, developers can visually and effectively learn based on the review report file, and the development efficiency is improved. And the programming capability is improved.

To avoid complication of a program at a migration destination when migrating a system to another environment.SOLUTION: A migration support device is provided, comprising: an acquisition unit configured to acquire first program information constructing a first system, or a migration source; and a generation unit configured to input the first program information to generative AI to acquire an algorithm for deriving output from input in the first system from the generative AI, and generate the specifications of a program for constructing a second system, or a migration destination, on the basis of the acquired algorithm.SELECTED DRAWING: Figure 1

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.

The invention relates to the technical field of chip verification, and provides a to-be-tested design verification method, device, equipment and medium, and the method comprises the steps: determining a target execution function from at least two execution functions in a verification environment based on management logic and arbitration logic in a C language direct programming interface (DPI)-C processor model; based on the target execution function, calling a homonymy function execution program corresponding to the target execution function from a program library; and verifying the to-be-tested design based on the homonymous function execution program. According to the method, the DPI-C processor model is used for replacing a real processor, the execution program is directly called according to the management logic and the arbitration logic of the DPI-C processor model, verification of the to-be-tested design is achieved, the situation that according to the specification of the execution program of the processor, the simulation speed is increased, and the iteration verification efficiency is improved is avoided.

The invention relates to a computer-implemented method for determining ambiguity in a program specification, in particular for checking vulnerabilities and / or errors in a program specification, said method comprising the following steps: a) receiving a predetermined program specification; b) executing a code generation phase in which a plurality of program code versions are generated for a predefined program specification by means of at least one code generator, such that a first implementation version and at least one further implementation version are generated; c) performing a test phase in which the resulting implementation version of the predefined program specification is differentially tested by means of a test module, in particular by means of an obfuscator, in order to detect one or more difference characteristics in the execution behavior of the resulting implementation version.

A computer-implemented method for identifying ambiguities in a program specification, in particular for checking the program specification for weaknesses and / or errors, is proposed, the method comprising the following steps: a) Receiving a given program specification; b) Performing a code generation phase, using at least one code generator to generate multiple program code versions for the given program specification, so that a first implementation version and at least one further implementation version are produced; c) Conducting a test phase, in which the generated implementation versions of the given program specification are subjected to differential testing using a test module, in particular a fuzzer, in order to detect one or more differences in the execution behavior of the generated implementation versions.