基于威布尔分布的嵌入式软件安全性量化分析

• 作者: 周红建 王洪坡 王洪雷
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 航空装备嵌入式软件 威布尔模型 安全缺陷发掘 量化
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 嵌入式软件与应用
• 页码范围: 262-265,311
• 页数: 5页
• 分类号: TP311.5
• 字数: 5150字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2014.04.066

摘要

基于软件测试阶段采集的安全缺陷数据，讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律，指出它的出现规律满足 S 曲线分布。考虑到 AML 模型的缺陷，引入威布尔建模理论，以软件测试数据为基础，建立某航空嵌入式软件的 S 曲线模型，预测软件的总安全缺陷数。对威布尔理论进行拓展，讨论转折点的选取原则。最后，通过卡方检验和预测偏差检验的方法，验证了预测模型与测试数据的匹配性。检验结果表明，威布尔模型能够消除测试过程中随机因素的影响，模拟测试过程中缺陷发掘的实际情况，预测取得了很好的效果。