AOP程序控制流图的生成方法  

THE CONSTRUCTION OF CONTROL FLOW GRAPH FOR AOP PROGRAMS

作　　者：冯斌[1] 赵建军[2] 李楠[1] 

机构地区：[1]上海交通大学软件学院,上海200240 [2]上海交通大学计算机系,上海200240

出　　处：《计算机应用与软件》2008年第5期137-139,共3页Computer Applications and Software

摘　　要：面向方面编程AOP(Aspect Oriented Programming)为开发者提供了一种机制来描述横切关注点。它能够自动地将横切关注点织入到面向对象的软件系统中,从而实现了横切关注点的模块化。然而AOP这种对横切关注点封装、织入的独特性为分析程序结构带来了困难,对传统的程序分析技术提出了新课题。通过分析AOP程序的特殊性,提出了基于AspectJ构造AOP程序控制流图的方法。该方案可以为AOP程序的理解、验证、测试以及重构提供控制流分析平台。AOP （Aspect Oriented Programming）provides programmers a mechanism to encapsulate crosscutting concerns, which can be woven into Object-Oriented system automatically. This brand new programming methodology improves modularity of OO programs a lot, but the unique separation of aspect codes also introduces difficulties in analyzing AO programs, for technologies now available can not be applied to AOP programs directly. In this paper a new way to construct CFG （Control Flow Graph） for AO programs based on AspectJ is introduced. By extending the traditional CFG with AO elements, new CFG can create a clear picture for both OOP and AOP programs. It can also provide a uniform analysis platform in the realms of program understanding, code validation, testing and refactoring.

关 键 词：面向方面编程 AspectJ控制流图 方法调用图 类层次结构图 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论] TP311.1[自动化与计算机技术—计算机科学与技术]