A State Machine Testing Method Based on Scenario Matrix
A testing method and state machine technology, applied in attitude control and other directions, can solve problems such as difficulty in screening state machine system errors and unqualified items, finding unfavorable problems, and difficulty in finding state machine transitions, so as to improve the efficiency of verification and testing. Effect
Active Publication Date: 2019-11-15
FLIGHT AUTOMATIC CONTROL RES INST
View PDF10 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
The disadvantages are obvious, it is not conducive to problem finding, especially it is difficult to find out the complex state machine migration, and it is even more difficult to screen out the errors and unqualified items of the state machine system
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 moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Embodiment Construction
[0020] The present invention will be further described in detail below in conjunction with examples, but the embodiments of the present invention are not limited thereto.
[0021] The following uses a state machine to realize the built-in self-inspection (Build In Test) test command receiving function of the flight control system as an example. The user requirements of the build-in-test (Build In Test) test command receiving function of the flight control system are :
[0022] a) After the flight control system is in BIT mode, it waits to receive the flight control computer test command in the initial "BIT test waiting state". If the command number of the test command is received and the test command is legal, the system enters the "BIT test confirmation state";
[0023] b) In the "BIT test confirmation state", it is judged whether the test instruction is forbidden to execute, if the instruction is forbidden to execute, then the system enters the "BIT test forbidden state", ot...
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
Login to View More Abstract
The invention provides a state machine test method based on a scenario matrix. A test system adopted comprises a requirement unit, a key input capture unit, an expected output generation unit, a state analysis unit, an execution rule generation unit, a scenario generator unit, and a test execution unit. The test method comprises the steps of inputting a user requirement, acquiring migration conditions, generating output variables, generating a scenario matrix, generating model pass / fail criteria, completing setup of the scenario matrix, and executing test automatically. According to the invention, a complex state machine structure can be mapped into a clear two-dimensional scenario matrix. A convenient, flexible, clear and efficient automatic test method is provided for the test of a complex state machine. The efficiency of verification and test of a complex state machine can be improved significantly.
Description
technical field [0001] The invention belongs to the field of flight control systems, and in particular relates to a state machine testing method based on a scene matrix. Background technique [0002] In today's field of flight control systems, the development of a large number of complex systems has involved the use of finite state machine development methods, which can solve complex logic problems. While the state machine brings great benefits to the development of the flight control system, what method to use to verify and test the state machine is a difficult problem to solve. Due to the particularity of the development of the state machine, if the code review method of manual code is used, the dynamic inspection process of artificial simulation is carried out. The disadvantages are obvious, and it is not conducive to problem finding, especially it is difficult to find out the complex state machine migration, and it is even more difficult to screen out the errors and unq...
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
Login to View More Patent Type & Authority Patents(China)
IPC IPC(8): G05D1/08
Inventor 李鹏武方方赵亮张丹涛田佳陈晰亮王玮
Owner FLIGHT AUTOMATIC CONTROL RES INST