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

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