VLMC控制流软件可靠性度量方法

• 作者: 方建勇 潘冠华 赵瑞曼
• 来源期刊: 指挥控制与仿真
• 学科: 工学
• 关键词: 控制转移 Markov 变阶Markov链(VLMC) 软件可靠性 度量模型
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 工程实践
• 页码范围: 117-123
• 页数: 7页
• 分类号: TP311.55
• 字数: 5997字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3819.2014.05.026

摘要

针对现有软件可靠性模型普遍不适用于实际软件的问题，分析了软件内部模块间控制转移机理，通过分离入口模块，提取一阶控制转移概率矩阵；弱化内部模块与出口模块间差异，重构二阶以上转移概率矩阵，在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题，通过对导致复杂依赖的多入多出模块进行节点扩展，将VLMC控制流转化为Markov链，利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵瑞曼		2	0	0.0	0.0
2	潘冠华		7	13	2.0	3.0
3	方建勇		6	20	3.0	4.0