论文部分内容阅读
许多航天飞行器，如航天飞机，和平号空间站，是安全关键系统，其失效可能带来灾难性后果和重大经济损失。而软件或安全关键软件，往往是造成航天计划失败的直接原因。一个突出的例子是１９９６年６月４日阿丽亚娜５型火箭升空３７秒后因惯导软件错误而爆炸。因此，重视和研究软件可靠性问题对航天工业的发展十分必要。该文着重讨论了在软件测试未发现失效时如何估计（航天）安全关键软件的可靠性，具体给出软件可靠性区间估计，Ｂａｙｅｓ点估计，软件运行剖面与测试剖面不一致时的软件可告性估计，以及软件正确性定量度量。