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

面向方面编程AOP(Aspect Oriented Programming)为开发者提供了一种机制来描述横切关注点。它能够自动地将横切关注点织入到面向对象的软件系统中,从而实现了横切关注点的模块化。然而AOP这种对横切关注点封装、织入的独特性为分析程序结构带来了困难,对传统的程序分析技术提出了新课题。通过分析AOP程序的特殊性,提出了基于AspectJ构造AOP程序控制流图的方法。该方案可以为AOP程序的理解、验证、测试以及重构提供控制流分析平台。