Testing Adequacy of Software Reliability in Markov Model

By analyzing the original testing adequacy determination in Markov model,the strict transfer probability is defined and then testing adequacy based on strict transfer probability is advanced.Markov model is transformed to strict Markov model,and the strict transfer probability is used to calculate the differentiation of every edge.The primal transfer probability of all of accessibility discriminative transfer probability is computed for accessibility discriminative transfer set,and then the probability is obtained.Experiments declares that new method is more stabile and efficient.