Estimation Method of Software Reliability for Safety-critical System
安全关键系统的软件可靠性评估方法

Importance sampling is a changcof-measure technique for speeding up the simulation of rare events in stodrastic systems. In this paper we established a technictue for computing optimal state transition probabilities for software reliability estimation based on a Markov usage model. I3y suitable changes of the probabilities of state transitions during test, an iterative method based on the Ali Silvey distance was proposed for this choice. A learning algorithm for the computation of optimal transition probabilities of the Markov chain usage model was also presented and experimental results of this algorithm were reported.