检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于概率推断的动态切片裁剪方法

基于概率推断的动态切片裁剪方法

作者：夏嘉斌上海交通大学

学位级别：硕士

动态程序切片能够在程序运行出现异常的情形下有效地捕获到导致该异常出现的错误代码以及传播错误数据的程序运行路径。动态切片技术由于其能够把检查程序错误的范围缩小，成为程序调试的重要工具之一。但是，普通的程序动态切片技术并... 详细信息

动态程序切片能够在程序运行出现异常的情形下有效地捕获到导致该异常出现的错误代码以及传播错误数据的程序运行路径。动态切片技术由于其能够把检查程序错误的范围缩小，成为程序调试的重要工具之一。但是，普通的程序动态切片技术并没有对于切片结果提供额外的参数辅助程序员进一步缩减排查空间，使得在大型程序的切片结果中仍然会出现大小超出理想范围的切片，造成程序调试依旧面临着巨大的人力消耗，直接导致程序维护的高昂代价。自动化错误检测技术能够通过添加辅助信息的方式使得程序切片能够以更加突出的方式显现出程序错误的可能位置，从而让动态切片技术成为更高效的协同调试工具。数据挖掘领域的一部分研究将其技术运用到程序自动错误分析中，但是迄今的主要研究对象仍然停留在程序谓词和返回值上，并不能够满足现实程序多种多样的错误类型。为了提高程序调试的效率，本文提出了一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度、进而裁剪的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;随后在该网络上运行概率推演并统计，得到程序静态语句的正确概率;最后采用二分聚类的统计方式对切片进行裁剪。实验表明激进的裁剪策略能使4%的代码量覆盖27.49%的错误;而保守的策略可使66%的代码量覆盖84.66%的缺陷。数据说明使用裁剪后的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率。

关键词：动态切片程序调试概率推演自动化程序分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于依赖标识的并发程序动态切片方法

微电子学与计算机 2009年第7期26卷 206-209,213页

作者：郝学姣汤小春西北工业大学计算机学院陕西西安710072

针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图(COOPDG)作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决定是否动态地标识COOPDG中相应的边.该方法能降低动态切片在... 详细信息

针对面向对象并发程序给出一种基于依赖标识的动态切片方法.使用面向对象并发程序依赖图(COOPDG)作为中间图表示,然后对不同类型依赖边进行分析,根据在运行时依赖是否出现来决定是否动态地标识COOPDG中相应的边.该方法能降低动态切片在运行时对中间图的更新时间,以及获得切片的反应时间.

关键词：动态切片面向对象并发程序线程依赖

基于动态程序切片技术的测试用例自动生成研究

在线全文

学校读者我要写书评

暂无评论

基于动态程序切片技术的测试用例自动生成研究

作者：刘磊安徽大学

学位级别：硕士

随着软件的需求和规模的增大,软件的质量变得日益重要。软件测试是软件质量的最重要解决方案,而测试用例的生成则是软件测试中最重要的环节。由于测试用例生成的效率和方法将直接影响到软件测试的效果,因此,本文对测试用例的自动化生成... 详细信息

随着软件的需求和规模的增大,软件的质量变得日益重要。软件测试是软件质量的最重要解决方案,而测试用例的生成则是软件测试中最重要的环节。由于测试用例生成的效率和方法将直接影响到软件测试的效果,因此,本文对测试用例的自动化生成进行了较为详细的研究,具有十分重要的意义。程序切片是一种程序分解技术,通过对程序进行分解成切片,并对切片进行相关的研究从而达到对整个程序的理解。程序切片在软件的测试、调试、维护和编码等等都有极其广泛的用途。动态切片是程序切片中的一种,本文在对已有的动态切片理论和算法研究的基础上提出了一种改进的算法,通过程序实际的执行路径上的控制依赖和数据依赖节点以及可到达语句求出给定切片准则上的动态切片,并通过一个具体的实例对算法进行验证,实验表明生成的切片是有效的。随后,本文把这种动态切片算法应用到测试用例的自动生成中。具体方法是给定初始输入和指定路径,首先找到给定初始输入的实际执行路径与指定路径的最长公共前缀节点,然后计算该节点的动态切片,并通过不断地调整输入去运行切片,使得程序该节点的谓词函数取反,最后直至运行的路径与给定路径完全相等,则指定路径的测试用例也就生成了。最后,通过实际开发出的测试用例自动工具对实例进行演示,实验表明,基于动态切片技术的测试用例自动生成是行之有效的。

关键词：程序切片动态切片测试用例生成

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

利用动态切片方法评价C语言程序

电脑知识与技术 2017年第11期13卷 278-281页

作者：阎萍赣南师范大学数学与计算机科学学院江西赣州341000

针对C语言程序的评价问题,给出了执行点和执行历史相关概念的描述,讨论了执行点之间的关系,给出了关于单变量和执行点的动态切片的定义,在此基础上,给出了关于输入输出变量集和执行历史的动态切片的计算公式以及相应的程序评分方法,并... 详细信息

针对C语言程序的评价问题,给出了执行点和执行历史相关概念的描述,讨论了执行点之间的关系,给出了关于单变量和执行点的动态切片的定义,在此基础上,给出了关于输入输出变量集和执行历史的动态切片的计算公式以及相应的程序评分方法,并通过一个实例给出了计算过程。

关键词： C语言动态切片执行点执行历史

在线全文

学校读者我要写书评

暂无评论

基于程序执行轨迹与动态切片的错误定位研究

吉林大学学报（信息科学版） 2014年第5期32卷 528-533页

作者：孙士明侯秀萍高灿孙琳琳长春工业大学计算机科学与工程学院长春130012 苏州大学附属第一医院江苏苏州215006

为解决程序调试过程中的错误定位问题,将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句,影响错误定位的准确度。在执行轨迹的基础上,通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于... 详细信息

为解决程序调试过程中的错误定位问题,将程序执行轨迹和动态切片技术应用于错误定位。程序执行轨迹中包含与错误无关语句,影响错误定位的准确度。在执行轨迹的基础上,通过使用动态切片技术降低不相关语句在错误定位时的影响。建立基于程序执行轨迹和动态切片的语句怀疑度计算模型,使用该模型计算每条语句的怀疑度,并根据怀疑度对每条语句进行排序,给出查错的推荐方案。通过实验对比其他算法,证明了基于程序执行轨迹与动态切片的错误定位方法是有效的。

关键词：执行轨迹动态切片怀疑度

在线全文

学校读者我要写书评

暂无评论

基于概率推演的动态程序切片优先度计算方法

计算机与现代化 2013年第3期 12-16页

作者：夏嘉斌上海交通大学软件学院上海200240

为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计... 详细信息

为了提高程序调试的效率,本文提出一种基于概率推演自动计算动态程序切片中每条语句的正确概率并赋予优先度的方法。首先从程序运行过程抽取其相应的动态依赖关系图;然后根据依赖关系转化成贝叶斯网络;最后在该网络上运行概率推演并统计,得到程序静态语句的正确概率。使用具有优先度的动态程序切片结果可进一步提高调试人员定位缺陷和分析故障的效率。实验表明本方法平均可将实际错误排名在切片结果的前20.2%。

关键词：动态切片程序调试概率推演自动化程序分析错误定位

在线全文

学校读者我要写书评

暂无评论

动态程序切片研究及其应用

东北农业大学学报 2005年第3期36卷 397-400页

作者：李英梅伦立军丁雪梅哈尔滨师范大学计算机科学系黑龙江哈尔滨150080

动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其... 详细信息

动态程序切片根据程序的输入,从源程序删除零条或多条语句,得到对最终结果有潜在影响的源程序子集,可用于程序调试、程序理解、软件测试和软件维护等方面。文章讨论了动态切片基本概念,提出了一种基于动态流的动态切片方法,并讨论了其在软件测试和程序调试中的应用。

关键词：程序切片动态切片切片准则

在线全文

学校读者我要写书评

暂无评论

面向方面程序的简化动态依赖图切片方法

计算机科学与探索 2011年第3期5卷 229-237页

作者：张广泉黄静章晓芳刘长林苏州大学计算机科学与技术学院江苏苏州215006 中国科学院软件研究所计算机科学国家重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210093

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了... 详细信息

程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。

关键词：面向方面程序静态切片动态切片简化动态依赖图

在线全文

学校读者我要写书评

暂无评论

一种基于覆盖测试的动态切片的计算方法

应用科学学报 2004年第2期22卷 205-210页

作者：易彤吴方君东南大学计算机科学与工程系江苏南京210096

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片... 详细信息

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.

关键词：覆盖测试动态切片计算方法程序分析程序切片软件测试动态依赖图