航空学报 > 2017, Vol. 38 Issue (7): 320768-320768   doi: 10.7527/S1000-6893.2016.320768

面向航天器系统级测试的虚拟测试方法及应用

乌尼日其其格1,2, 李小平1,2, 杨帆1,2, 马世龙1,2, 王华茂3   

  1. 1. 北京航空航天大学 软件开发环境国家重点实验室, 北京 100083;
    2. 航天器自动化测试技术联合实验室, 北京 100083;
    3. 中国空间技术研究院 总体部测试中心, 北京 100094
  • 收稿日期:2016-09-08 修回日期:2016-10-24 出版日期:2017-07-15 发布日期:2016-12-26
  • 通讯作者: 李小平,E-mail:lee.rex@163.com E-mail:lee.rex@163.com
  • 基金资助:

    国家自然科学基金(61003016,61300007,61305054);科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007);软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28,SKLSDE-2014ZX-06)

A virtual test method for satellite system level verification and case study

WUNIRI Qiqige1,2, LI Xiaoping1,2, YANG Fan1,2, MA Shilong1,2, WANG Huamao3   

  1. 1. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100083, China;
    2. Joint Laboratory of Spacecraft Automated Test Technology, Beijing 100083, China;
    3. Institute of Spacecraft System Engineering, China Academy of Space Technology, Beijing 100094, China
  • Received:2016-09-08 Revised:2016-10-24 Online:2017-07-15 Published:2016-12-26
  • Supported by:

    National Natural Science Foundation of China (61003016,61300007,61305054);Base Research Foundation of Ministry of Science and Technology of China (YWF-14-JSJXY-007);Independent Discovery Foundation of State Key Laboratory of Software Development Environment of China (SKLSDE-2012ZX-28,SKLSDE-2014ZX-06)

摘要:

航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。

关键词: 虚拟测试方法, 状态转移图, 模型检测, 窗口树模型, 测试用例生成, 虚拟测试平台

Abstract:

As a complex system, the verification of design and interface implementation of spacecraft is an effective way to increase its reliability. In this paper a virtual test method, which is a fusion approach on the combination of automata-based model checking theory and systems engineering theory, is proposed. An automaton of window tree model (WTM) based on multi-tree to describe the system behavior as a system-model is used on one hand, and a state transition graph (STG) based on automaton to describe design correctness as a specification is used on the other hand. An automaton-based model checking mechanism is proposed to build the foundation of the virtual test method. Moreover, the two main aspects of the method, including the design correctness verification and the interface implementation verification, are defined. Finally, a case study is followed to illustrate the technical approaches of virtual test method, the modelling process of a complex system as well as the verification process in a virtual test platform (VTP), which implements the method. The VTP is composed of three main features of the virtual test configuration, the virtual test execution as well as the virtual test evaluation.

Key words: virtual test method, state transition graph, model checking, window tree model, test case generation, virtual test platform

中图分类号: