摘要
在航天器中,随着软件数量的增多,软件可靠性问题日趋尖锐。软件可靠性不能只停留在定性分析阶段,要建立明确的可靠性指标,要通过全任务剖面建立起来的测试用例,对给定软件作长时间的测试和可靠性评价,以便展现软件可靠性不断增长的过程。本文介绍软件可靠性量化的方法,供软件研制者参考。
The reliability of software becomes amount in spacecraft equipments. In fact, the liability should also be analyzed quantitatively. bility evaluation should be done by using the t more important along with the increasing software qualitative analysis is not enough~ the software re- For est ca specific software, long time testing and relia- ses which are established through whole task profile, so as to display the increasing process of the software reliability. This paper introduces the methods and related softwares for the quantification of software reliability.
出处
《航天器工程》
2007年第6期67-70,共4页
Spacecraft Engineering
关键词
卫星
软件可靠性
量化
测试用例
satellite
software reliability
quantification
test cases
