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

• 作者: 叶涛 张毅坤 邢传玉
• 来源期刊: 计算机工程
• 学科: 经济
• 关键词: 构件 合约检查 CCTF 构件化软件集成测试
• 年，卷（期）: 2006,（20）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 78-80,83
• 页数: 4页
• 分类号: FTP311
• 字数: 4573字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.20.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张毅坤	西安理工大学计算机科学与工程学院	71	825	15.0	25.0
2	叶涛	西安理工大学计算机科学与工程学院	2	9	1.0	2.0
3	邢传玉	西安理工大学计算机科学与工程学院	2	17	2.0	2.0