论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf

所需积分/C币:10 2019-07-22 19:29:27 1013KB .PDF
13
收藏 收藏
举报

基于程序频谱的动态缺陷定位(spectrum based dynamic fault localization,SFL)可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现:a)基于可执行语句覆盖的方法未考虑谓词错误和执行结果之间的关联;b)基于谓词覆盖的方法只针对谓词进行插桩,最后只计算谓词的可疑度并对谓词进行排序,如果缺陷是非谓词,此类方法无法准确定位缺陷位置;c)忽略了基本块之间的关联和层次特性,将各个基本块看成相互独立的个体。为解决上述问题,首先,将谓词错误与执行结果之间的关联性这一有用信息加入到算法的设计中;其次,加入谓词分层覆盖与分析的思想,对覆盖矩阵中

...展开详情
试读 7P 论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf
立即下载
限时抽奖 低至0.43元/次
身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf 10积分/C币 立即下载
1/7
论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf第1页
论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf第2页

试读结束, 可继续读1页

10积分/C币 立即下载