支持故障注入与逆向调试的确定性重放技术研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:xiandaoisme
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
确定性重放技术对于软件调试和故障诊断具有非常重要的作用。在记录阶段确定性重放记录系统的执行状态与非确定性事件,在重放阶段根据记录阶段的日志记录恢复系统的执行状态并控制非确定性事件的执行,使系统具有与记录阶段相同的执行流程,从而使系统中的错误得以重现,有助于程序错误的调试和诊断。但是,目前确定性重放技术仅被用来重现错误,在软件调试和故障诊断方面没有发挥更大的作用。  本文从增强确定性重放技术在软件调试和故障诊断方面的能力入手,以软件模拟器为研究基础平台,提出在确定性重放基础上加入故障注入与逆向调试功能,从而实现提高软件调试和故障诊断效率的目的。本文主要的研究工作如下:  1)研究了在确定性重放基础上故障注入的实现,分析了可故障注入对象的类型,详细介绍了外设的开启及状态调整、故障注入执行流程的日志记录及日志文件的管理。  2)研究了在确定性重放基础上逆向调试的实现,设计实现了逆向调试协议和若干逆向调试命令。  3)研制了一个面向TI C67X DSP的确定性重放原型系统DRFIRD,具有日志记录、故障重现与重放、故障注入、逆向调试等功能,通过对其进行功能和性能测试,验证了上述工作的有效性。
其他文献
随着Web2.0的兴起与发展,用户的身份也逐渐发生了转变,既是互联网的消费者,同时也成为了互联网内容的构建者。通信领域也因此正在转变传统的服务观念,开始更加重视服务模式的
随着互联网的迅速发展,促进了信息处理和信息交互的技术的研究与应用,其中研究应用的热点之一便是在计算机网络环境下的合作协同计算。合作协同计算不仅发生在合作者之间的,甚至
并行计算是当前计算机技术发展的趋势。随着多核和众核技术的发展,越来越多的软件和应用程序需要使用多线程语言编写。众所周知,并行程序远远比串行程序难编写,非常容易出现各种
学位
传统的聋儿言语康复治疗通过特殊言语教师的手势、口型等方式来训练,难度大、效率低而且教师资源缺乏,难以达到国家提出的“人人享有康复服务”的目标。特别是由于高成本的人力
随着互联网技术的不断发展,Web服务技术逐渐成为当前的一大研究热点。在Web服务技术众多研究中,Web服务的可信性已成为国际上致力于要解决的重要课题。对于部署在分布、开放、
当前人们正处于一个“信息爆炸”的时代,因此各种各样的搜索引擎应运而生。但是由于网上的信息都是半结构化或者非结构化的,尽管采用了各种方法来提高检索结果的精度,但是检
学位
学位
中国城市化与现代化进程的加快,给城市交通带来巨大压力。大力发展公共交通事业,利用智能公共交通系统提升公交运营服务质量与效率,提供高质量的交通信息服务,最终实现客流的合理