面向航天器自动化测试的通用测试语言及系统关键技术研究与应用

作为典型的安全苛刻系统，航天器系统的任何隐患都会带来严重的甚至是灾难性的后果，其对可信的需求典型而迫切。航天器系统的可信性主要是通过测试进行评估和验证，通过分析测试获取的测试结果数据可以发现被测航天器系统中潜在的错误和设计缺陷，为评估和验证系统的可信性提供支持。因此，航天器系统的可信性问题具有测试依赖性。随着航天器研制数量和复杂度的增加，以及多航天器批产化并行测试工作模式的出现，原有测试设备和手段在测试难度、测试精度与测试周期上均无法满足当前航天器研制与测试要求，自动化测试成为航天器测试的必然要求和发展趋势。