Complex interface time sequence-based software system test verification method

A technology of software system and test verification, which is applied in software system test and aerospace field, can solve problems such as inability to cover system detail logic, complex interface timing, and system robustness, so as to shorten the test cycle and clear the interface test coverage Optimize and optimize the effect of system design

Active Publication Date: 2018-05-01
BEIJING LINJIN SPACE AIRCRAFT SYST ENG INST +1
View PDF4 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0002] With the continuous upgrading of computer software and hardware technology, the constraints on volume, weight and power consumption of spacecraft systems are becoming more and more strict, and the degree of integration, miniaturization and intelligence is getting higher and higher, and its interface timing tends to be complicated. , which poses a major challenge to software system testing and verification
For the complex interface timing test, the traditional method is mostly system function test, that is, according to the established operating procedures, the input and output of the device are manually operated to judge whether it is consistent with the expected result, which usually leads to the failure of the system detail logic to be covered. Reproduce abnormal phenomena, data disorder, and even external interference. This approach only meets the basic functional requirements of the conventional system, and may easily lead to insufficient system robustness.

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
  • Complex interface time sequence-based software system test verification method
  • Complex interface time sequence-based software system test verification method
  • Complex interface time sequence-based software system test verification method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0035] The present invention overcomes the deficiencies of the prior art, and provides a software system testing and verification method based on complex interface timing, by adopting the property analysis of things and the list matrix combination analysis method, analyzing, testing, and verifying the software containing complex interface timing from a multi-dimensional perspective system, improve the operating efficiency and reliability, safety, and robustness of the spacecraft software system, and lay the foundation for the stable and reliable operation of the spacecraft.

[0036] like figure 1 Shown is a block diagram of the software system test verification process based on complex interface timing. The test verification process consists of four parts: interface timing attribute analysis, use case generation, iterative optimization, and interface timing test verification. Among them, the interface attribute analysis part is composed of three parts: system interface timing ...

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 complex interface time sequence-based software system test verification method. The method comprises the following steps of: firstly carrying out interface attribute analysison a software system; generating a software system test verification case according to the interface attribute analysis result; carrying out feedback, iteration and optimization on the software system test verification case; and finally carrying out interface time sequence test verification by using the obtained software system test verification case. The complex interface time sequence-based software system test verification method is constructed by combining development engineering practice of spacecraft systems; and being compared with the prior art, the method is capable of effectively shortening the complex interface time sequence test period, reducing the test cost and improving the coverage and robustness of complex interface time sequence test, and has an important engineering practical meaning.

Description

technical field [0001] The invention relates to the fields of aerospace and software system testing, in particular to a software system testing verification method based on complex interface timing. Background technique [0002] With the continuous upgrading of computer software and hardware technology, the constraints on volume, weight and power consumption of spacecraft systems are becoming more and more strict, and the degree of integration, miniaturization and intelligence is getting higher and higher, and its interface timing tends to be complicated This poses a major challenge to software system testing and verification. For the complex interface timing test, the traditional method is mostly system function test, that is, according to the established operating procedures, the input and output of the device are manually operated to judge whether it is consistent with the expected result, which usually leads to the failure of the system detail logic to be covered. To re...

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/3604G06F11/3684
Inventor 毛强窦小明吴晓蕊杨飞薛凯金娜陈超底亚峰顾天祺赵媛心尹琼高鹏魏柯
Owner BEIJING LINJIN SPACE AIRCRAFT SYST ENG INST
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
Try Eureka
PatSnap group products