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

• 作者: 雷航 马成功
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: Markov模型 可靠性测试 严格转移概率 测试充分性
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 101-105
• 页数: 5页
• 分类号: TP311.5
• 字数: 4785字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2010.01.023

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	雷航	电子科技大学示范性软件学院	92	1434	17.0	35.0
2	马成功	电子科技大学计算机科学与工程学院	1	19	1.0	1.0