期刊文献+

一种分析异常传播路径的方法 被引量:2

Approach to Analyzing Exception Propagation Path
下载PDF
导出
摘要 异常的传播会给程序的分析、理解、测试和维护工作带来很多困难。为了解决目前在分析异常传播路径中表示方法过于复杂的问题,该文针对C++的异常机制建立异常控制流图模型,在分析异常在传播过程中各种关系的基础上建立异常传播图模型,并对异常传播图在结构测试中的应用进行讨论。使用该模型可以准确清晰地表示出异常传播的路径,大大简化异常传播路径的分析。 Exception propagation will bring a lot of difficulties in analyzing,understanding,testing and maintaining programs.To solve the problem that the representation is too complex in describing exception propagation path,based on C++ exception handling,this paper proposes an exception control flow graph model.It constructs an exception propagation graph model based on analyzing various relationships in the course of exception propagation,and discusses the application of the exception propagation graph in the structure testing.Using this graph can show a clear and precise exception propagation path and greatly simplify the analysis.
出处 《计算机工程》 CAS CSCD 北大核心 2008年第8期50-52,共3页 Computer Engineering
基金 国家自然科学基金资助项目(40401038) 仲恺农业技术学院校基金资助项目(G3061816) 中国矿业大学科学研究基金资助项目
关键词 异常处理 程序分析 异常传播 控制流图 exception handling program analysis exception propagation control flow graph
  • 相关文献

参考文献6

  • 1Knudsen J L. Exception Handling and Fault Tolerance in the Beta Exception Handling Model[M]//Romanovsky A, Dony C, Knudsen J L, et al. Advances in Exception Handling Techniques. [S. l.]: Springer-Verlag, 2001.
  • 2Chang B M, Jo J W. Visualization of Exception Propagation for Java Using Static Analysis[C]//Proceedings of the 2nd IEEE International Workshop on Source Code Analysis and Manipulation. [S. l.]: IEEE Press, 2002.
  • 3Robillard M P, Murphy G C. Analyzing Exception Flow in Java Programs[C]//Proc. of 1999 European Software Engineering Conference and ACM SIGSOFT Symposium on Foundations of Software Engineering. [S. l.]: Springer-Verlag, 1999: 322-337.
  • 4Brennan P T. Observation on Program-wide Ada Exception Propagation[C]//Proceedings of the Conference on TRI-Ada'93, [S, l,]: ACM Press, 1993: 189-195.
  • 5Stroustrup B. The C++ Programming Language[M]. [S. l.]: Addison- Wesley, 2000.
  • 6Ryder B G, Smith D, Kremer U, et al. A Static Study of Java Exceptions Using JSEP[R]. New Brunswick, USA: Rutgers University, Tech. Rep.: DCS- TR-403, 1999-11.

同被引文献4

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部