静态构造面向方面程序的控制流图

摘要

面向方面编程（AOP）是一种全新的程序设计方法，其核心旨在克服面向对象程序设计中抽象建模的局限性,在系统设计时将分散在各个模块中的横切关注分离出来，抽象成为单独的编程模块或组件，实现了横切关注点的模块化，从而使系统具有更好的模块性、可维护性和可扩展性。然而AOP封装横切关注点的特殊结构与面向对象(Object-Oriented)程序有着很大的不同，这就为分析、理解AOP程序带来了极大的困难。与此同时，许多面向对象程序的分析方法已不再适用于面向方面程序，随着AOP的广泛应用和实践的不断深入，软件工程实践者们迫切需要一种与AOP技术对应的程序分析方法，以支持面向方面程序的测试和维护。 本文针对上述实际需求，通过分析研究AOP程序的特殊构造，提出使用静态分析为AspectJ程序构建控制流图的方法。