Method and device for generating satellite-borne software test case

Abstract

The invention discloses a satellite-borne software test case generation method and device. The method comprises the steps: building a state machine model according to preset satellite-borne software demand information, and enabling the state machine model to employ a state machine graph to describe a state primitive and a transfer primitive of a function in a software system; converting the statemachine model into a directed graph, determining all path sets in the directed graph, and determining an executable path set from all path sets according to a preset path constraint condition; and determining an executable test path set from the executable path set according to a preset test case coverage strategy, and automatically generating a test case set according to the executable test pathset. According to the invention, the quality of the generated test case is improved.

Description

technical field [0001] The present application relates to the technical field of testing, in particular to a method and device for generating test cases for on-board software. Background technique [0002] Due to the advantages of small kernel, simplified system and strong real-time performance of embedded software system, embedded software system is very suitable for special occasions with multi-tasking operating system, limited spaceborne system resources and strong specialization. Widely used in aerospace field. With the rapid development of aerospace technology, embedded software can realize functions such as equipment operation, monitoring, or automatic management. Once errors or failures occur in aerospace-related software, it will cause very serious consequences and even cause major losses. Therefore, for aerospace The correctness, reliability, and security of domain-related software have very strict requirements. In order to ensure the correctness, reliability and ...

AI Technical Summary

Problems solved by technology

[0004] The technical problem solved by this application is: aiming at the poor quality of the test cases generated by the prior art, this application provides a method and device for generating test cases of satellite-borne software. In the scheme provided by the embodiment of this application , on the one hand, by using the state machine diagram to describe the state primitives and transition primitives of the functions in the software system, that is, using a semi-formal language to describe the state primitives and transition primitives of the functions in the software system, avoiding the traditional natural Irregularity and ambiguity of language description, poor readability of requirements and difficult maintenance, etc., can clearly and accurately express the complex behavior logic of software systems; on the other hand, converting the state machine model into a directed graph and determining the Set all the paths in the graph, and determine the executable path set from all the path sets according to the preset path constraints, and then determine the executable test path set from the executable path set according to the preset test case coverage strategy, And automatically generate a test case set according to the executable test path set, not only can select the executable path set according to the set path constraints, to ensure the sufficiency and completeness of the test, but also automatically generate test cases according to the executable test path set set, which reduces the dependence on the tester's use case design ability, thereby improving the quality of the generated test cases

Images