Method for automatically synthesizing commonly-used cyclic abstracts and generating program specifications
A summary and specification technology, which is applied in the field of automatically synthesizing the summary of common loops and generating program specifications, can solve the problems of limited templates, limited constraint solving, and poor adaptability, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0017] The present invention will be further described below in conjunction with the embodiments and the drawings of the specification.
[0018] figure 1 It is a flowchart of the method of automatically synthesizing the summary of common loops and generating program specifications. This embodiment provides a method for automatically synthesizing the summary of common loops and generating program specifications. It includes the following steps: 1. Generate an abstract syntax tree for the program to be verified; 2. Analyze the memory modified by the abstract syntax tree to generate a sentence and generate a summary of the sentence; 3. Generate a sentence protocol based on the summary of the sentence; 4. Verify steps The correctness of the statute generated in 3 thus proves the nature of the program.
[0019] This example passes figure 2 The cycle program shown in is an example for detailed description.
[0020] 1. Generate abstract syntax tree
[0021] In specific implementation, the...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com