基于S曲线模型的航空装备嵌入式软件量化安全评估

摘要

软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题.以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线.引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数.对AML理论进行了拓展,讨论了转折点的选取原则.最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性.检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析.