Model-based spacecraft controller software test case automatic generation method
A software testing and automatic generation technology, applied in software testing/debugging, design optimization/simulation, etc., can solve the lack of a unified description method for multi-domain and multi-objective testing requirements, the inability to guarantee test scenarios, and the lack of test case space for generating test values. distribution, etc.
Pending Publication Date: 2022-04-12
BEIHANG UNIV +1
View PDF0 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0006] The ground tests of space vehicles are mostly carried out in a simulated space environment. At present, there are two problems in the functional testing of space vehicle software: 1) Manual design of test scenarios relying on the understanding of requirements documents, lack of multi-field and multi-objective design The unified description of test requirements cannot generate independent test scenarios; 2) The design of test scenarios is completely dependent on the experience of testers, and it cannot be guaranteed that the designed test scenarios can effectively cover all the requirements of autonomous functions
Secondly, in the current model-based testing method, it aims to generate the path required by the test system to fully cover the state or transition of the system, and does not generate specific test values and consider the space of the generated specific test cases. Distribution
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
[0033] Below in conjunction with accompanying drawing, the present invention is described further. first combined with figure 1 , to illustrate the overall framework of the test case automatic generation in the present invention.
[0034] The invention proposes a method for automatically generating test cases of space vehicle software based on models. The method includes a modeling method for spacecraft software testing requirements and a testing framework for generating test cases from the model. The frame diagram of the automatic generation of the overall spacecraft software test cases is as follows: figure 1 shown.
[0035] In practical applications, the functional testing of spacecraft controller software is usually highly dependent on the experience of testers, and different testers may have different understandings of test requirements. The invention provides a set of standard requirement modeling methods and a framework for automatically generating test cases from t...
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 discloses a model-based spacecraft controller software test case automatic generation method, which comprises the following steps: 1) carrying out formalized modeling on a spacecraft test demand, and carrying out modeling on the state of a spacecraft in the test demand and conversion thereof by using a UML state diagram to obtain a standard model; 2) preprocessing the standard model, and converting test information contained in the state diagram into a directed graph for storage; 3) test paths under different coverage criteria can be obtained through the directed graph; and 4) dividing system input and output for each test path, and carrying out equivalence class division on the input space of the path. And 5) performing assignment operation on each equivalence class to obtain a sequence of specific test cases on the logic sequence. According to the method, the defect that spacecraft software requirements are lack of a unified description mode is overcome; the defect that the design of the test scene completely depends on the experience of testers in the current test process and cannot ensure that the designed test scene effectively covers all the requirements of autonomous functions is overcome.
Description
technical field [0001] The invention belongs to the technical field of software testing, and is a method for automatically generating test cases aimed at functional testing of spacecraft controller software. Background technique [0002] The goal of software testing technology is to verify whether the software meets the requirements, and it develops gradually along with the development of software and hardware. Software testing is an indispensable link in software development by executing test cases, discovering software faults and repairing defects before the software is officially put into use. [0003] For software in safety-critical areas, more attention should be paid to software testing, such as the controller software on the spacecraft. Whether the controller software runs correctly directly determines whether the spacecraft can complete its main tasks, and may even be related to the life safety of astronauts. Such software must be fully tested before use to minimize...
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 & AuthorityApplications(China)
IPC IPC(8): G06F11/36G06F30/20
Inventor殷蓓蓓田野张雷郑征孙波李志栋
OwnerBEIHANG UNIV