叶涛
- 作品数：4 被引量：11H指数：2
- 供职机构：西安理工大学计算机科学与工程学院更多>>
- 发文基金：陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 利用PB开发一个数据库比较软件
- 2003年
- 针对数据库开发项目中遇到的数据库比较问题 ,编制了数据库自动比较程序。介绍了在 Power Builder中多事务对象、动态游标、动态数据窗口等的开发技巧和常用方法。
- 叶涛姚全珠
- 关键词：数据库POWERBUILDER动态数据窗口数据库比较
- 基于组件技术的教学管理系统的设计与实现
- 作为分布式软件的开发标准和体系结构之一，CORBA技术在不断的发展和完善，因而对CORBA技术的研究也具有实际的意义和商业价值。本课题首先学习和研究了CORBA的基本理论和体系结构及中间件的基本知识和实现机制。接着在研究...
- 叶涛
- 关键词：教学管理系统分布式软件多层结构CORBA技术JAVA组件技术
- 基于合约检查的构件化软件测试的研究
- 近几十年,继面向对象的设计方法之后,基于构件的软件设计开发方法正在逐渐成为新的趋势,并不断成熟和大量推广。作为组成构件化软件基本单元的构件有其自身的特点,使得构件化软件在开发上比传统的结构化编程、面向对象编程更具优势,但...
- 叶涛
- 关键词：构件化软件
- 文献传递
- 面向构件化软件的合约检查测试框架被引量：7
- 2006年
- 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。
- 张毅坤叶涛邢传玉
