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

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约，它严格限定了构件对象之间的交互规则。通过对合约的监视和检查，可以容易地发现构件之间的交互错误，从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework，CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程，并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。

Contract-checking Test Framework for Component-based Software

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.