文档介绍：第39卷第1期电子科技大学学报 Journal of University of Electronic Science and Technology of ChinaJan. 2010Markov模型的软件可靠性测试充分性问题的研究雷航1,马成功2?(1. 电子科技大学示范性软件学院成都 610054; 2. 电子科技大学计算机科学与工程学院成都 610054)【摘要】在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。关键词Markov模型; 可靠性测试; 严格转移概率; doi:.1001- Adequacy ofSoftware Reliability in Markov ModelLEI Hang1 and MA Cheng-gong2(1. School of Software, University of Electronic Science and Technology of China Chengdu 610054; 2. School puter Science and Engineering, University of Electronic Science and Technology of China Chengdu 610054)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 puted for accessibility discriminative transfer set,