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

摘要：

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

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

所属期刊栏目：32

分类号：FTP311

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

在线出版日期：2006-11-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：78-80,83