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

第３１ 卷第４期　　　 计算机应用与软件 Ｖｏｌ３１ Ｎｏ．４ ２０１４年４ 月　　 Ｃｏｍｐｕｔｅｒ Ａｐｐｌｉｃａｔｉｏｎｓ ａｎｄ Ｓｏｆｔｗａｒｅ Ａｐｒ．２０１４ 基于威布尔分布的嵌入式软件安全性量化分析 １，２ １ ２ 王洪坡 　周红建 　王洪雷 １ （９５８９９部队软件测评中心　北京 １０００７６） ２ （９３６１９部队自动化站　天津３０１７１６） 摘　要　　基于软件测试阶段采集的安全缺陷数据，讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律，指出它的 出现规律满足Ｓ 曲线分布。考虑到ＡＭＬ模型的缺陷，引入威布尔建模理论，以软件测试数据为基础，建立某航空嵌入式软件的Ｓ 曲 线模型，预测软件的总安全缺陷数。对威布尔理论进行拓展，讨论转折点的选取原则。最后，通过卡方检验和预测偏差检验的方法， 验证了预测模型与测试数据的匹配性。检验结果表明，威布尔模型能够消除测试过程中随机因素的影响，模拟测试过程中缺陷发掘 的实际情况，预测取得了很好的效果。 关键词　　航空装备嵌入式软件　威布尔模型　安全缺陷发掘　量化 中图分类号　ＴＰ３１１．５　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１４．０４．０６６ ＱＵＡＮＴＩＴＡＴＩＶＥ ＳＡＦＥＴＹ ＡＮＡＬＹＳＩＳ ＯＦ ＥＭＢＥＤＤＥＤ ＳＯＦＴＷＡＲＥ ＢＡＳＥＤ ＯＮＷＥＩＢＵＬＬ ＤＩＳＴＲＩＢＵＴＩＯＮ １，２ １ ２ Ｗａｎｇ Ｈｏｎｇｐｏ 　Ｚｈｏｕ Ｈｏｎｇｊｉａｎ 　Ｗａｎｇ Ｈｏｎｇｌｅｉ １ （Ｓｏｆｔｗａｒｅ Ｔｅｓｔｉｎｇ Ｃｅｎｔｅｒ，Ａｒｍｙ９５８９９，Ｂｅｉｊｉｎｇ１０００７６，Ｃｈｉｎａ） ２ （Ａｕｔｏｍａｔｉｃ Ｓｔａｔｉｏｎ，Ａｒｍｙ９３６１９，Ｔｉａｎｊｉｎ３０１７１６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｂａｓｅｄ ｏｎ ｔｈｅ ｓａｆｅｔｙｄｅｆｅｃｔｄａｔａｇａｔｈｅｒｅｄｄｕｒｉｎｇｔｈｅ ｓｏｆｔｗａｒｅｔｅｓｔｉｎｇｐｅｒｉｏｄ，ｗｅｄｉｓｃｕｓｓｔｈｅｏｃｃｕｒｒｅｎｃｅｒｕｌｅｏｆｔｈｅ ｓａｆｅｔｙｄｅｆｅｃｔｉｎ ｔｈｅ ｌｉｆｅ ｃｙｃｌｅ ｏｆ ａｖｉａｔｉｏｎ ｅｑｕｉｐｍｅｎｔ ｅｍｂｅｄｄｅｄ ｓｏｆｔｗａｒｅ，ａｎｄ ｐｏｉｎｔ ｏｕｔ ｔｈａｔ ｔｈｉｓ ｒｕｌｅ ｓａｔｉｓｆｉｅｓ ｔｈｅ Ｓｃｕｒｖｅ ｄｉｓｔｒｉｂｕｔｉｏｎ．Ｃｏｎｓｉｄｅｒｉｎｇ ｔｈｅ ｄｅｆｉｃｉｅｎｃｙ ｏｆＡＭＬｍｏｄｅｌ，ｗｅ ｉｎｔｒｏｄｕｃｅ Ｗｅｉｂｕｌｌｂａｓｅｄ ｍｏｄｅｌｌｉｎｇｔｈｅｏｒｙ ａｎｄ ｂｕｉｌｄｔｈｅ Ｓｃｕｒｖｅ ｍｏｄｅｌｆｏｒａｋｉｎｄ ｏｆａｖｉａｔｉｏｎ ｅｍｂｅｄｄｅｄ ｓｏｆｔｗａｒｅ ｂａｓｅｄ ｏｎ ｔｈｅ ｓｏｆｔｗａｒｅ ｔｅｓｔｉｎｇ ｄａｔａ．Ｔｈｅ ｏｖｅｒａｌｌ ｓａｆｅｔｙ ｄｅｆｅｃｔｎｕｍｂｅｒｓｏｆｓｏｆｔｗａｒｅ ｉｓｐｒｅｄｉｃｔｅｄ ａｓｗｅｌｌ．Ｗｅ ａｌｓｏ ｅｘｐｅｎｄｔｈｅ Ｗｅｉｂｕｌｌｔｈｅｏｒｙ ａｎｄ ｄｉｓｃｕｓｓ ｔｈｅ ｐｒｉｎｃｉｐｌｅ ｏｆｔｒａｎｓｉｔｉｏｎ ｐｏｉｎｔ ｓｅｌｅｃｔｉｏｎ．Ｆｉｎａｌｌｙ，ｂｙ ａｐｐｌｙｉｎｇ ｔｈｅ ＣｈｉＳｑｕｉｒｅ ｔｅｓｔ ａｎｄ ｐｒｅｄｉｃｔｉｏｎ ｅｒｒｏｒ ｔｅｓｔ ｍｅｔｈｏｄｓ，ｗｅ ｖｅｒｉｆｙ ｔｈｅ ｍａｔｃｈｉｎｇ ｐｒｏｐｅｒｔｉｅｓ ｏｆｔｈｅ ｐｒｅｄｉｃｔｉｏｎ ｍｏｄｅｌ ａ