基于威布尔分布的嵌入式软件安全性量化分析 |
| |
引用本文: | 王洪坡 周红建 王洪雷. 基于威布尔分布的嵌入式软件安全性量化分析[J]. 计算机应用与软件, 2014, 0(4): 262-265,311 |
| |
作者姓名: | 王洪坡 周红建 王洪雷 |
| |
作者单位: | ;1.95899部队软件测评中心;2.93619部队自动化站 |
| |
摘 要: | 基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。
|
关 键 词: | 航空装备嵌入式软件 威布尔模型 安全缺陷发掘 量化 |
QUANTITATIVE SAFETY ANALYSIS OF EMBEDDED SOFTWARE BASED ON WEIBULL DISTRIBUTION |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 等数据库收录! |
|