基于测试的安全软件的安全性评估

Quantitative Safety Assessment of Safety-Critical Software Based on Testing

安全软件的失效可能带来灾难性的后果或重大经济损失 ,因此 ,科学地评估安全软件的安全性十分必要。本文介绍了软件分级安全性的基本概念和贝叶斯模型 ,重点讨论了如何应用测试结果定量评估安全关键软件的安全性的方法 。

Failures of safety-critical software may cause catastrophic results or tremendous economic losses.Thus,it is necessary to assess the safety of safety-critical software scientifically.The basic concept of classified software safety is presented and the Bayes model is introduced.The way to assess the safety of safety-critical software quantitativ ely by using testing results is discussed emphatically.At last,an instance of th e safety assessment of the safety-critical software of railway signaling contro l is recommended.