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

• 作者: 周红建 王洪坡 王洪雷
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 航空装备嵌入式软件 S曲线模型 安全缺陷发掘 量化
• 年，卷（期）: 2014,（3）
• 所属期刊栏目: 人工智能
• 页码范围: 469-474
• 页数: 6页
• 分类号: TP311.5
• 字数: 5039字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2014.03.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周红建		1	1	1.0	1.0