摘要
针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。
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.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2007年第10期1958-1963,1977,共7页
Computer Integrated Manufacturing Systems
基金
陕西省自然科学基金资助项目(2005F07)
陕西省教育厅专项基金资助项目(06JK230)。~~
关键词
组件
集成测试
合约检查
测试体系架构
制造执行系统
component
integration testing
contract-checking
testing architecture
manufacturing executive system
