北京航空航天大学学报 ›› 2015, Vol. 41 ›› Issue (7): 1275-1286.doi: 10.13700/j.bh.1001-5965.2014.0762

• 论文 • 上一篇    下一篇

航天器测试需求描述及其自动生成

高世伟, 吕江花, 乌尼日其其格, 孟祥曦, 马世龙   

  1. 北京航空航天大学 计算机学院, 北京 100191
  • 收稿日期:2014-12-04 修回日期:2015-03-06 出版日期:2015-07-20 发布日期:2015-07-30
  • 通讯作者: 吕江花(1975—),女,山东日照人,讲师,jhlv@nlsde.buaa.edu.cn,主要研究方向为软件自动化、形式化方法. E-mail:jhlv@nlsde.buaa.edu.cn
  • 作者简介:高世伟(1983—),男,山东德州人,博士研究生,ge89@163.com
  • 基金资助:
    国家自然科学基金(61300007); 中央高校基本科研业务费专项资金(YWF-15-GJSYS-106,YWF-14-JSJXY-007); 软件开发环境国家重点实验室自由探索基金(ZX2015ZX-09,SKLSDE-2014ZX-06)

Spacecraft test requirement description and automatic generation method

GAO Shiwei, LYU Jianghua, WUNIRI Qiqige, MENG Xiangxi, MA Shilong   

  1. School of Computer Science and Engineering, Beijing University of Aeronautics and Astronautics, Beijing 100191, China
  • Received:2014-12-04 Revised:2015-03-06 Online:2015-07-20 Published:2015-07-30

摘要: 航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.

关键词: 安全苛刻系统, 可信性, 测试需求, 测试任务流程, 航天器

Abstract: Spacecraft as a typical safety-critical system, its trustworthiness study is very urgent. The evaluation and verification for spacecraft depends on the data obtained from the execution of spacecraft test cases. Moreover, spacecraft test requirement is the important basis for test case generation.In practical application, such complex system of spacecraft is faced with problems of the complexity for the spacecraft test requirement, long preparation period for the test requirement, and difficulty in assuring the adequacy, completeness, and reusability of test requirement using artificial experience. To solve these problems, the spacecraft formalized model was constructed by analyzing the characteristics of the spacecraft structure.The formalization specification of spacecraft static test requirements and dynamic test requirements were given based on spacecraft testing task flow. And the corresponding automatically generation methods for spacecraft testing requirements were proposed. The adequacy and completeness of spacecraft test requirement are ensured, and the reusability of test requirement is enhanced. Compared with the artificial establishment way, the period of the compiled test requirements is shorten. Finally, the application system for spacecraft test requirement generation is designed and implemented, which validates the effectiveness of the proposed method.

Key words: safety critical system, trustworthiness, test requirement, test task flow, spacecraft

中图分类号: 


版权所有 © 《北京航空航天大学学报》编辑部
通讯地址:北京市海淀区学院路37号 北京航空航天大学学报编辑部 邮编:100191 E-mail:jbuaa@buaa.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发