摘要
为了提高航天器测试效率及测试质量,研究了在无法给出航天器数学模型的情况下利用知识定义方法实现自动化测试的原理。通过对航天器静态测试和动态测试任务的分析,建立了航天器测试任务中测试业务的数学表示模型。基于有向图理论,建立了航天器测试过程的基本模型,提出了一种形式简单、易于理解、便于应用的表格方式航天器自动化测试语言(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.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第8期1702-1705,1725,共5页
Computer Engineering and Design
关键词
有向图
表格式知识表示
软件
自动化测试
航天器
directed graph
tabular knowledge representation
software
automated test
spacecraft
