基于数据流分析的软件容错策略

• 作者: 刘云龙 陈俊亮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件容错 数据流分析 最小充分卷回 备查点数据范围
• 年，卷（期）: 1998,（7）
• 页码范围: 0
• 页数: 1页
• 分类号: TP311
• 语种: 中文

摘要

该文就软件容错中备查点与卷回机制展开深入讨论,提出一种基于数据流分析技术的软件容错新方法.首先对软件容错进行简介,指出数据错是一切控制系统软件失效的根源与最终表现以及对数据采取强有力的容错措施的必要性.然后将数据流分析技术应用于软件容错,通过求解程序变量的到达-定值数据流方程来静态地确定任何数据在任何引用点出错时的最小充分卷回,通过求解活跃变量的数据流方程来静态地确定程序在执行各个基本块时需动态保存的变量集合,得出最小充分卷回定理与备查点数据范围定理,从而解决了时间冗余容错途径中必须回答的两个基本问题.此外,还给出了恢复块定义有效的充分条件.最后,以电信系统为应用实例,介绍了该方法的一种具体实施.该方法在简单地扩展后可被广泛应用于各种容错软件的设计中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈俊亮	北京邮电大学程控交换技术与通信网国家重点实验室	154	1938	21.0	38.0
2	刘云龙	北京邮电大学程控交换技术与通信网国家重点实验室	7	46	4.0	6.0