中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文
Title:
debug concurrent programs with visualization and inference of event structure
Author: Wu Xiaoquan ; Wei Jun ; Wang Xu
Source: Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Conference Name: 19th Asia-Pacific Software Engineering Conference, APSEC 2012
Conference Date: December 4, 2012 - December 7, 2012
Issued Date: 2012
Conference Place: Hong Kong, China
Keyword: Computer software ; Flow visualization ; Java programming language ; Static analysis ; Visualization
Indexed Type: EI
ISSN: 1530-1362
ISBN: 9780769549224
Department: (1) Technology Center of Software Engineering Institute of Software Chinese Academy of Sciences China; (2) State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China; (3) Graduate University of Chinese Academy of Sciences China; (4) Department of Computer Science Oxford University United Kingdom
Sponsorship: IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
Abstract: Owing to the inherent non-determinism of concurrent programs, traditional debugging techniques are not sufficient, especially in the scene of postmortem debugging. Exploring defects through static analysis can avoid the high cost of failure reproduction. In this paper, we present a novel debugging method for concurrency bugs. We make use of information in bug reports and slicing techniques, construct an event structure model from Java program to reveal the program behaviors related to the suspicious variables and methods identified from bug reports. Utilize the nature of event structure, we extract a small but sufficient subset from all possible execution traces and visualize them with a graph. This method can effectively help to comprehend concurrent system and assist in locating concurrency bugs. We have implemented a tool called JESVisT (Java event structure visualization Tool) to support this method based on open-source projects Bandera and Indus. © 2012 IEEE.
English Abstract: Owing to the inherent non-determinism of concurrent programs, traditional debugging techniques are not sufficient, especially in the scene of postmortem debugging. Exploring defects through static analysis can avoid the high cost of failure reproduction. In this paper, we present a novel debugging method for concurrency bugs. We make use of information in bug reports and slicing techniques, construct an event structure model from Java program to reveal the program behaviors related to the suspicious variables and methods identified from bug reports. Utilize the nature of event structure, we extract a small but sufficient subset from all possible execution traces and visualize them with a graph. This method can effectively help to comprehend concurrent system and assist in locating concurrency bugs. We have implemented a tool called JESVisT (Java event structure visualization Tool) to support this method based on open-source projects Bandera and Indus. © 2012 IEEE.
Language: 英语
Content Type: 会议论文
URI: http://ir.iscas.ac.cn/handle/311060/15943
Appears in Collections:软件所图书馆_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
Wu Xiaoquan,Wei Jun,Wang Xu. debug concurrent programs with visualization and inference of event structure[C]. 见:19th Asia-Pacific Software Engineering Conference, APSEC 2012. Hong Kong, China. December 4, 2012 - December 7, 2012.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[Wu Xiaoquan]'s Articles
[Wei Jun]'s Articles
[Wang Xu]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[Wu Xiaoquan]‘s Articles
[Wei Jun]‘s Articles
[Wang Xu]‘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