俞功兵，王俊峰

（四川大学 计算机学院，四川 成都 610065）

随着软件技术的迅速发展和人们对软件系统稳定性、可靠性的更高要求，软件冗余技术越来越受到人们的重视并被广泛地应用于各类软件系统中，用以提高系统容错能力。其基本原理就是通过在计算机上运行功能相同但采取不同设计方式实现的软件模块和相应的表决算法来屏蔽软件冗余模块的错误输出，以此提高软件系统的可靠性。常用的表决算法有大数表决算法[1]、一致性表决算法[2]、自适应大数表决算法[3]等。

但是，上面提到的各种表决算法都有各自的缺点，大数表决算法在当各软件冗余模块输出不能达成一致时，不能表决输出结果；一致性表决算法一定程度上客服了大数表决算法的缺陷，但在软件冗余模块输出结果有相同的最大输出一致时，只能随机选择一组结果作为最终输出，此时表决系统很有可能输出一个不正确的结果，另外，软件冗余模块虽然采用软件的相异性策略进行设计与开发，但由于软件功能需求的相同，开发手段和工具的相近，软件冗余模块之间肯定存在着不能够克服的相关性，很难保证冗余模块软件版本的独立性，所以软件模块的失效空间可能存在重叠，这样就可能出现冗余模块的错误输出获得表决通过，使软件系统可靠性降低；自适应大数表决算法是一致性表决算法的拓展，通过构建每个软件冗余模块的历史记录信……