面向方面编程(Aspect-Oriented Programming, AOP)是一种新的程序设计方法,旨在解决传统面向对象程序设计对于系统横切关注点的描述所存在的代码散布和纠缠的问题,使程序具有更好的模块性,可维护性和扩展性。近年来,随着面向方面编程为越来越多的人接受并愈发流行,成熟的AOP语言也不断涌现。目前,绝大多数的AOP语言都使用连接点模型(Join Point Model)来描述aspect和class的关系,但是对于切入点(pointcut),所有的语言都使用纯文本类型的字符串来描述,而这会给今后的开发和维护带来一系列问题。为了解决这些问题,本文提出一种新的切入点描述机制——基于XML的方面切入点描述语言(XML Aspect Pointcut Description Language,XAPDL)。XAPDL使用XML来表述切入点的具体信息以及横切关注点和基本关注点之间的关系,最终使得基本关注点和横切关注点完全分离。本文的参照语言是最为成熟的AOP语言AspectJ的一个子集语言MiniAspectJ,其保留了AOP的核心特性而去除了一些高级的功能。简化的目的是为了更方便本文的研究和后期的测试验证工作。基于XAPDL的理论,本文设计实现了XAPDL的运行测试工具XAJDT,其功能是可视化编辑XAPDL文件并且自动转换XAPDL为正确的MiniAspectJ程序。本文通过穷举XAPDL的所有可能组合来设计测试用例,并用XAJDT工具运行,以验证XAPDL的正确性。本课题的研究第一次详细的提出了如何用非文本的形式化方法来描述切入点的具体细节,并针对成熟的AspectJ的简化子集提出了具体的解决方案。通过使用XAPDL和XAJDT,程序员能更有效的进行面向方面编程的开发和维护,特别是XAJDT,在实际编程环境中的实用性、健壮性和稳定性都有着不俗的表现。