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

计算机科学 ›› 2006, Vol. 33 ›› Issue (4): 288-291.

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

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
本文得到国家自然科学基金（60373066）、国家973重大基础研究（2002CB312000）、教育部跨世纪杰出人才基金、教育部博士基金（20020286004）、江苏省计算机信息处理技术重点实验室（苏州大学）基金资助.

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

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

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

Abstract: Exception handling in modem 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 necessary to figure out the excepti

Key words: Exception handling, Static analysis, Exception propagation, Structure testing

. 一种静态分析C^＋＋异常处理的方法[J]. 计算机科学, 2006, 33(4): 288-291. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed