基于S曲线模型的航空装备嵌入式软件量化安全评估
【出 处】:《
计算机工程与科学
》
CSCD
2014年第36卷第3期 469-474页,共6页
【作 者】:
王洪坡
[1,2] ;
周红建
[1] ;
王洪雷
[2]
【摘 要】
软件测试是航空装备嵌入式软件生命周期中的重要环节,如何评估软件测试的效果是一个难题.以软件测试为基础,讨论了航空装备嵌入式软件的生命周期过程中安全缺陷出现的规律,认为它的安全缺陷同样满足S曲线.引入了AML建模理论,基于软件测试数据,建立了某航空嵌入式软件的S曲线模型,预测了软件的总安全缺陷数.对AML理论进行了拓展,讨论了转折点的选取原则.最后,通过卡方检验和预测检验的方法,验证了预测模型与测试数据的匹配性.检验结果表明,AML模型能够很好地模拟实际测试情况,一定程度上消除了数据随机性的影响,其模型具有一定可信度,能够用于航空装备嵌入式软件的安全性分析.
相关热词搜索:
上一篇:一种自动分析CSS的改进方法研究
下一篇:一种单种群混合蛙跳算法