摘要
航天飞行控制软件是一种具有高可靠性要求的软件系统,但是目前对航天飞控软件的可靠性还没有进行定量的度量和管理。尝试将软件可靠性的定量模型应用于航天飞控软件系统的测试过程。介绍了基本执行时间可靠性模型,提出了基于历史失效数据拟合的模型校准方法,讨论了基于基本执行时间可靠性模型的软件可靠性增长测试和可靠性检定测试。
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.
出处
《测控技术》
CSCD
2008年第3期4-6,共3页
Measurement & Control Technology
关键词
可靠性测试
航天飞控
执行时间模型
软件测试
reliability test
spaceflight control
execution time model
software test
