邢传玉
- 作品数:3 被引量:10H指数:2
- 供职机构:西安理工大学计算机科学与工程学院更多>>
- 发文基金:陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 构件化软件集成测试体系结构研究
- 基于构件的软件开发(Component-Based Software Development CBSD)方法是继面向对象的设计方法之后,正在并逐步走向成熟的新的软件开发技术[1]。构件作为对外提供特定服务的软件功能模块单...
- 邢传玉
- 关键词:构件化软件开发包装器
- 文献传递
- 面向构件化软件的合约检查测试框架被引量:7
- 2006年
- 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。
- 张毅坤叶涛邢传玉
- 基于XML的构件化软件集成测试方法研究被引量:4
- 2006年
- 分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。
- 邢传玉张毅坤马臻
- 关键词:XMLDTD规约