Supercharge Your Innovation With Domain-Expert AI Agents!

Java automatic formal modeling detection verification method and system

A formal modeling and verification method technology, applied in the field of Java automatic formal modeling detection and verification methods and systems, can solve the problems of high time cost and cost, and achieve the effect of improving the level of automation

Inactive Publication Date: 2021-02-19
浙江望安科技有限公司
View PDF0 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

At present, formal verification and analysis of codes to provide solutions requires a professional formal team to complete, and the time cost and cost will be high

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
  • Java automatic formal modeling detection verification method and system
  • Java automatic formal modeling detection verification method and system
  • Java automatic formal modeling detection verification method and system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] In order to make the purpose, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments It is a part of embodiments of the present invention, but not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.

[0047] Below in conjunction with accompanying drawing, the present invention is described in further detail:

[0048] Such as figure 1 As shown, the present invention provides a kind of Java automatic formal modeling detection verification method, comprises steps:

[0049] S1, import software requirements document and Java source code to Ja...

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 automatic formal modeling detection verification method and system, belongs to the technical field of Internet security, and comprises the steps of importing a software demand document and a Java source code into a Java automatic formal modeling device; enabling the Java automatic formalized modeling device to generate and output a verification code according to the software requirement document and the Java source code; importing the verification code into a Java verification code prover, testing the correctness of the verification code and outputting a test result; importing the test result into a Java verification result analyzer, and matching a suggestion scheme in a model library according to the test result; and carrying out interface display on detailedinformation of the test result. According to the invention, the formalized verification problem of a software system compiled by using Java codes is solved, the bug in the software system is better found, the bug position is quickly found for modification, and safer and more credible software is constructed while the working efficiency is improved.

Description

technical field [0001] The invention relates to the technical field of Internet security, in particular to a Java automatic formal modeling detection verification method and system. Background technique [0002] Today, with the rapid development of science and technology, the application of computers and software programs has penetrated into all walks of life. Software reliability has become an important issue we pay attention to. The reliability of a software program will directly affect the maintenance cost, the number of users, Data leakage, property damage and other issues. [0003] Some bugs in the program are very obscure, and it is difficult to see the problem from the code. But often this kind of bug will cause irreversible and major losses to the enterprise. In order to fundamentally ensure the reliability and security of the software system, many technical computer scientists, including Turing Award winner A. Verification and analysis is an important way to const...

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): G06F11/36
CPCG06F11/3608G06F11/3616
Inventor 赵永望陈卓玲姚历智
Owner 浙江望安科技有限公司
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