debug concurrent programs with visualization and inference of event structure
文献类型:会议论文
作者 | Wu Xiaoquan ; Wei Jun ; Wang Xu |
出版日期 | 2012 |
会议名称 | 19th Asia-Pacific Software Engineering Conference, APSEC 2012 |
会议日期 | December 4, 2012 - December 7, 2012 |
会议地点 | Hong Kong, China |
关键词 | Computer software Flow visualization Java programming language Static analysis Visualization |
页码 | 683-692 |
中文摘要 | 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. |
英文摘要 | 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. |
收录类别 | EI |
会议主办者 | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter |
会议录 | Proceedings - Asia-Pacific Software Engineering Conference, APSEC |
语种 | 英语 |
ISSN号 | 1530-1362 |
ISBN号 | 9780769549224 |
源URL | [http://ir.iscas.ac.cn/handle/311060/15943] |
专题 | 软件研究所_软件所图书馆_会议论文 |
推荐引用方式 GB/T 7714 | 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. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。