static detection of unsafe use of variables in java program

	static detection of unsafe use of variables in java program
	Wu Xiaoquan; Wei Jun
	2010
会议名称	Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010
会议录名称	Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010
页码	439-443
会议日期	40842
会议地点	Xi'an, China
收录类别	EI
出版地	United States
ISBN	9780770000000
部门归属	(1) Technology Center of Software Engineering, Institute of Software, Chinese Academy of Sciences, Beijing, China
摘要	Exception handling has been introduced into object oriented programming languages to help developing robust software. At the same time, it makes programming more difficult and it is not easy to write high quality exception handling codes. Careless exception handling code will introduce bugs and it usually forms certain kind of bug pattern. In this paper we propose a new bug pattern unsafe use of variables due to exception occurrences. It may cause the dependency safety property violation in a program. We also develop a static approach to automatically detect unsafe use of variables that may introduce potential bugs in Java program. This approach can be integrated into current bug finding tools to help developer improve the quality of Java program. © 2010 IEEE.
关键词	Computer Software Selection And Evaluation Java Programming Language Object Oriented Programming Program Debugging Ubiquitous Computing
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/8918
专题	软件工程技术研究开发中心
推荐引用方式 GB/T 7714	Wu Xiaoquan,Wei Jun. static detection of unsafe use of variables in java program[C]. United States,2010:439-443.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
05667112.pdf（437KB）			开放获取	--	请求全文