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