| Markov模型的软件可靠性测试充分性问题的研究 |
| |
| 引用本文： | 雷航,马成功.Markov模型的软件可靠性测试充分性问题的研究[J].电子科技大学学报(社会科学版),2010(1). |
| |
| 作者姓名： | 雷航 马成功 |
| |
| 作者单位： | 电子科技大学示范性软件学院;电子科技大学计算机科学与工程学院; |
| |
| 摘 要： | 在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法。将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值。实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效。
|
| 关 键 词： | Markov模型 可靠性测试 严格转移概率 测试充分性 |
Testing Adequacy of Software Reliability in Markov Model |
| |
| LEI Hang , MA Cheng-gong.Testing Adequacy of Software Reliability in Markov Model[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2010(1). |
| |
| Authors: | LEI Hang MA Cheng-gong |
| |
| Institution: | 1.School of Software;University of Electronic Science and Technology of China Chengdu 610054;2.School of Computer 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 is computed for accessibility discriminative transfer set,and then the probability is o... |
| |
| Keywords: | Markov model reliability test strict transfer probability testing adequacy |
| 本文献已被 CNKI 等数据库收录！ |
