基于有向图建模的航天器自动化测试研究与实现

摘要：

为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理.通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型.基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS).SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性.

关键词：有向图、表格式知识表示、软件、自动化测试、航天器

所属期刊栏目：31

分类号：TP311(计算技术、计算机技术)

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1702-1705,1725