Supercharge Your Innovation With Domain-Expert AI Agents!

Automatic verification method and system oriented to Java prototype system

An automatic verification and prototyping system technology, applied in the software field, can solve problems such as the lack of automatic generation, simplified operation, etc., to simplify the software update and improvement process, improve verification efficiency and accuracy, and save labor and material costs. Effect

Pending Publication Date: 2022-06-24
BEIHANG UNIV +1
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

These simplifications have their own specificity, but simplifications for specific function bodies, such as: modifying data types, deleting unnecessary variables, modifying if statements, simplifying for statements and other simplified operations cannot be realized
At the same time, the contracts required for the verification process are implemented manually when needed, and there is no automatic generation function at present.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Automatic verification method and system oriented to Java prototype system
  • Automatic verification method and system oriented to Java prototype system
  • Automatic verification method and system oriented to Java prototype system

Examples

Experimental program
Comparison scheme
Effect test

no. 1 example

[0047] like figure 2 As shown, the first embodiment of the present invention specifically includes the following steps:

[0048] S101. Generate a prototype Java program from the requirement model;

[0049]This step is to automatically generate a prototype Java program from the requirement model through the RM2PT tool;

[0050] S102, simplifying the prototype Java program to obtain a simplified version prototype Java program;

[0051] In this embodiment, an abstract syntax tree and corresponding simplification rules are used to simplify the prototype Java program to obtain the simplified version prototype Java program. Abstract Syntax Tree, AST (Abstract Syntax Tree) for short, or Syntax tree for short, is an abstract representation of the grammatical structure of source code. It represents the syntax structure of the programming language in the form of a tree, and each node on the tree represents a structure in the source code.

[0052] When implemented, such as image 3...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a Java prototype system-oriented automatic verification method and system. The method comprises the following steps of: generating a prototype Java program by a demand model; the prototype Java program is simplified, and a simplified prototype Java program is obtained; adding a JML precondition and a JML precondition in the simplified prototype Java program to obtain a prototype Java program based on the JML; and the prototype Java program based on the JML is verified. Based on the prototype Java system generated by the demand model, each class and each method of the prototype Java system can be simplified through the theory and technology of the abstract syntax tree, the verification efficiency and accuracy can be effectively improved, the manpower and material resource cost is saved, and the software updating and perfecting process is more simplified.

Description

technical field [0001] The invention relates to the technical field of software, in particular to an automatic verification method and system for a Java prototype system. Background technique [0002] Software technology needs to be constantly updated and improved, so the code will become more and more complex in the process of improving the software, and the time cost and money cost of maintaining the software will continue to increase. In this process, program verification can predict errors that may occur in advance, which will save a lot of manpower and material costs, and simplify the software update and improvement process. However, the currently available methods or tools for program verification can only verify some program fragments or some programs with relatively simple logic, and cannot verify the Java programs or slightly complicated Java programs similar to the prototype system generated by the requirement model. In the process of program verification, simplif...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F8/41G06F8/72G06F8/30G06F8/35G06F8/65
CPCG06F8/427G06F8/72G06F8/315G06F8/43G06F8/65G06F8/35
Inventor 杨溢龙冯劲草郑寒月
Owner BEIHANG UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com