改进的多版本软件扩展表决系统

摘要：

本文提出了一种改进的扩展表决系统,该系统是利用自动分析表决系统可靠性等参数的工具来构建的.在软件容错中采用N-模块冗余(N-Modular Redunclancy-NMR)及N-版本编程(N-version Programmming),应用表决技术,可以屏蔽整个软件系统中出错的部分.在实践中直接应用理论的表决模型会发现很难得到理论分析的结果.针对这样的问题,本文提出一种基于多数(plurality)的扩展表决系统:使用构造决策树的方法和进行DFT遍历作为自动化的计算工具;通过对基本的多数表决系统进行模型扩展,加入指导性规则对决策树进行重构,以自动计算工具的结果作为参考,从而选择更加可靠的表决结果作为输出.最终的模拟测试表明,所提出的扩展表决系统能够提高系统输出的正确率.

关键词：多版本软件、表决系统、容错、决策树

所属期刊栏目：34

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

资助基金：国家自然科学基金60675011

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

页数：共5页

页码：106-109,114