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

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

• 论文 • Previous Articles     Next Articles

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

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