Model-based automated test method for spacecraft system

An automated testing and spacecraft technology, applied in software testing/debugging, instrumentation, error detection/correction, etc., can solve problems such as no modeling, automatic verification testing, etc.

Active Publication Date: 2017-08-18
BEIHANG UNIV
View PDF7 Cites 22 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, most of the research focuses on the development of the software simulation test system and environment, and the test is only carried out on the virtual instrument or virtual test platfor

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
  • Model-based automated test method for spacecraft system
  • Model-based automated test method for spacecraft system
  • Model-based automated test method for spacecraft system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0135] The steps of model-based testing for the satellite-to-ground telemetry data collection and delivery business of the spacecraft system under test are as follows:

[0136] In the first step, for the spacecraft under test in this embodiment, according to the overall design scheme of the spacecraft system under test, a downlink window tree model is constructed for satellite-to-ground telemetry data collection and delivery services.

[0137] First, the business process of satellite-to-ground telemetry data collection and delivery is as follows:

[0138] (a) The remote unit A, remote unit B, remote unit C, and remote unit D of the digital tube subsystem actively collect the telemetry data of each subsystem and adjacent remote units at a certain time interval (according to types and ports) ), sent to the number tube computer through 1553B.

[0139] (b) After receiving all the data from the remote units A, B, C and D, the digital tube computer encapsulates them and transmits 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

No PUM Login to view more

Abstract

The invention discloses a model-based automated test method for a spacecraft system and belongs to the field of system testing. The method comprises the steps of firstly building a window tree model of a tested spacecraft system through a formalization method, classifying behavior states of the tested spacecraft system during operation according to business processes, and constructing a system behavior state transition diagram; secondly traversing a window tree to generate a test case set, running the test case set in a tested spacecraft digital model and validation prototype system, setting tracking points, obtaining system behavior states and recording a state transition sequence; and finally checking whether the obtained state transition sequence obeys a state transition rule or not through a model detection algorithm, thereby automatically validating overall design of the tested spacecraft system and interface design among modules. According to the method, the test cost of the spacecraft system and the whole research and development cycle of the spacecraft system are reduced and shortened by adopting a model-based test technology; and the quality and accuracy of spacecraft system testing are improved by adopting the formalization method and the model detection algorithm.

Description

technical field [0001] The invention belongs to the field of system testing, in particular to a model-based automatic testing method for spacecraft systems. Background technique [0002] The spacecraft system is a complex system consisting of many subsystems such as control subsystem, measurement and control subsystem, power supply subsystem, and navigation subsystem. The development process of a spacecraft system is a multidisciplinary and extremely complex process. In actual development, the spacecraft system is distributed to many different manufacturers for development, and then different modules and subsystems are integrated together to form the entire spacecraft system. The testing process is also to test each module and subsystem separately and then integrate them together. Overall testing, among them, the interface testing after integration is very important, and the system testing tasks after integration are heavy, currently mainly rely on manual testing to complet...

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
IPC IPC(8): G06F11/36
CPCG06F11/3684
Inventor 刘艳芳刘一帆吕江花李乃海乌尼日其其格张海祥马世龙
Owner BEIHANG UNIV
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