State diagram-based coding verification method

Abstract

The invention relates to a state diagram-based coding verification method. The method comprises the following steps: 1) describing a target software requirement by using an ArgoUML state diagram, and carrying out requirement analysis; 2) taking a file output by ArgoUML as an extraction object to extract a state diagram description file; 3) analyzing the state diagram description file so as to obtain a node state, migration information and a state attribute of the state diagram; 4) converting the ArgoUML state diagram into a target MuSMV code according to the obtained node state, migration information and state attribute of the state diagram; 5) automatically extracting an inspection property and providing the inspection property to users in an interaction manner for secondary edition; and 6) calling an NuSMV inspector to execute inspection, returning whether the inspection property is satisfied or not, and if the inspection property is not satisfied, giving an error position point and displaying a route sequence. Compared with the prior art, the method disclosed in the invention can be used for carrying out modeling aiming at the software requirement and realizing automatic inspection, and enabling the design analysts to not consider how to compile complicated NuSMV programs any more, wherein the conversion is realized automatically.

Description

technical field [0001] The invention relates to the field of software detection, in particular to a coding verification method based on a state diagram. Background technique [0002] Computer software has become an information infrastructure that penetrates into various fields of national economy, national defense construction and personal life, such as telecommunication systems, industrial control, nuclear power plants, aerospace systems, online banking, e-commerce, etc. However, due to the lack of current software development technology, the quality of software is unsatisfactory, and software failures and security attacks occur from time to time, which adversely affect people's work and life, and even endanger the safety of people, property and the environment, resulting in disastrous consequences. [0003] The field of software development urgently needs the support of verification technology. The requirements analysis of the problem domain is often completed by the req...

AI Technical Summary

Problems solved by technology

The requirement analysis of the problem domain is often completed by requirement analysts with the help of various UML model diagrams, but few analysis designers know how to write complex verification programs

In contrast, formal verification personnel are concerned about how to write a programming language suitable for computer computing, and rarely have professional requirements analysis experience

Images