论文部分内容阅读
首次提出了一种基于数据流分析技术的软件容错新方法,简要地介绍了软件容错技术,指出数据错是一切控制系统软件失效的根源与最终表现,以及对数据采取强有力容错措施的必要性。深入地论述了数据流分析方法在软件容错中的应用,得出了最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题。