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

吉林大学学报(信息科学版) ›› 2014, Vol. 32 ›› Issue (5): 528-533.

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

孙士明¹, 侯秀萍¹, 高灿², 孙琳琳¹

1. 长春工业大学计算机科学与工程学院, 长春 130012； 2. 苏州大学附属第一医院, 江苏苏州 215006

收稿日期:2014-01-14 出版日期:2014-09-26 发布日期:2014-12-26
作者简介:孙士明（1986—）, 男, 山东莱芜人, 长春工业大学硕士研究生, 主要从事软件工程研究,（Tel）86-13756116537（E-mail）sunshiming0634@qq.com；通讯作者：侯秀萍（1964—）, 女, 长春人, 长春工业大学教授, 硕士生导师, 主要从事软件工程研究, (Tel)86-18643194774(E-mail)houxiuping@mail.ccut.edu.cn。
基金资助:
国家科技部863高技术基金资助项目(2011AA040602)

Research on Fault Localization Based on Execution Trace and Dynamic Slicing

SUN Shiming¹, HOU Xiuping¹, GAO Can², SUN Linlin¹

1. School of Computer Science and Engineering, Changchun University of Technology, Changchun 130012, China;2. The First Affiliated Hospital, Soochow University, Suzhou 215006, China

Received:2014-01-14 Online:2014-09-26 Published:2014-12-26

摘要/Abstract

摘要：

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

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

Abstract:

The problem of faulty localization during program debugging is studied, and execution trace and dynamic slicing are applied to faulty localization. Irrelevant statements of fault localization are included in execution trace, accuracy of fault localization is affected by these statements. The influence of irrelevant tatements is reduced by dynamic slicing technology based on execution trace. The model of suspicious degrees computing based on execution trace and dynamic slicing had been established, and suspicious degree of each statements could be computed by this model. After sorting these statements by their suspicious degrees, recommendation of fault localization would be reached. The experimental results are compared with other algorithms, and the method of faulty localization based on execution trace and dynamic slicing is proved effective.

Key words: execution trace, dynamic slicing, suspicious degrees

中图分类号:

TP311

孙士明, 侯秀萍, 高灿, 孙琳琳. 基于程序执行轨迹与动态切片的错误定位研究[J]. 吉林大学学报(信息科学版), 2014, 32(5): 528-533.

SUN Shiming, HOU Xiuping, GAO Can, SUN Linlin. Research on Fault Localization Based on Execution Trace and Dynamic Slicing[J]. Journal of Jilin University(Information Science Ed, 2014, 32(5): 528-533.

[1]	杨永强, 李淑红. 改进蛙跳算法的网格任务调度优化模型[J]. 吉林大学学报(信息科学版), 2018, 36(2): 190-195.
[2]	袁满, 刘峰. EXPRESS 向 OWL2 本体模型自动转换研究[J]. 吉林大学学报(信息科学版), 2018, 36(1): 69-77.
[3]	袁满, 谢兰, 张晓冉. 数据质量约束规则的本体描述及推理研究[J]. 吉林大学学报(信息科学版), 2017, 35(6): 670-677.
[4]	陈建孝,韩正服,李永丽 . 基于微信平台防火防盗系统的设计与实现[J]. 吉林大学学报(信息科学版), 2017, 35(4): 461-464.
[5]	李枭, 任维政. 基于 SpringMVC 的多平台 J2EE 开发方式研究[J]. 吉林大学学报(信息科学版), 2017, 35(5): 569-575.
[6]	叶昕,王鏐璞 . 基于 ARM 的印版密度检测系统设计[J]. 吉林大学学报(信息科学版), 2016, 34(6): 787-791.
[7]	戴泽淼, 黄存东, 袁明磊, 颜世波. 基于 Android 平台的智能家居终端监控系统[J]. 吉林大学学报(信息科学版), 2016, 34(4): 574-575.
[8]	王祝琳, 陈典书, 李玲. 基于Hadoop 云平台个性化信息定制系统设计与实现[J]. 吉林大学学报(信息科学版), 2016, 34(2): 271-277.
[9]	朱翠娟1, 党相文1, 赵建光1, 董小刚2. 中小型企业采购管理信息系统设计[J]. 吉林大学学报(信息科学版), 2015, 33(6): 723-.
[10]	任伟建1, 左方晨1, 黄丽杰2, 董海超3. 基于GIS 的最短路径算法研究[J]. 吉林大学学报(信息科学版), 2015, 33(6): 675-.
[11]	张栋, 陈圣波, 李健. 基于北斗卫星的油田管网巡检系统的设计与实现[J]. 吉林大学学报(信息科学版), 2015, 33(6): 694-.
[12]	闫增成, 宋路. 基于模板匹配与线性预测的目标跟踪算法[J]. 吉林大学学报(信息科学版), 2015, 33(5): 544-.
[13]	刘焱, 陈圣波, 张栋, 梦华. 基于QT 和GDAL 的遥感图像快速显示程序开发[J]. 吉林大学学报(信息科学版), 2015, 33(5): 578-.
[14]	孙琳琳, 侯秀萍, 朱波, 肖宇虹, 王荣丽. 类簇级测试任务并行化研究[J]. 吉林大学学报(信息科学版), 2015, 33(5): 588-.
[15]	刘霞, 张姗姗, 胡铭鉴. 基于混沌人工蜂群算法优化的SVM 齿轮故障诊断[J]. 吉林大学学报(信息科学版), 2015, 33(4): 476-.