基于XYZ/E描述和验证容错系统

• 作者: 唐稚松 郭亮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 容错系统 时序逻辑语言XYZ/E 求精 容错转换 规范 验证
• 年，卷（期）: 2002,（5）
• 页码范围: 913-920
• 页数: 8页
• 分类号: TP311
• 字数: 9272字
• 语种: 中文

摘要

研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF(R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐稚松		7	188	6.0	7.0
2	郭亮		2	30	2.0	2.0