debug concurrent programs with visualization and inference of event structure

ISCAS OpenIR

	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
会议录名称	Proceedings - Asia-Pacific Software Engineering Conference, APSEC
页码	683-692
会议日期	December 4, 2012 - December 7, 2012
会议地点	Hong Kong, China
收录类别	EI
ISSN	1530-1362
ISBN	9780769549224
部门归属	(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
摘要	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.
关键词	Computer Software Flow Visualization Java Programming Language Static Analysis Visualization
主办者	IEEE Hong Kong Section Computer Society Chapter; ACM Hong Kong Chapter
语种	英语
内容类型	会议论文
URI标识	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],2012:683-692.