基于黑盒测试环境的交会对接软件时序分析技术及应用

Timing Sequence Analysis Technique for Black Box Test Environment-Based Rendezvous and Docking Software and Its Application

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.

The rendezvous and docking of spacecrafts is a difficult task,the GNC software is very important for it.The software is complex,the demand for timing sequence is strict,and the software test must be in high level.For the black box test environment-based software,FPGA design method and timing sequence analysis technique are used to obtain timing sequence capture ability,and the fault trigger and data inject method is also improved,this technique is proved to be very useful in the development of the rendezvous and docking software.