Method and device for generating satellite-borne software test case

A technology of software testing and test case collection, applied in the field of testing, can solve problems such as poor quality of test cases, achieve the effects of improving quality, reducing dependence, and ensuring sufficiency and completeness

What is AI technical title?
AI technical title is built by PatSnap AI team. It summarizes the technical point description of the patent document.
A technology of software testing and test case collection, applied in the field of testing, can solve problems such as poor quality of test cases, achieve the effects of improving quality, reducing dependence, and ensuring sufficiency and completeness

CN112015639APending Publication Date: 2020-12-01北京轩宇信息技术有限公司

0 Cites 12 Cited by

Image

Smart Image Click on the blue labels to locate them in the text.

Viewing Examples

Smart Image

Examples

Experimental program

Comparison scheme

Effect test

Embodiment Construction

[0081] In the solutions provided by the embodiments of the present application, the described embodiments are only some of the embodiments of the present application, not all of the embodiments. Based on the embodiments in this application, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the scope of protection of this application.

[0082] Below in conjunction with accompanying drawing, the generation method of a kind of on-board software test case provided by the embodiment of the present application is described in further detail, the specific implementation of the method may include the following steps (method flow is as follows: figure 1 shown):

[0083] In step 101, a state machine model is established according to preset on-board software requirement information, wherein the state machine model refers to a state graph element and a transition graph element describing functions in a software system using a ...

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 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 ...

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

01 Dec 2020

Publication

CN112015639A

IPC: G06F11/36

CPC: G06F11/3684

Inventors: 黄晨; 江云松