现如今,随着软件复杂度的提升,基于组件的软件开发方法越来越被开发人员所青睐,相关的质量保证技术和方法也成为重要的研究内容。虽然组件在集成到应用环境之前,已经进行了严格的单元测试,但这并不能保证集成后的软件系统不会出现问题。同时,考虑到测试成本问题,有必要使用自动化集成测试技术来保证基于组件的软件系统质量。在基于组件的软件系统中,集成测试主要检测组件间的交互是否被正确地实现,所以也被称为组件交互测试。UML协作图作为UML交互图之一,使用有序消息描述了组件间的协作和交互关系,是良好的集成测试模型。另外,合约作为组件间的交互规则,描述了调用组件前后必须满足的约束条件,能够为测试用例的生成提供依据。据此,本文通过在UML协作图中嵌入合约,提出了基于组件执行树模型的自动集成测试方法。本文的研究工作主要分为以下三个方面:(1)提出了组件执行树模型及其构建方法。基于组件的软件系统通过一个个组件之间的交互,实现特定的功能。本文以组件执行树的形式,将系统功能执行过程中,组件之间的交互关系清晰直观地展示出来。同时,利用协作图中的控制流信息,结合作为组件规范的合约,建立组件执行树模型。(2)提出了基于组件执行树模型的测试用例自动生成方法。组件执行树刻画了系统功能的执行过程,每个系统任务对应树中的一条路径。基于组件的软件系统的集成测试应该能够反映不同任务下系统功能执行过程的正确性,即对组件执行树中的每一条路径给出测试数据进行测试。合约的加入使得本方法能够通过约束求解技术为每条路径生成测试用例,从而完成基于组件的软件系统的自动集成测试。最终通过实例证明,基于组件执行树模型的自动集成测试方法是可行的。(3)开发了一款测试工具,用于支持基于组件执行树模型的自动集成测试方法。