Markov模型的软件可靠性测试充分性问题的研究
Journal of University of Electronic Science and Technology of China(2010)
Abstract
在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法.将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值.实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效.
MoreTranslated text
Key words
testing adequacy,reliability test,strict transfer probability,Markov model
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined