收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前1条
1 郭亮,唐稚松;基于XYZ/E描述和验证容错系统[J];软件学报;2002年05期
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978