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