航天器自动化测试建模及自动化测试语言设计
研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析，建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论，建立了航天器测试过程的基本模型。提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL)，给出了SAIL应用示例，较好地解决了航天器自动化测试中的相关问题。SATL成功应用于“神舟”飞船及多颗卫星各阶段测试。实际应用表明，SATL具有较强的工程实用性。
航天器 知识表示 自动化测试 电性能测试 有向图理论
朱维宝 王劲榕 李砥擎
中国空间技术研究院 总体部，北京 100094
国内会议
桂林
中文
118-121
2009-11-01（万方平台首次上网日期，不代表论文的发表时间）