面向构件的软件开发方法已成为软件工程领域的热点。目前70%的软件都是基于构件开发的,它秉诚“购买而不创建,组装即成”的开发哲学,从根本上改变了软件开发方式,提高了软件复用性和开发效率。CBD软件开发的核心是构件组装。软件集成测试是组装工作是否有效的检验者,它关系到CBD软件开发工作的成败。由于CBD软件具有源代码未知,应用环境复杂等特点,传统的软件集成测试技术,对于解决这些问题,将会面临严峻的挑战。相比之下,基于UML模型的CBD软件集成测试技术取得了不错的成果,国内外已有不少关于这方面的成果,但基本上都是基于UML1.x的交互图生成测试用例而进行测试,都没有充分整合UML2.0各种模型的新特性而进行更有效的测试。因此,研究基于UML2.0模型的CBD软件集成测试方法具有重要意义。本文首先在对UML2.0模型中的状态机进行分析的基础上,结合构件图将状态机扩展为具有事件语义的模型(ECSM)。并将“顺序”定义为强顺序和弱顺序以解决UML2.0顺序图(SD)中的“顺序”所描述语义的不准确性问题。然后将ECSM和SD进行有机集成,给出了一种可描述构件交互的模型(可扩展的构件交互模型ECSD)。由于ECSD包含的信息量多而不便于分析,文中构造了可以简化ECSD模型的消息交互流程图模型(MISG),给出了基于MISG模型生成测试场景和测试覆盖准则的算法。同时,分析了CBD软件的测试数据准备生成策略,设计了一种的基于MISG模型的测试用例生成方法,并以ATM系统为例,使用Rational Rose对ATM系统进行建模和分析,得到MISG模型,在此基础上生成了测试用例,达到了预期的效果。最后,本文提出了一种基于UML2.0模型的CBD软件集成测试框架(CSITF),并进行了框架总体设计,关键模块设计及核心算法设计。该模型对设计CBD软件集成测试工具提供了一种思路。