提高录制-重放技术透明性及易用性的方法研究

摘要：

为提高调试计算机系统的效率,提出了一种可有效地将非确定错误转化为确定错误的录制-重放机制.针对录制-重放系统加载中的透明性问题及重放中的易用性问题,通过开源项目ReBranch提出了一些解决方法.首次提出了基于解释器(interpreter)的透明加载机制,以解决加载机制的透明性问题；首次提出了一种基于文法压缩的异常序列检测机制,以提高重放的易用性.探讨了ReBranch的几个成功应用,并通过实验验证了异常检测算法的有效性.

关键词：调试、录制、重放、文法压缩、异常检测(AID)

所属期刊栏目：22

分类号：TP3;TN9

资助基金：863计划2012AA01A401,2011AA01A203;国家自然科学基金61070028,61003063,60903047;中国科学院先导专项XDA06030200

在线出版日期：2012-11-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：804-811