摘要： 基于构件的软件工程(Component-Based Software Engineering，CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述，而代码通常是不可见的，这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture，SA)层中的构件规格说明，提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine，E-CHAM)模型描述软件系统的体系结构；接着使用

关键词: 测试方法 软件集成 扩展 Software 软件体系结构 System 集成测试策略 软件系统 软件工程 软件开发 功能描述 规格说明 模型描述 生成算法 动态行为 自底向上 构件 提供者 测试带 自动机 状态树 LTS 接口 代码