基于构件的软件开发技术着重于重用已有的构件来生成新的系统。然而构件本身固有的一些特点,如源代码不可见、分布式运行、平台独立性等,使得传统的软件测试理论和技术对于新的基于构件技术构造的软件系统并不完全适用。本文分析了构件化软件自身的特点,讨论了传统集成测试方法的局限性和当前基于构件软件的集成测试方法的优缺点,针对目前现有的构件化软件集成测试方法缺乏对构件化软件运行过程行为完整描述的支持,从而不能强有力地支撑测试工作实施的状况,提出了一种基于具有独立关系的有穷自动机观测模型的构件化软件集成测试方法。分析了软件系统所映射的代数系统的特征,结合自动机理论对构件化软件系统中的事件概念和状态概念作了新的表述,利用事件状态序列来描述构件化软件完整的动态行为,为顺序行为和并发行为提供了统一的研究框架;同时,结合可辨识踪迹语言的理论中关于描述并发行为的独立关系相关定义和性质研究了构件化系统并发控制行为特征,建立了构件化软件行为观测模型;结合观测理论研究了捕获完整构件化软件顺序行为与并发行为踪迹的方法;给出了构件化软件集成测试准则,并论述其有效性;运用观测模型对系统实际行为踪迹的辨识达到测试的目的;最后通过具体例子验证了基于观测模型的构件化软件集成测试方法的有效性。