定位错误算法论文-李雅,黄少滨,李艳梅,迟荣华,郎大鹏

定位错误算法论文-李雅,黄少滨,李艳梅,迟荣华,郎大鹏

导读:本文包含了定位错误算法论文开题报告文献综述及选题提纲参考文献,主要关键词:调试,错误定位,最弱前置条件,反例理解

定位错误算法论文文献综述

李雅,黄少滨,李艳梅,迟荣华,郎大鹏[1](2019)在《一种基于最弱前置条件的软件错误定位算法》一文中研究指出错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置.(本文来源于《电子学报》期刊2019年01期)

文万志,陈善利[2](2015)在《一种基于依赖分析的程序错误定位算法》一文中研究指出程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数据依赖和控制依赖,通过求精算法和扩大算法实现程序错误定位。文中通过实例验证了该方法的有效性。(本文来源于《电脑知识与技术》期刊2015年20期)

李博[3](2012)在《软件调试中多错误定位的算法研究》一文中研究指出软件的测试、调试和验证占据了软件开发过程中的绝大部分的开销。这很大程度上是由于这个过程需要很多的人员参与,尤其是诊断出导致执行测试用例失效的错误。定位软件中的错误直接影响了软件的有效性,修正软件中的错误直接影响了软件的可靠性。所以能够自动诊断错误的技术势必可以帮助开发者提高软件的有效性,大大节约开发成本。近些年来,很多专家学者都在从事研究错误定位技术,并且提出了多种方法,广泛地应用在软件工程自动化领域。基于程序谱的软件错误定位技术SFL (Spectrum-Based Fault Localization)就是其中一种轻量级的诊断技术。SFL通过运行大量测试用例,比较程序谱的成功测试用例运行和失效测试用例运行的差异来进行错误诊断,定位出有问题的语句。SFL能够处理实验程序,它通过减少调试过程中的时间开销而缩短了测试-诊断-修正循环。但是现实中仍然存在着各种各样的程序错误使得SFL技术得不到很好的效果。本论文归纳了关于SFL的技术的发展,提出了一种改进的运用程序运行时依赖关系的多错误定位技术,它关心的是程序的数据依赖和控制依赖,而不关心语句等的覆盖信息,具体过程是通过插装程序、运行测试用例得到程序的动态的依赖信息,根据这依赖信息建立程序模型,计算各个依赖的可疑值,再用本文提出的方法得出语句的可疑值,来帮助调试人员定位程序中多个错误并修改错误。本论文在WET工具和LOUPE代码基础上实现了程序多错误定位算法。使用Siemens套件作为试验用的程序,用本文提出的方法与多个现有的程序错误定位技术进行分析比较得到本文方法的效果。结果表明,本文提出的多错误定位方法相对于其他的定位方法有很好的定位效果,具有一定的实际应用价值。(本文来源于《大连海事大学》期刊2012-05-01)

杨剑,刘玉梅[4](2009)在《GPSR协议定位错误情况下的性能研究及算法改进》一文中研究指出车载Adhoc网络已经成为受人关注的课题,但在现有的地理路由协议中,位置定位错误对协议的性能会造成很大影响.该文首先对GPSR协议进行了仿真,并通过仿真对位置定位错误影响的协议性能进行了分析,发现即使10%的错误率也会对GPSR协议性能造成很大影响.最后对GPSR协议的平面图算法提出了一种改进,使GPSR协议在定位错误的情况下性能有所提升.(本文来源于《应用科技》期刊2009年01期)

定位错误算法论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

程序错误定位是程序调试中最复杂最耗时的任务之一。文中提出一种新颖的基于依赖分析的错误定位方法,这种方法构造可疑代码的数据依赖和控制依赖,通过求精算法和扩大算法实现程序错误定位。文中通过实例验证了该方法的有效性。

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

定位错误算法论文参考文献

[1].李雅,黄少滨,李艳梅,迟荣华,郎大鹏.一种基于最弱前置条件的软件错误定位算法[J].电子学报.2019

[2].文万志,陈善利.一种基于依赖分析的程序错误定位算法[J].电脑知识与技术.2015

[3].李博.软件调试中多错误定位的算法研究[D].大连海事大学.2012

[4].杨剑,刘玉梅.GPSR协议定位错误情况下的性能研究及算法改进[J].应用科技.2009

标签:;  ;  ;  ;  

定位错误算法论文-李雅,黄少滨,李艳梅,迟荣华,郎大鹏
下载Doc文档

猜你喜欢