Institutional Repository
| debug concurrent programs with visualization and inference of event structure | |
| Wu Xiaoquan; Wei Jun; Wang Xu | |
| 2012 | |
| Conference Name | 19th Asia-Pacific Software Engineering Conference, APSEC 2012 |
| Source | Proceedings - Asia-Pacific Software Engineering Conference, APSEC |
| Pages | 683-692 |
| Conference Date | December 4, 2012 - December 7, 2012 |
| Conference Place | Hong Kong, China |
| 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 |
| 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.; 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. |
| Keyword | Computer Software Flow Visualization Java Programming Language Static Analysis Visualization |
| Sponsorship | IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15943 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Wu Xiaoquan,Wei Jun,Wang Xu. debug concurrent programs with visualization and inference of event structure[C],2012:683-692. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment