Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

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

Pending Publication Date: 2020-12-01
北京轩宇信息技术有限公司
View PDF0 Cites 12 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and device for generating satellite-borne software test case
  • Method and device for generating satellite-borne software test case
  • Method and device for generating satellite-borne software test case

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

No 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
no application Login to View More
Patent Type & Authority Applications(China)
IPC IPC(8): G06F11/36
CPCG06F11/3684
Inventor 黄晨江云松于倩左万娟冯涛陈华南房振军王松松徐逸群魏鹏虞砺琨郭华王小丽
Owner 北京轩宇信息技术有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products