论文部分内容阅读
研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析，建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论，建立了航天器测试过程的基本模型。提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL)，给出了SAIL应用示例，较好地解决了航天器自动化测试中的相关问题。SATL成功应用于“神舟”飞船及多颗卫星各阶段测试。实际应用表明，SATL具有较强的工程实用性。