摘要
安全软件的失效可能带来灾难性的后果或重大经济损失 ,因此 ,科学地评估安全软件的安全性十分必要。本文介绍了软件分级安全性的基本概念和贝叶斯模型 ,重点讨论了如何应用测试结果定量评估安全关键软件的安全性的方法 。
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.
出处
《计算机工程与科学》
CSCD
2001年第5期94-96,107,共4页
Computer Engineering & Science
基金
铁道部科技开发项目 ( 2 0 0 0 X0 18)
关键词
安全软件
安全性
评估
安全系统
测试
safety-critical software
safety
software tes ting
assessment
