• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2014, Vol. 36 ›› Issue (03): 469-474.

• 论文 • 上一篇    下一篇

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

王洪坡1,2,周红建1,王洪雷2   

  1. (1.95899部队软件测评中心,北京 100076;2.93619部队自动化站,天津 301716)
  • 收稿日期:2012-09-27 修回日期:2013-01-07 出版日期:2014-03-25 发布日期:2014-03-25

Quantitative safety evaluation of aviation equipment
embedded software based on S-curve model                

WANG Hongpo1,2,ZHOU Hongjian1,WANG Honglei2   

  1. (1.Software Testing Center,Troop 95899,Beijing 100076;2.Automatic Station,Troop 93619,Tianjin 301716,China)
  • Received:2012-09-27 Revised:2013-01-07 Online:2014-03-25 Published:2014-03-25

摘要:

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

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

Abstract:

Software testing is an important phase during the lifetime of aviation equipment embedded software. It is difficult to evaluate the effect of software testing. Based on software testing,discusses the occurrence law of the safety defect existing in aviation equipment embedded software. It is believable that the occurrence law of the embedded software also satisfies the Scurve rule. AML model is introduced to build up the Scurve model of a kind of aviation equipment embedded software based on the defect data gathered during the software testing period. The total defect number of the software is predicted. Finally, ChiSquire verification and prediction error metric are applied to verify the goodness of fit of the software defects. Results show that AML model can model the real safety defects finding process. It eliminates the effects of randomness of the data, so the model is reliable. The predicting data can be trusted to some extent. It can be used to model and analyze the safety of aviation equipment embedded software.

Key words: aviation equipment embedded software;Scurve model;safety defects explore;quantitative