基于关键谓词的程序错误定位方法 被引量：1

1

作者 辛良 姜淑娟 《计算机工程》 CAS CSCD 北大核心 2010年第14期54-55,58,共3页

将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和... 将程序切片技术应用于程序错误定位可以大量减少需要测试的语句数。提出一种基于关键谓词的程序错误定位方法,从程序中找出能影响输出结果的关键谓词,对该谓词和错误输出语句进行数据切片,并引入代码优先技术。该方法考虑了数据依赖和控制依赖,能实现准确快速的错误定位。 展开更多

关键词 错误定位 程序切片 关键谓词

在线阅读 下载PDF 职称材料

一种回归测试后的错误定位方法 被引量：2

2

作者 蒋曹清 张大方 缪力 《计算机工程与科学》 CSCD 2005年第4期14-15,39,共3页

测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定... 测试和调试之间的关系是极端密切的。回归测试是软件测试和维护过程中的一个重要活动。在程序中找出错误是一个复杂的过程,它涉及到理解程序的用途、结构、语意和导致错误的测试的相关特征。本文提出了一种基于Chopping技术进行错误定位的方法。这种方法反复利用调试信息和回归测试结果,通过从程序中抽取出与特定的语句有关的、相对原来的程序小得多的语句集,实现准确、快速的错误定位。 展开更多

关键词 软件测试 回归测试 软件开发 程序切片错误定位方法 Chopping技术 程序分解技术

在线阅读 下载PDF 职称材料

基于变量切片与关联规则的错误定位方法 被引量：2

3

作者 王曙燕 罗丹 孙家泽 《计算机工程》 CAS CSCD 北大核心 2018年第7期74-79,85,共7页

针对软件测试中传统错误定位方法忽略程序内部依赖关系以及效率较低的问题,结合变量切片和关联规则提出一种新的定位方法。对Java程序进行变量切片,利用切片位置信息构造事务数据库。在此基础上,通过关联分析算法得到关联规则集合,生成... 针对软件测试中传统错误定位方法忽略程序内部依赖关系以及效率较低的问题,结合变量切片和关联规则提出一种新的定位方法。对Java程序进行变量切片,利用切片位置信息构造事务数据库。在此基础上,通过关联分析算法得到关联规则集合,生成检查语句的优先级次序,据此定位错误出现的位置。在5个基准程序上的实验结果表明,与基于怀疑度公式的7种常见方法相比,该方法的错误定位代价平均降低10%以上,可有效提高错误定位效率,降低软件测试成本。 展开更多

关键词 错误定位 变量切片 关联规则 JAVA程序 优先级次序

在线阅读 下载PDF 职称材料

一种基于层次切片谱的软件错误定位技术 被引量：18

4

作者 文万志 李必信 +1 位作者 孙小兵 刘翠翠 《软件学报》 EI CSCD 北大核心 2013年第5期977-992,共16页

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,... 传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,以提高面向对象程序中的错误定位效率.这种技术首先分析程序不同粒度层次元素(包、类、方法以及语句)之间的依赖信息,对可能发生错误的元素进行筛选,缩小错误查找范围;在此基础上,建立了层次切片谱模型,并定义了一种可疑度度量方法;最后根据该可疑度结果从大到小的顺序进行错误定位.通过实验验证了基于层次切片谱的错误定位技术的有效性,且比基于程序谱的Tarantula技术、Union技术、Intersection技术效率更高. 展开更多

关键词 层次切片模型 层次切片谱 可疑度 错误定位 程序谱

在线阅读 下载PDF 职称材料

基于条件执行切片谱的多错误定位 被引量：12

5

作者 文万志 李必信 +1 位作者 孙小兵 齐珊珊 《计算机研究与发展》 EI CSCD 北大核心 2013年第5期1030-1043,共14页

基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了... 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成. 展开更多

关键词 多错误定位 程序切片谱 程序谱 条件执行切片 软件调试

在线阅读 下载PDF 职称材料

基于切片谱的错误定位框架影响因素分析 被引量：1

6

作者 鞠小林 姜淑娟 +2 位作者 陈翔 张艳梅 邵浩然 《计算机研究与发展》 EI CSCD 北大核心 2014年第12期2772-2787,共16页

错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率... 错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,Russel&Rao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好. 展开更多

关键词 程序调试 错误定位 切片谱 怀疑度计算 错误诊断

在线阅读 下载PDF 职称材料

基于分块切片的软件错误定位技术 被引量：1

7

作者 文万志 陈建平 +1 位作者 陈翔 鞠小林 《计算机工程与设计》 北大核心 2015年第12期3258-3263,3301,共7页

鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构... 鉴于基于谱的软件错误定位技术缺乏依赖分析及存在过多不可区分的语句问题,给出一种基于分块切片的软件错误定位技术BSlicing-SFL(block slicing based software fault localization)的实现方法。基于不可区分块间数据依赖和控制依赖构建系统依赖图并生成分块切片,在此基础之上,统计计算切片内元素可疑度值进行错误定位。通过3个实际应用程序验证了分块切片的约减度及BSlicing-SFL技术的有效性。 展开更多

关键词 程序切片 软件错误定位 程序频谱 系统依赖图 分块切片

在线阅读 下载PDF 职称材料

基于贝叶斯的软件错误定位方法

8

作者 姜元鹏 李威 +1 位作者 于巧 姜淑娟 《计算机工程与设计》 CSCD 北大核心 2014年第11期3845-3849,共5页

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语... 为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。 展开更多

关键词 错误定位 程序切片 概率统计 贝叶斯定理 实验

在线阅读 下载PDF 职称材料

基于条件概率的错误定位方法 被引量：2

9

作者 黄晴雁 牟永敏 《科学技术与工程》 北大核心 2019年第36期217-224,共8页

有效的软件调试是保证软件可靠性的关键。调试旨在发现程序中存在的错误并进行修复,其中错误定位最为烦琐,针对目前性能优异的基于程序频谱的定位方法展开研究。为了能直观地表现程序频谱与执行结果之间的联系,结合条件概率的思想对这... 有效的软件调试是保证软件可靠性的关键。调试旨在发现程序中存在的错误并进行修复,其中错误定位最为烦琐,针对目前性能优异的基于程序频谱的定位方法展开研究。为了能直观地表现程序频谱与执行结果之间的联系,结合条件概率的思想对这种联系进行量化分析,并基于条件概率模型的特征提出了一种新的可疑度计算公式CPStar,该方法采用了不确定性系数Star,通过调节系数的大小提高公式的可用性,可以有效修正成功测试用例的数量对定位效果的不利影响。实验结果表明,提出的CPStar方法可以在一定程度上提高错误定位的准确性与效率,其定位效果优于其他方法。 展开更多

关键词 软件调试 错误定位 程序频谱 条件概率 CPStar方法

在线阅读 下载PDF 职称材料

结合用例约简与联合依赖概率建模的错误定位 被引量：6

10

作者 苏小红 龚丹丹 +1 位作者 王甜甜 马培军 《软件学报》 EI CSCD 北大核心 2014年第7期1492-1504,共13页

现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体.... 现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体.不同于一般的测试用例约简方法,所提出的测试用例约简方法在程序执行路径的基础上充分考虑了错误测试用例对错误定位的影响,能够为错误定位提供有效的测试用例,为快速、准确地定位软件错误奠定基础.定义了一种新的统计模型——联合依赖概率模型,充分分析了程序元素间的控制依赖、数据依赖以及语句执行状态,并提出基于联合依赖概率模型的错误自动定位方法.通过计算联合依赖关系的可疑度,对可疑节点进行排序,准确定位错误语句.实验结果表明:与SBI,SOBER,Tarantula,SF和RankCP方法相比,该算法可以更加有效地定位软件错误. 展开更多

关键词 程序分析 错误定位 测试用例约简 程序切片 统计分析

在线阅读 下载PDF 职称材料

基于变量感染分析的软件错误定位技术

11

作者 江联 黄海亮 +2 位作者 周晓聪 王欣明 李文军 《计算机科学与探索》 CSCD 2014年第8期966-977,共12页

在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初... 在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。 展开更多

关键词 错误定位 变量感染 动态程序切片 语句覆盖信息

在线阅读 下载PDF 职称材料