| The reliability and robustness of spacecraft embedded software have the directbearing on the safety of spacecraft. So it is especially important that how to debug andverify for embedded software fully and highly effective. This paper introduces howto design and develop a set of basic and general test simulation platform, so as to solvethe low efficiency problem of debugging and verifying embedded software in the fieldof aerospace. The platform contains in functions such as visual static and dynamicmodeling, closed-loop test, fault injection, test code generation and online monitoring.This paper mainly involves the closed-loop test and fault injection parts.At first, according to the requirements of the aerospace embedded software testing,this paper carries on the overall analysis to the platform. Then it presents a based onmodel driven approach of modeling, generating and running the test code and onlinemonitoring according to the software and hardware architecture of the platform.Finally the design and implementation of closed-loop test and fault injection arediscussed. For the closed-loop test, this paper expounds the key content such as how toconfigure the model machine, how to realize the abstract interface on real-time machine,how to organize variables on management machines through reflective memory networktechnology. The layering thought of development is adopted for the hardware faultinjection of1553B bus. In the underlying this paper designs fault buffer list andinterface functions for the application layer while in the application layer managementof fault library and code generation process are implemented.Through the actual test cases, this article verifies the correctness and reliability forthe functions of closed-loop test and fault injection. The contents of the research in thepaper perfectly satisfy the relevant requirement for the integrating platform, thusensuring the quality of the aerospace embedded software. |
