面向构件化软件的合约检查测试框架  

Contract-checking Test Framework for Component-based Software

作　　者：张毅坤[1] 叶涛[1] 邢传玉[1] 

机构地区：[1]西安理工大学计算机科学与工程学院,西安710048

出　　处：《计算机工程》2006年第20期78-80,83,共4页Computer Engineering

基　　金：陕西省自然科学基金资助项目(2001x20);陕西省教育厅科研基金资助项目(00JK265)

摘　　要：基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。The main idea of component-based software development （CBSD） is to use existing components for building up software systems. However the features of components result in a great number of difficulties in testing such systems. B. Meyer defines the relationship of component and client code as a formal contract, which firmly restricts the rule of interaction among component objects. Monitoring and checking a contract can easily find the interaction errors among a pair of components. This paper proposes a component integration test framework based on contract checking, contract-checking test framework（CCTF）. And discuss the principle of contract checking, five function modules, testing process, and some relevant crucial techniques in applying CCTF to implement components-based software test platform.

关 键 词：构件 合约检查 CCTF 构件化软件集成测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]