题目：基于AOSD的用例切片的合成研究和工具实现

随着软件系统规模和复杂度的日益增加，一系列将系统模块化的技术逐渐被提出，例如面向对象、组件技术等。但是，人们很快就发现面向对象、组件技术无法有效处理横切关注点。针对这个缺陷，面向方面技术产生了,该技术实现了在编码阶段模块化横切关注点的功能。随着面向方面技术的发展，基于用例的面向方面软件开发（AOSD）提供了从需求到分析、设计、实现全过程处理横切关注点的方法。这种软件开发技术的目标和特点是：在整个软件开发生命周期中，保持功能需求关注点、非功能需求关注点和平台特性关注点相互分离，并保持所有横切关注点相互分离。正是由于这种分离，给软件开发带来了很大的方便，有利于软件的扩充，但是这种分离也将原本抽象的类分解开，不利于从整体了解软件以及用例切片之间交叠部分的重用，更不利于在设计阶段对软件性能进行估计。为了能够从整体上理解软件，以及在设计阶段分析系统的性能，就必须将分散于不同用例切片的方面合成到同一个类中。本文研究了AOSD的各个阶段的开发模型，分析了开发过程中的最小化用例设计模型。在最小化用例设计的基础上，对用例切片进行合并研究，将不同的用例切片的方面合并到相应的类中。具体分析了对等用例切片和扩展用例切片中各种情况的方面合成，包括对等用例中的交叠现象处理，扩展用例中的复合切点等，针对不同的情况研究采用不同的方式合并。实践是检验真理的唯一标准，本文最后实现了用例切片的合成工具U2SIT，对最小化用例设计模型开发提供辅助支持，从实际意义上证实了本文理论研究的正确性和可行性，达到了本文的研究目的。