检索结果-南通市图书馆

计算机系统应用 2012年第11期21卷 198-201,207页

作者：苏欣缪力湖南大学信息科学与工程学院长沙410082

谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化,分析可能与错误相关的关键谓词判断语句,从而实现辅助错误定位.谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率.已有的排... 详细信息

谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化,分析可能与错误相关的关键谓词判断语句,从而实现辅助错误定位.谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率.已有的排序算法如LEFS算法定位效率较低;PRIOR算法虽然提高了定位效率,但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合,而后建立程序依赖图以定义谓词判断语句的优先级,这个过程需要花费大量的时间,且算法复杂度较高.在这两种算法基础上提出一种新的改进排序算法,首先通过对比成功和失败的测试用例在运行中所展现出来不同程序行为特征,以此定义谓词判断语句的优先级,然后对不同优先级别的谓词根据执行先后顺序进行反向排序.基于基准测试集Siemens Suite的程序进行了实验,结果表明本文的排序算法与LEFS算法相比定位效率更高,与PRIOR算法相比减少定义谓词优先级的耗费,且算法更易于实现.

关键词：谓词切换动态切片程序特征

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于定点变异和社区发现算法的软件缺陷定位方法研究

基于定点变异和社区发现算法的软件缺陷定位方法研究

引用

作者：杜润泽杭州电子科技大学

学位级别：硕士

随着互联网行业的发展,越来越多的软件被应用到人们的生活和工业的生产中,良好的软件质量不仅可以提高工作效率,而且还可以减少大量的手工成本。软件缺陷定位作为保证软件质量中的一环被广泛研究,它旨在帮助测试人员快速找到软件的缺陷... 详细信息

随着互联网行业的发展,越来越多的软件被应用到人们的生活和工业的生产中,良好的软件质量不仅可以提高工作效率,而且还可以减少大量的手工成本。软件缺陷定位作为保证软件质量中的一环被广泛研究,它旨在帮助测试人员快速找到软件的缺陷位置并修复,提高软件的可靠性和稳定性并降低人力资源成本。近年来,国内外研究人员提出了很多关于软件缺陷定位的方法,但仍然存在一些问题有待解决,例如如何在不降低定位精度的前提下减少定位所消耗的时间,或者在不增加定位所消耗时间的前提下提高定位精度,在多缺陷定位方法中无法很好地确定缺陷数目、未能考虑程序上下文信息等问题导致定位精度不佳。本文围绕以上问题展开研究,具体内容包括:(1)针对单缺陷定位方法中定位精度不够和资源消耗过大的问题,提出了一种基于函数切片和定点变异的单缺陷定位方法。首先计算出整个程序的语句可疑度列表和函数调用链频谱。其次只选取出可疑度较高的条件判断语句和循环语句并对其变异,通过减少变异体的数量来减少资源消耗。然后运行所有失败测试用例区分出关键谓词、关键循环词、非关键谓词、非关键循环词,并通过他们各自的数据依赖关系制作出可疑语句切片语句和不可疑语句切片。最后使用增强程序频谱得到语句可疑度列表并根据此列表检查出缺陷语句。该方法有效地降低了资源消耗且提高了定位精度。(2)针对多缺陷定位方法中无法很好地确定缺陷数目、未能考虑程序上下文信息的问题,提出了一种基于虚拟网络和社区发现算法的多缺陷定位方法。首先通过结合多缺陷语句可疑度列表的实际情况改进了肯德尔距离公式,然后把改进后的肯德尔距离公式用于聚类中心近似估值,估算出最佳聚类数目为缺陷数目并把它作为社区发现算法的最终社区数。接着使用社区发现算法结合程序上下文信息把缺陷隔离开来形成独立社区。最后分别对每个社区使用复杂网络缺陷定位方法来定位缺陷位置。该方法有效地确定了缺陷数目并结合了程序上下文信息,达到提高定位精度的效果。

关键词：软件缺陷定位定点变异复杂网络谓词切换

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：