Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Science》 2006-04
Add to Favorite Get Latest Update

An Approach to Static Analysis of Exception Handling in C~(++)

JIANG Shu-Juan~(1,2) XU Bao-Wen~1 SHI Liang~1 XIAO Yang~2(Department of Computer Science & Engineering,Southeast University,Nanjing 210096) 1(School of Computer Science & Technology,China University of Mining & Technology,Xuzhou 221008) 2  
Exception handling in modern programming languages is a mechanism that can improve software robustness. Since the signature of an C~(++) function may not specify the set of exceptions that the function can propagate,it is neces- sary to figure out the exceptions that may be raised during executing program,the origins of the exceptions and their exception propagation paths.Unfortunately,in large programs,this exceptional information can be difficult,if not im- possible,to determine.Firstly,the paper presents a model that can describe the exception handling information for C~(++) exception handling mechanism,and applies the model to recursive functions.Then describes CETool,a static a- nalysis tool we have developed to provide exception-flow information for C~(+1) systems based on this model.The CETool provides the information related to the explicit exceptions.The information is helpful to support the improvements to the exception handling structure of a system and structure testing of a program.It also presents the implementation of CETool and its application.
【Fund】: 国家自然科学基金(60373066);; 国家973重大基础研究(2002CB312000);; 教育部跨世纪杰出人才基金;; 教育部博士基金(20020286004);; 江苏省计算机信息处理技术重点实验室(苏州大学)基金资助
【CateGory Index】: TP312.1
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【Citations】
Chinese Journal Full-text Database 2 Hits
1 JIANG Shu-Juan XU Bao-Wen (Department of Computer Science & Engineering, Southeast University, Nanjing 210096) (School of Computer Science & Technology, China University of Mining & Technology, Xuzhou 221008) (Jiangsu Province Key Laboratory of Computer Information Processing, Soochow University, Suzhou 215006);Exception Handling-An Approach to Improving Software Robustness[J];Computer Science;2003-09
2 XU Bao-Wen ZHANG Ting CHEN Zhen-Qiang (Department of Computer Science and Engineering, Southeast University, Nanjing 210096) (State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072);Dependence Analysis of Recursive Subprograms and Its Applications[J];Chinese Journal of Computers;2001-11
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 ZHANG Kai,CHEN Li(Department of Computer Science,Huazhong Normal University,Wuhan 430079,China);Linux Interrupt System Measurement with Program Dependency[J];Journal of Huzhou Teachers College;2005-02
2 WU Jun-hua,WANG Ting-ting(College of Information Science and Engineering,Nanjing University of Technology,Nanjing 210009,China);An approach to obtain Web structural slice and its applications[J];Journal of Nanjing University of Technology(Natural Science Edition);2008-04
3 HUANG Wei (Department of Electronic Engineering, Nantong Vocational College, Nantong 226007, China);The Design and Realization of The Centralized Model to Deal with the Exception Base on Singleton-Pattern[J];Journal of Nantong Vocational College;2009-04
4 JIANG Cao-qing1,2 YING Shi1 NI You-cong1 GUAN Hua1(State Key Lab of Software Engineering,Wuhan University,Wuhan 430072,China)1(Department of Computer and Information Management,Guangxi University of Financial and Economics,Nanning 530003,China)2;Program Chopping Approach for Java Program[J];Computer Science;2011-01
5 JIANG Shu-Juan1,2+, XU Bao-Wen1, SHI Liang1 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China);An Approach of Data-Flow Analysis Based on Exception Propagation Analysis[J];Journal of Software;2007-01
6 JIANG Shu-Juan1,2,3+, XU Bao-Wen1,2, SHI Liang1,2, ZHOU Xiao-Yu1,2 1(School of Computer Science and Engineering, Southeast University, Nanjing 210096, China) 2(Jiangsu Institute of Software Quality, Nanjing 210096, China) 3(School of Computer Science and Technology, China University of Mining and Technology, Xuzhou 221008, China);An Approach to Analyzing Dependence Based on Exception Propagation Analysis[J];Journal of Software;2007-04
7 ZHANG Li-yong,LIU Jian,CHEN Ping(Software Engineering Inst.,Xidian Univ.,Xi'an 710071,China);Static analysis of C/C++ program for safety[J];Systems Engineering and Electronics;2008-06
8 Zhao Xuefeng Jiang Shujuan College of Computer Science China University of Mining and Technology Xuzhou Jiangsu 221116 China;A statistical tool for dealing with exception Design and Implementation[J];China Science and Technology Information;2008-21
9 YI Tong,WU Fang-jun (Department of Computer Science & Engineering, Southeast University, Nanjing 210096, China);An Approach for Computing Dynamic Slicing Based on Coverage-Testing[J];Journal of Applied Sciences;2004-02
10 WU Fang-jun,YI Tong (Department of computer Science & Engineering, Southeast University, Nanjing 210096, China);The UML Class Diagram Coarse-Grained Slicing Based on Dependency Analysis[J];Journal of Applied Sciences;2004-03
【Secondary Citations】
Chinese Journal Full-text Database 2 Hits
1 YANG Hong (Jiangsu Insititute of Automation, Lianyungang 222001) XU Bao Wen (Department of Computer Science and Engineering,Southeast University, Nanjing 210096);DESIGN AND IMPLEMENTATION OF APSS/ADA PROGRAM SLICING SYSTEM[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1997-03
2 Xu BaowenDeft. Computer Science and Engineering,University of Aeronautics and Astronautics,Nanjing 210016;REVERSE PROGRAM FLOW DEPENDENCY ANALYSIS AND ITS APPLICATIONS[J];Chinese Journal of Computers;1993-05
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved