随着软件技术的迅速发展,软件系统的规模不断扩大,对系统模块化要求也越来越高。面向方面编程(AOP)作为一种新的软件开发范型,利用方面来实现横切关注点的模块化,使系统的可维护性更好,成功地解决了面向对象编程中存在的代码缠结和散射问题,已成为当前软件工程领域的研究热点之一。面对规模更大的计算机程序,如何更有效地对其进行分析和维护,程序切片技术起到了非常重要的作用,目前已广泛应用于程序调试、软件测试等诸多方面。然而,针对面向方面程序,其特有的语言元素和机制为切片增加了难度。为了更好地对面向方面程序进行分析,面向方面程序切片技术成为一个重要的研究课题。本文针对面向方面程序切片技术及其应用展开了系列研究,主要研究内容包括:(1)考虑面向方面程序中通知优先级对依赖关系的影响,提出通知波动效应图(AFG)及其构造算法,实现AFG自动生成,从而构造完整的面向方面系统依赖图(AOSDG)。(2)基于面向方面程序依赖性分析,提出面向方面程序的简化动态依赖图切片方法,通过构造简化动态依赖图,计算面向方面程序动态切片。(3)采用分支函数最小化策略,结合本文所提出的动态切片方法,将其应用于面向方面程序的测试数据生成,提出一种面向方面程序测试数据生成框架,以提高面向方面软件测试的效率。本文结合实例分析,详细说明了具体过程。采用上述方法,能够准确地表示面向方面程序中的各种依赖关系,同时减小了系统依赖图的规模,得到准确的面向方面程序切片,并将其应用于面向方面程序的软件测试过程中,保证面向方面程序的可靠性,使AOP能够更快地应用普及到当前软件开发过程中。