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

摘要：

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

关键词：航空装备嵌入式软件、S曲线模型、安全缺陷发掘、量化

所属期刊栏目：36

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2014-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：469-474