基于执行时间模型的航天飞控软件可靠性测试  

Reliability Test of Spaceflight Control Software Based on Execution Time Model

作　　者：张卫民[1] 

机构地区：[1]北京航空航天大学计算机学院

出　　处：《测控技术》2008年第3期4-6,共3页Measurement & Control Technology

摘　　要：航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理。尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程。介绍了基本执行时间可靠性模型,提出了基于历史失效数据拟合的模型校准方法,讨论了基于基本执行时间可靠性模型的软件可靠性增长测试和可靠性检定测试。High reliability is required for spaceflight control software systems. But the reliability of spaceflight control software has not been quantitatively measured and managed. The quantitative reliability model is applied to the test process of spaceflight control software. The basic execution time model is introduced. A model calibration method of curve fitting based on history failure data is proposed. Software reliability growth test and reliability certification test based on the basic execution time model are discussed.

关 键 词：可靠性测试 航天飞控 执行时间模型 软件测试 

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