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

Design of spacecraft automated test software based on directed graph modeling

作　　者：朱维宝[1] 王劲榕[1] 李砥擎[1] 

机构地区：[1]中国空间技术研究院总体部,北京100094

出　　处：《计算机工程与设计》2010年第8期1702-1705,1725,共5页Computer Engineering and Design

摘　　要：为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(SATL),给出了SATL应用示例,开发了航天器自动化测试软件(SATS)。SATL和SATS成功应用于"神舟"飞船及多颗卫星各阶段测试,实际应用表明了该方案具有较强的工程实用性。To improve spacecraft test efficiency and quality, the spacecraft automated test principle by defining test information is studied that spacecraft mathematical model cannot be defined. Systematically discussed spacecraft static and dynamic test task, the mathematical representation model for basic test atom is constructed. Based on directed graph theory, the basic model for spacecraft test process is established. A simple, easy-to-understand, easy-to-apply spacecraft automated test language （SATL） based on tabular knowledge representation is presented. A test unit description example is given and spacecraft automated test software （SATS） based on SATL is developed. SATL and SATS are successfully applied in ＂ShenZhou＂ spaceship and many satellites test. Practical application proves that SATL and SATS are useful for engineering practicability.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]