改进的J-M模型及其在软件安全性评估中的应用

分析了软件可靠性和安全性之间的关系;针对安全软件测试剖面和操作剖面有不同的故障检测率,以及软件故障剔除时有引入新故障的可能,通过改变Jelinski-Moranda(J-M)可靠性模型相关假设及参数,提出了一个既能描述安全软件测试剖面与操作剖面不同,又能描述故障引入率的软件安全性评估模型;并给出了该安全性评估模型的性能度量.最后,对同一组铁路信号控制安全软件的失效数据进行分析,结果表明改进后的J-M评估模型比原J-M模型有着更好的拟合能力和预测能力.

Improved J-M Model and Application to Software Safety Assessment

The relationship between software safety and reliability is analyzed. According to the different fault-detection rate between operational profile and test profile, and the probability of bringing new fault to the software during eliminating process, a new software safety assessment model is presented based on the J-M model, which not only can illustrate the difference between test profile and operational profile but also can describe fault-bring rate, and its performance measures are presented also. At last, a set of failure data of railway interlocking software is used to experiment. The result shows that the goodness-offit and predictive power of the new model is much better than J-M model.