检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:张毅坤[1] 邓晶晶[1] 杨凯峰[1] 曹晋阳[1] 程纪元[1] 崔杜武[1]
机构地区:[1]西安理工大学计算机科学与工程学院,陕西西安710048
出 处:《计算机集成制造系统》2007年第10期1958-1963,1977,共7页Computer Integrated Manufacturing Systems
基 金:陕西省自然科学基金资助项目(2005F07);陕西省教育厅专项基金资助项目(06JK230)。~~
摘 要:针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式。该架构由配置体系、编译体系和执行体系三部分组成。以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性。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.
关 键 词:组件 集成测试 合约检查 测试体系架构 制造执行系统
分 类 号:TH166[机械工程—机械制造及自动化]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117