导读:本文包含了执行重放论文开题报告文献综述及选题提纲参考文献,主要关键词:数据竞争,程序插桩,时间戳,动态符号执行
执行重放论文文献综述
万齐智[1](2015)在《基于插桩和动态符号执行的数据竞争检测与重放》一文中研究指出近年来,由于多核处理器的快速发展,多线程编程技术已经越来越受重视,并得到了广泛的应用。然而,由于多线程执行顺序的不确定性,也为大型并发程序或软件中潜在错误的查找工作带来了一定的困扰和难度。其中,由数据竞争引发的错误较为常见。如何高效准确的检测并发程序中可能存在的数据竞争,并能够将并发程序确定性重放,将成为研究的重点。基于插桩和动态符号执行方案,分别实现了恶性和良性两种数据竞争的检测与重放。对于插桩方案,首先,解析源程序对应的中间指令文件格式,针对不同类型的共享变量定义和使用情况,进行合适的判断和插桩。然后,结合时间戳向量的方法,检测存在冲突的同步操作,并在其基础上添加恶性数据竞争判断机制,使得能够准确有效的检测出此次并发程序执行过程中所发生的数据竞争。在动态符号执行方案中,利用KLEE中实现的动态符号执行技术,虚拟执行中间指令文件。通过修改KLEE源码,添加监视虚拟执行过程和状态模块的方法,使得KLEE可以有效的监控整个程序的执行过程,并结合Happens-Before与Lockset的混合算法,对程序中所有可能存在的数据竞争进行分析和检测。最后,通过实验对两种实现方案的有效性进行了验证,并针对每个实验结果分析其原因。由实验结果可知,两种方案均可以有效准确的检测并发程序中的数据竞争。另外,为了了解两种方案的性能情况,对两种方案的性能也做了对比分析,并得出插桩方法的时间性能远高于KLEE方法,但KLEE方法具有较好的稳定性的结论。(本文来源于《华中科技大学》期刊2015-05-01)
李秀江[2](2015)在《基于用户执行踪迹重放的移动应用测试方法》一文中研究指出最近几年,移动设备正逐步地取代传统计算设备,在人们日常生活中扮演着愈加重要的角色。伴随着移动设备的快速增长,保证移动设备上应用的质量成为一个急需解决的问题。因此,针对移动应用的自动化测试技术得到了广泛地研究。但是,这些自动化方法在处理移动应用的复杂交互时遇到了不可逾越的障碍。这些复杂交互包括屏幕手势滑动或者“摇一摇”晃动手机等。这一切最终导致测试过程不够充分,由此,显着降低了已有的自动化测试方法对使用者的吸引力。在本文中,我们提出了一种全新的基于用户指导的自动化测试技术(简称UGA),用以解决上述复杂交互引起的测试挑战问题。具体而言,本文的工作主要包括如下几个方面:●UGA利用用户视角去弥补自动化测试方法的不足。具体来说包含以下叁步:记录用户指导的一次应用执行情况:重放这次执行到特定的停止点;从这些停止点开始,执行自动化测试,系统地遍历应用状态。●我们设计并且在Android系统上实现了一个基于该方法的原型系统,也叫UGA。UGA工具能够记录并且重放所有类型的用户操作,并且支持已有的自动化测试方法。●建立在七个真实Android应用上的评估结果显示:UGA在方法覆盖上是现有最新的自动化测试方法的1.59到21.78倍。这表明,用户指导的测试方法(UGA)可以大大提高自动化测试的覆盖效果。●我们同样研究了影响UGA效果的因素。实验表明无论我们选择的用户对智能手机了解程度如何,UGA都能够在方法覆盖率上比自动化测试取得更好的效果。(本文来源于《南京大学》期刊2015-05-01)
于佳耕,周鹏,武延军,赵琛[3](2012)在《虚拟机确定性执行重放的模型分析和实现方法》一文中研究指出进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.(本文来源于《软件学报》期刊2012年06期)
胡晓昌,丁丽萍,武延军[4](2010)在《基于虚拟机执行过程重放的热迁移系统研究》一文中研究指出为解决传统的基于检查点和内存预拷贝的系统热迁移在一些特定环境下存在停机时间过长的问题,提出了一种基于虚拟机执行过程迭代重放的备份热迁移方案,并对迁移过程中的开销较大的检查点设置操作进行了优化。与传统迁移方法进行量化比较分析结果表明,该方案缩短了检查点设置的停机时间,传输数据量更少,从而缩短了虚拟机迁移过程总的停机时间,为低速网络带宽的迁移环境提供了更好的解决方案。(本文来源于《计算机工程与设计》期刊2010年19期)
马超[5](2008)在《基于虚拟机的增量检查点和执行重放技术研究》一文中研究指出交互式调试要求我们能重现测试过程中发现的bug,反复执行程序,逐步定位错误的根源。然而,随着计算机体系结构、程序设计语言等的不断丰富,以及计算机应用的快速发展,软件系统规模不断增大,任务复杂度不断提高,软件的并发性不断加强,程序中存在着大量不确定性的因素导致bug难以复现。为了解决这个问题,学术界提出了执行重放的方法,找出程序中所有不确定因素,并在一次执行中将它们的表现记录下来,使得这些不确定因素始终按记录中的方式表现。采用重放的方法支持软件调试与故障诊断具有实现成本低、调试效果好等特点。但是,现有的重放系统只关注于应用程序,无法支持系统级的重放,并且这些技术往往需要修改操作系统或库函数。基于虚拟机扩展技术的重放技术不需要修改应用程序与操作系统,系统的行为能够与真实情况下做到尽可能的一致,对于用户来说可以做到透明。因而我们采取这种方法来实现系统的重放,研发了全系统重放系统Bbreplayer(bochs-based replayer)。Bbreplayer以较小的时间(平均开销小于8%)和存储开销实现了全系统的精确回放。同时,为了在重放过程快速高效重构系统状态并有效支持系统回退,Bbreplayer支持增量型检查点的设置,对比相应的全量检查点,它在时间开销上减少了60%以上,存储开销上减少了70%以上。(本文来源于《浙江大学》期刊2008-06-01)
执行重放论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
最近几年,移动设备正逐步地取代传统计算设备,在人们日常生活中扮演着愈加重要的角色。伴随着移动设备的快速增长,保证移动设备上应用的质量成为一个急需解决的问题。因此,针对移动应用的自动化测试技术得到了广泛地研究。但是,这些自动化方法在处理移动应用的复杂交互时遇到了不可逾越的障碍。这些复杂交互包括屏幕手势滑动或者“摇一摇”晃动手机等。这一切最终导致测试过程不够充分,由此,显着降低了已有的自动化测试方法对使用者的吸引力。在本文中,我们提出了一种全新的基于用户指导的自动化测试技术(简称UGA),用以解决上述复杂交互引起的测试挑战问题。具体而言,本文的工作主要包括如下几个方面:●UGA利用用户视角去弥补自动化测试方法的不足。具体来说包含以下叁步:记录用户指导的一次应用执行情况:重放这次执行到特定的停止点;从这些停止点开始,执行自动化测试,系统地遍历应用状态。●我们设计并且在Android系统上实现了一个基于该方法的原型系统,也叫UGA。UGA工具能够记录并且重放所有类型的用户操作,并且支持已有的自动化测试方法。●建立在七个真实Android应用上的评估结果显示:UGA在方法覆盖上是现有最新的自动化测试方法的1.59到21.78倍。这表明,用户指导的测试方法(UGA)可以大大提高自动化测试的覆盖效果。●我们同样研究了影响UGA效果的因素。实验表明无论我们选择的用户对智能手机了解程度如何,UGA都能够在方法覆盖率上比自动化测试取得更好的效果。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
执行重放论文参考文献
[1].万齐智.基于插桩和动态符号执行的数据竞争检测与重放[D].华中科技大学.2015
[2].李秀江.基于用户执行踪迹重放的移动应用测试方法[D].南京大学.2015
[3].于佳耕,周鹏,武延军,赵琛.虚拟机确定性执行重放的模型分析和实现方法[J].软件学报.2012
[4].胡晓昌,丁丽萍,武延军.基于虚拟机执行过程重放的热迁移系统研究[J].计算机工程与设计.2010
[5].马超.基于虚拟机的增量检查点和执行重放技术研究[D].浙江大学.2008