debug concurrent programs with visualization and inference of event structure

CORC > 软件研究所 > 软件所图书馆 > 会议论文

	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.