一种静态分析C++异常处理的方法

摘要：

异常处理是现代程序设计语言提供的用来提高软件健壮性的一种机制.由于在C++的函数界面中并不要求声明该函数所能传播出的异常的类型,所以要想提高系统的健壮性,必须清楚在程序的执行过程中可能引发的异常、异常的传播路径等.然而在大型系统中,要想确定这些信息是非常困难的.本文针对C++的异常处理机制,首先提出了一个描述C++异常结构信息的模型,并把该模型应用于递归函数中.然后,描述了一个基于该模型的分析C++程序异常结构信息的工具CETool.该工具能提供所有显式引发异常的有关信息,为系统中异常处理结构的改进和程序的结构测试提供有价值的信息.最后给出了该工具的实现方法和应用实例.

关键词：异常处理、静态分析、异常传播、结构测试

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：中国科学院资助项目60373066;科技部科研项目2002CB312000;教育部跨世纪优秀人才培养计划;高等学校博士学科点专项科研项目20020286004;江苏省重点实验室基金

在线出版日期：2006-06-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：288-291,封4