| 黑箱条件下基于测试的安全软件风险度量 |
| |
| 引用本文： | 虞翊,吴芳美.黑箱条件下基于测试的安全软件风险度量[J].计算机工程与应用,2001,37(14):1-4. |
| |
| 作者姓名： | 虞翊 吴芳美 |
| |
| 作者单位： | 同济大学电子与信息工程学院 |
| |
| 基金项目： | 铁道部科技发展计划项目基金资助 |
| |
| 摘 要： | 文章在简述一般风险概念的基础上，提出安全系统软件的风险概念及度量定义，并对安全软件风险的分析计算方法作了讨论。对于黑箱条件下的安全软件，在不改变安全软件风险概念及度量定义实质的基础上，文章定义了基于测试的安全软件风险度量定义，讨论了相应的分析计算方法，并引出了基于测试及风险度量的软件安全性等概念。
|
| 关 键 词： | 黑箱 安全软件 软件测试 风险 安全性 |
| 文章编号： | 1002-8331-(2001)14-0001-04 |
| 修稿时间： | 2001年3月1日 |
Risk Metrics of Safety-critical Software Based on Black-box Testing |
| |
| Yu Yi,Wu Fangmei.Risk Metrics of Safety-critical Software Based on Black-box Testing[J].Computer Engineering and Applications,2001,37(14):1-4. |
| |
| Authors: | Yu Yi Wu Fangmei |
| |
| Abstract: | 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. |
| |
| Keywords: | Black-box safety-critical software software testing risk safety |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
