微信服务号

微信订阅号

2025-4-25- 17
Home > Archive>Volume 18, Issue 4, 2007 >832-841
PDF HTML XML Export Cite reminder
An Approach to Analyzing Dependence Based on Exception Propagation Analysis
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [19]
    • |
  • Related [20]
    • |
  • Cited by [7]
    • | |
  • Comments
    Abstract:

    Based on analyzing the effects of exception handling constructs on dependence analysis, this paper proposes a precise and efficient representation for C++ programs with exception handling constructs—improved control flow graph. It proposes a new approach to analyzing the data dependences and control dependences of intra-function and inter-function in C++ programs with exception handling constructs, and an efficient algorithm is also presented. This method overcomes the limitations of the previous incorrect analysis because of failing to account for the effects of exception handling constructs, and also provides a basis for automatic dependence analysis that contains exception propagation. Finally, it discusses the application of the dependence analysis method in program slicing.

    Reference
    [1]Chen ZQ,Xu BW,Liu KC,Yang HJ,Liu KC,Zhang JP.An approach to analyzing dependency of concurrent programs.In:Proc.of the IEEE APAQS 2000.Hong Kong,2000.39-43.http://doi.ieeecomputersociety.org/10.1109/APAQ.2000.883776
    [2]Chen ZQ,Xu BW.Dependency analysis based dynamic slicing for debugging.Wuhan University Journal of Natural Sciences,2001,6(1-2):398-404.
    [3]Xu BW,Zhang T,Chen ZQ.Dependence analysis of recursive subprograms and its applications.Chinese Journal of Computers,2001,24(11):1178-1184 (in Chinese with English abstract).
    [4]Horwitz S,Reps T,Binkley D.Interprocedural slicing using dependence graphs.ACM Trans.on Programming Languages and Systems,1990,12(1):26-60.
    [5]Sinha S,Harrold MJ.Analysis and testing of programs with exception-handling constructs.IEEE Trans.on Software Engineering,2000,26(9):849-871.
    [6]Choi JD,Grove D,Hind M,Sarkar V.Efficient and precise modeling of exceptions for the analysis of Java programs.In:Proc.of the '99 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.1999.21-31.http://www.research.ibm.com/jalapeno/pub/paste99.ps
    [7]Sinha S,Harrold MJ.Analysis of programs with exception-handling constructs.In:Proc.of the ICSM.1998.348-357.http://ieeexplore.ieee.org/iel4/5960/15947/00738526.pdf
    [8]Sinha S,Harrold MJ,Rothermel G.System-Dependence-Graph-Based slicing of programs with arbitrary interprocedural control flow.In:Proc.of the Int'l Conf.on Software Engineering.1999.432-441.http://citeseer.ist.psu.edu/5475.html
    [9]Allen M,Horwitz S.Slicing Java programs that throw and catch exceptions.In:Proc.of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation.2003.44-54.http://www.cs.wisc.edu/wpis/papers/pepm03.ps
    [10]Chen ZQ,Zhou YM,Xu BW,Zhao JJ,Yang HJ.A novel approach to measuring class cohesion based on dependence analysis.In:Proc.of the Int'l Conf.on Software Maintenance (ICSM 2002).2002.377-383.http://ieeexplore.ieee.org/iel5/8357/26332/ 01167794.pdf
    [11]Chen ZQ.Program slicing based on dependence analysis[Ph.D.Thesis].Nanjing:Southeast University,2003 (in Chinese with English abstract).
    [12]Shelekhov VI,Kuksenko SV.Data flow analysis of Java programs in the presence of Exceptions.In:Broy BM,Zamulin A.eds.Proc.of the Perspectives of System Informatics,the 3rd Int'l Andrei Ershov Memorial Conf.(PSI'99).LNCS 1755,Springer-Verlag,2000.389-395.http://citeseer.ist.psu.edu/shelekhov99data.html
    [13]Robillard MP,Murphy GC.Static analysis to support the evolution of exception structure in object-oriented systems.ACM Trans.on Software Engineering and Methodology,2003,12(2):191-221.
    [14]Fu C,Ryder BG,Wonnacott DG.Robustness testing of Java server applications.IEEE Trans.on Software Engineering,2005,31(4):292-311.
    [15]Chen ZQ,Xu BW.An approach to measurement of class cohesion based on dependence analysis.Journal of Software,2003,14(11):1849-1856 (in Chinese with English abstract).http://www.jos.org.cn/1000-9825/14/1849.htm
    [16]Chen ZQ,Xu BW,Zhou YM.Measuring class cohesion based on dependence analysis.Journal of Computer Science and Technology,2004,19(6):859-866 (in English with Chinese abstract).
    [3]徐宝文,张挺,陈振强.递归子程序的依赖性分析及其应用.计算机学报,2001,24(11):1178-1184.
    [11]陈振强.基于依赖性分析的程序切片技术研究[博士学位论文].南京:东南大学,2003.
    [15]陈振强,徐宝文.一种基于依赖性分析的类内聚度度量方法.软件学报,2003,14(11):1849-1856.http://www.jos.org.cn/1000-9825/ 14/1849.htm
    Comments
    Comments
    分享到微博
    Submit
Get Citation

姜淑娟,徐宝文,史亮,周晓宇.一种基于异常传播分析的依赖性分析方法.软件学报,2007,18(4):832-841

Copy
Share
Article Metrics
  • Abstract:4167
  • PDF: 5600
  • HTML: 0
  • Cited by: 0
History
  • Received:December 21,2005
  • Revised:August 16,2006
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038768Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063