陕西省自然科学基金(2001x20)
- 作品数：6 被引量：26H指数：4
- 相关作者：张毅坤邢传玉王相懂叶涛崔杜武更多>>
- 相关机构：西安理工大学更多>>
- 发文基金：陕西省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 基于GCC的抽象语法树对C++源程序结构的分析被引量：12
- 2006年
- 源程序静态信息的提取是实现对源程序静态分析的基础,提取的静态信息的完整性、信息的规范性是静态分析的关键点。文章基于GCC编译器产生的AST(AbstractSyntaxTree)中间文件,给出了一种从AST文件中提取源程序的静态信息的方法,以XML(ExtensibleMarkupLanguage)标准格式输出,最后树形化地显示出源程序的结构关系。
- 王相懂张毅坤
- 关键词：GCCASTXML信息提取
- 面向构件化软件的合约检查测试框架被引量：7
- 2006年
- 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。
- 张毅坤叶涛邢传玉
- 基于多Agent的Web负载测试框架研究
- 2006年
- 提出了一种基于角色的多代理W eb负载测试框架,其核心的三种角色代理均采用一种扩展的BD I代理模型。BD I代理中可动态加载能力组件的功能显著地提高了W eb测试的包容性和可扩展性。该框架描述了大量执行不同测试任务的Agent和Agent集,以及支持它们相互通信的Agent通用平台。最后通过一个简单的原型系统,对该模型的性能和可行性进行了验证。
- 张晓瑞张毅坤
- 关键词：MULTI-AGENT扩展性
- 基于XML的构件化软件集成测试方法研究被引量：4
- 2006年
- 分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。
- 邢传玉张毅坤马臻
- 关键词：XMLDTD规约
- 基于有限状态自动机的构件化软件集成测试方法被引量：5
- 2006年
- 构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。
- 张毅坤侯宇明崔杜武
- 关键词：构件化软件正则表达式有限状态自动机
- Jini技术在现代远程教育系统中的应用被引量：1
- 2003年
- 介绍了现代远程教育系统的背景、概念和现状,以及应用SUN公司的新分布式系统技术———Jini技术开发现代远程教育系统的设计思路、体系结构、实现方法和特点。
- 姚全珠孙荣荣柴进
- 关键词：JINI技术现代远程教育系统计算机网络教学模式
