Research on the Safety Evaluation Method of Military Software
It is analyzed that the high reliability demand of ordnance software and the safety evaluation of military software are necessary, and the safety evaluation indicates are confirmed. It is provided that the software safety test and evaluation model utilize the software safety test data getting from the test procedure based on the importance sampling and acceleration testing, to get the evaluation result form the smallsample failure data set using Baycsian estimate estimated method.Take an example of software reliability grown models with Nonhomogeneous Poisson Process (NHPP) distribution.Firstly the pre-experimental distribution of model parameters are set up utilizing the Bootstrap sampling method, and then the model parameters estimation data are calculated based on Bayesian formula, then the real software accident rate can be calculated integrating the model estimation with the testing acceleration factor.The data case analysis shows that this method is feasible and reasonable.
component Safety-critical system software safety evaluation small-sample data Bayesian estimation Bootstrap sampling
Ma Sasa Liu Dongqing Xu Aihua
Laboratory of Electronic Technique Support Ordnance Technology Institute Shijiazhuang China Optics and Electronic Engineering Department Ordnance Engineering College Shijiazhuang China
国际会议
2009 8th International Conference on Reliability,Maintainability and Safety(第八届中国国际可靠性、维修性、安全性会议)
成都
英文
718-722
2009-08-24（万方平台首次上网日期，不代表论文的发表时间）