基于程序行为特征比较的谓词切换排序
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

湖南大学“青年教师成长计划”


Predicate Switching Ordering Based on Branch Spectra Comparison
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    谓词切换(Predicate Switching)通过动态改变程序中的谓词判断语句状态观察程序运行结果的变化, 分析可能与错误相关的关键谓词判断语句, 从而实现辅助错误定位. 谓词判断语句排序算法决定了谓词切换定位关键谓词判断语句的效率. 已有的排序算法如LEFS 算法定位效率较低; PRIOR 算法虽然提高了定位效率, 但必须首先做程序动态切片找寻与错误相关的谓词判断语句集合, 而后建立程序依赖图以定义谓词判断语句的优先级,这个过程需要花费大量的时间, 且算法复杂度较高. 在这两种算法基础上提出一种新的

    Abstract:

    Predicate Switching locates and analyses the critical predicate to locate fault through dynamically changing the branch predicate outcomes at runtime and observes the changes in the program results. Predicate Switching Ordering algorithm determines the efficiency of locating the critical predicate. Existing ordering algorithms, such as the LEFS (Last Executed First Switched Ordering, LEFS) algorithm with lower efficiency and the PRIOR (Prioritization-based Ordering, PRIOR) algorithm with higher efficiency, the latter time consuming and complexity of algorithm, are defective. In this paper, we propose a novel and improved algorithm, which first determines the priority of the predicate by comparing different program spectra between the success and failure of test cases, then orders priorities of predicate, according to the reverse order of the predicate executions. To evaluate it, we tested our technique on Siemens Suite. The results have shown that the ordering algorithm is more efficient in locating the critical predicate than the LEFS, and less consuming but more implemented than the PRIOR.

    参考文献
    相似文献
    引证文献
引用本文

苏欣,缪力.基于程序行为特征比较的谓词切换排序.计算机系统应用,2012,21(11):198-201,207

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2012-04-11
  • 最后修改日期:2012-05-22
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号