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

摘要：

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

关键词：控制转移、Markov、变阶Markov链(VLMC)、软件可靠性、度量模型

分类号：TP311.55(计算技术、计算机技术)

在线出版日期：2014-10-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：117-123