A model-based automated testing method for spacecraft systems

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

Active Publication Date: 2021-01-26
BEIHANG UNIV
View PDF7 Cites 0 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 platform, or the function and performance of the spacecraft system are model-based tests, not in the system. Formal modeling and automatic verification testing of the overall design and interface design

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
  • A model-based automated testing method for spacecraft systems
  • A model-based automated testing method for spacecraft systems
  • A model-based automated testing method for spacecraft systems

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 spacecraft system automatic testing method, which belongs to the field of system testing; first, a window tree model of the tested spacecraft system is established through a formal method, and the window tree model of the tested spacecraft system is divided according to the business process. Behavior state, build system behavior state transition diagram; then traverse the window tree to generate a test case set, and run it on the digital model of the spacecraft under test and the verification prototype system, set the tracking point, obtain the system behavior state and record the state transition sequence, and finally pass the model The detection algorithm checks whether the obtained behavioral state transition sequence follows the state transition rules, thereby automatically verifying the overall design of the spacecraft system under test and the interface design between modules; Throughout the development cycle of spacecraft systems, formal methods and model checking algorithms are used to improve the quality and accuracy of spacecraft system testing.

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
Patent Type & Authority Patents(China)
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

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap