【摘要】 针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。更多还原

【Abstract】 To solve difficulty in integration testing,an Integration Testing Architecture for Component-Based Software(ITACBS),and a contract-checking method as well as its verification formula were presented,which were applicable to the test of component-based flexible Manufacturing Executive System(MES) software.ITACBS was composed of three subsystems,which were configuration subsystem,compilation subsystem and execution subsystem.A component-based MES model was used to illustrate the integration testing process with ITACBS.It revealed that ITACBS was effective and feasible.更多还原