摘要
异常处理机制是程序设计语言的重要特征之一,它为开发可靠性系统提供了强有力的支持。但异常处理代码必须仔细编写,否则可能破坏程序的一致性。提出了基于扩展的程序依赖图,通过静态分析来发现程序中异常非原子性代码的方法,同时给出了自动的部分屏蔽异常非原子性代码的方法。
Exception is one of the important features of modem programming languages. It offers a strong support for reliable software system development. However, exception handling codes must be written carefully to preserve the consistency of the application. This paper prompts a new static analysis method, which is based on Extended program dependence graph. This method can detect the Non_Atomic Exception Handling(NAEH) codes in programs. Also this paper gives a new method to revise some of these codes automatically.
出处
《计算机应用与软件》
CSCD
北大核心
2006年第5期35-37,40,共4页
Computer Applications and Software
关键词
异常处理非原子性
扩展的程序依赖图
异常
别名
Non-atomic exception handling Extended program dependence graph Exception Alias