分布式组件系统是一类重要的应用软件，为了提高这类软件产品的质量，必须开展充分有效的测试。但是分布式技术和组件技术的结合为软件测试带来了许多新的困难，所以必须采用新的方法和技术来满足测试的需要。 在分布式组件系统中，组件之间通过中间件的支持进行互相通信，协作完成特定的功能，状态及状态转换是系统表现出来的重要特征。UML状态图和各种扩展类型的状态机被广泛用于组件系统动态行为的建模。在基于规约的软件测试当中，设计阶段得到的状态模型是软件测试生成的重要基础。 本文提出了利用UML状态图和通信状态机模型对分布式组件系统实施集成测试的策略，它是一种基于规约的软件测试方法，测试过程中有效地引入了形式化技术。文章首先总结了基于规约的软件测试理论及其发展现状；然后对分布式组件系统模型，特别是UML状态图模型进行了讨论，指出了UML状态图在表达上的局限；之后通过引入通信状态机，对组件系统的状态特征进行准确建模，并在它的基础上构造集成状态机模型，作为集成测试序列生成的基础；最后，根据分布式组件系统集成测试的目的提出了集成状态机的测试需求，并分别针对通信覆盖和约束覆盖，实现了测试序列的自动生成。 论文的主要贡献是在基于规约的软件测试理论基础上，提出了基于状态的分布式组件系统的集成测试策略，并将形式化方法融入了软件测试过程之中。这项探索性的工作对于软件测试方法的改进以及软件测试自动化具有一定的理论和实践意义。