黑箱条件下基于测试的安全软件风险度量

Risk Metrics of Safety-critical Software Based on Black-box Testing

文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。对于黑箱条件下的安全软件，在不改变安全软件风险概念及度量定义实质的基础上，文章定义了基于测试的安全软件风险度量定义，讨论了相应的分析计算方法，并引出了基于测试及风险度量的软件安全性等概念。

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.