构件化软件开发(CBSD)技术的广泛应用,提高了软件生产的效率,节省了投入。各种各样的构件化软件开发技术、规范标准也随着构件化软件的发展而逐步完善和成熟。构件通过接口对外提供服务,外界仅能通过接口访问构件,使得开发人员可以集中解决与应用直接相关的问题而不必考虑实现的细节。然而构件的这一特点以及构件化软件开发对软件生命周期的彻底改变给传统软件测试方法带来挑战。本文讨论了构件化软件集成测试的特点和现有测试方法的局限性,分析了传统测试方法不适用于构件化软件测试的根本原因,建立了一种适合于构件化软件系统的观测模型以实现系统地一致地对构件化软件进行集成测试。在分析了控制流图是如何描述顺序过程的基础上,对存在于控制流图中的谓词的返回值以及语句组可分别用事件概念和状态概念作了新的表述,在此基础上建立了控制流的确定性有穷自动机模型并使得利用事件状态序列完整一致地描述软件动态行为成为可能。考虑到普遍存在于构件化软件系统中的并发行为,进一步根据Husson和Morin的可辨识踪迹语言的理论中关于描述并发行为的独立关系相关定义和性质,结合稳定并发自动机模型最终提出了基于并发自动机的构件化软件行为观测模型,并使用数据充分测试公理和软件行为观测的构造理论中的公理评估了该模型在测试上的有用性,正确性。最后基于该观测模型,提出了相应的测试准则,并通过具体例子验证了观测模型用于测试的有效性。构件化软件观测模型的意义在于,将软件的动态行为以事件,状态序列的形式加以研究,为顺序行为和并发行为提供了统一的研究框架,在该模型框架下,利用事件和状态代表的具体信息,为自顶向下的测试提供了理论基础和良好的开端。