A Design and Verification Method of Frontend System Based on Model Checking

Abstract

The invention proposes a front-end system design and verification method based on model detection, which belongs to the field of system design and verification of model detection. The invention comprises: the model generation module establishes an interface model according to the design requirements of the foreground system, and generates a state transition diagram; the test case generation module traverses the interface model, and automatically batch-generates a test case set for the foreground system test; the interface model automaton centralizes the test cases For each detection use case, trigger the menu or menu item on the interface to call the corresponding api to go to the next interface, and obtain the state table and state transition table of the detection use case; the state transition automaton will detect the state of the use case and the state transition rules , compared with the statute to verify the correctness, when the verification fails, output the position where the verification fails. The invention realizes the verification of the design and development of the foreground system at the initial stage of the project, reduces the maintenance cost of the later project, and improves the design quality and development efficiency of the foreground system.

Description

technical field [0001] The invention belongs to the field of system design and verification of model detection, in particular to a method for verifying the correctness of front-end system design and behavior based on an interface window tree model. Background technique [0002] In the process of modern software development, the foreground system is becoming more and more important as the application system that directly interacts with the user and the interface with the user. The design and development of the foreground system has also become an important factor in the development and design of the application system. As the system functions become more and more powerful, the components contained in the system interface and the mutual inclusion and jump relationship between the system interfaces become more and more complex. Once a problem occurs in the system, relying on manual tracking and troubleshooting will consume high labor costs. Obviously not feasible. Although the...

AI Technical Summary

Problems solved by technology

[0010] The present invention aims at the problems of high modeling difficulty, complex verification process, low test efficiency and high error rate caused by human operation in the manual verification process in complex front-end system design, and proposes a front-end system design and verification method based on model detection

Images