Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

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

Hang LEI,Cheng-gong MA

Journal of University of Electronic Science and Technology of China（2010）

Cited 6|Views10
No score
Abstract
在分析现有Markov模型的软件可靠性的充分性判别的基础上,定义了严格转移概率的概念,提出了基于严格转移概率的测试充分性判别方法.将Markov模型转化为严格Markov模型,在每个边或者状态的差异计算时引入严格转移概率,对可达相异转移集中所有可达相异转移k的转移概率进行原转移概率对应计算后进行求和再平均运算,得到的结果作为每个边或者状态的差异值.实验表明严格测试充分性判别方法比非严格Markov模型方法更稳定、有效.
More
Translated text
Key words
testing adequacy,reliability test,strict transfer probability,Markov model
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined