一种新的软件容错方法及应用

摘要

首次提出了一种基于数据流分析技术的软件容错新方法，简要地介绍了软件容错技术，指出数据错是一切控制系统软件失效的根源与最终表现，以及对数据采取强有力容错措施的必要性．深入地论述了数据流分析方法在软件容错中的应用，得出了最小充分卷回定理与备查点数据范围定理，从而解决了时间冗余容错途径中必须回答的两个基本问题．此外，还给出了恢复块定义有效的充分条件．最后以电信系统为应用实例简要论述了这种新方法的实施策略．本文提出的方法在简单地扩展后可被广泛应用于各种容错软件的设计中．