摘要: 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B. Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架 (contract-checking test framework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。
关键词:
构件,
合约检查,
CCTF,
构件化软件集成测试
Abstract: 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.
Key words:
Component,
Contract-checking,
CCTF,
Components-based software integration test
张毅坤;叶 涛;邢传玉. 面向构件化软件的合约检查测试框架[J]. 计算机工程, 2006, 32(20): 78-80.
ZHANG Yikun; YE Tao; XING Chuanyu. Contract-checking Test Framework for Component-based Software[J]. Computer Engineering, 2006, 32(20): 78-80.