Markov模型的软件可靠性测试充分性问题的研究

Testing Adequacy of Software Reliability in Markov Model

  • 摘要: 在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。

     

    Abstract: 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.

     

/

返回文章
返回