摘要
文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。对于黑箱条件下的安全软件，在不改变安全软件风险概念及度量定义实质的基础上，文章定义了基于测试的安全软件风险度量定义，讨论了相应的分析计算方法，并引出了基于测试及风险度量的软件安全性等概念。
After specifying common risk simply, this paper puts forward the software risk concept of safety-critical system and the metrics definition of software risk, and discusses the risk analysis and calculation way of safety-critical software. Under the precondition without changing the essentials of safety-critical software risk and software risk metrics definition, the risk metrics definition of safety-critical software based on testing for black-box is brought forward, and its analysis and calculation way is discussed. Finally, some concepts, such as the software safety based on testing and risk metrics, are defined in this paper.
出处
《计算机工程与应用》
CSCD
北大核心
2001年第14期1-4,共4页
Computer Engineering and Applications
基金
铁道部科技发展计划项目基金资助
关键词
黑箱
安全软件
软件测试
风险
安全性
Black-box, safety-critical software, software testing, risk, safety
