中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
会议日期40842
会议地点Xi'an, China
关键词Computer software selection and evaluation Java programming language Object oriented programming Program debugging Ubiquitous computing
页码439-443
英文摘要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.
收录类别EI
会议录Proceedings - Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing in Conjunction with the UIC 2010 and ATC 2010 Conferences, UIC-ATC 2010
会议录出版地United States
ISBN号9780770000000
源URL[http://124.16.136.157/handle/311060/8918]  
专题软件研究所_软件工程技术研究开发中心 _会议论文
推荐引用方式
GB/T 7714
Wu Xiaoquan,Wei Jun. static detection of unsafe use of variables in java program[C]. 见: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. Xi'an, China. 40842.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。