中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
一种基于单条程序执行路径的错误定位方法
Alternative Title: Fault Localization Method Based on Program Execution Trace
Author: 周艺 ; 易秋萍 ; 刘剑 ; 淮晓永
Keyword: 错误定位 ; 最弱前置条件 ; 可满足性理论 ; 动态分析 ; 自动化测试 ; fault localization ; weakest pre-condition computation ; satisfiability modulo theories ; dynamic analysis ; automated testing
Source: 计算机系统应用
Issued Date: 2014
Issue: 10, Pages:112-118
Department: 中国科学院软件研究所 总体部,北京 100190; 中国科学院大学 北京 100049 中国科学院软件研究所 总体部,北京,100190
Abstract: 当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应的疑似错误语句集,并生成错误定位树,来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。 After a failed test is encountered and the error trace is generated, a significant amount of effort is often required for programmers to manually examine the program code and localize the failure’s root cause. In this paper, we propose a fault localization method based on program execution trace. This method computes a set of possible error statements based on a combination of weakest pre-condition computation through program’s reverse execution. All possible error statements are organized in a fault localization tree to help developer identify the root cause. Our experiments on SIR datasets demonstrate that our method can not only efficiently compute the possible causes, but also provide sufficient information to help programmers quickly locate the root cause.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16966
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
周艺,易秋萍,刘剑,等. 一种基于单条程序执行路径的错误定位方法[J]. 计算机系统应用,2014-01-01(10):112-118.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[周艺]'s Articles
[易秋萍]'s Articles
[刘剑]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[周艺]‘s Articles
[易秋萍]‘s Articles
[刘剑]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace