陕西省教育厅科研计划项目(00JK265)
- 作品数：17 被引量：120H指数：7
- 相关作者：张毅坤赵明崔杜武张保卫姚全珠更多>>
- 相关机构：西安理工大学更多>>
- 发文基金：陕西省教育厅科研计划项目陕西省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 利用BISON++设计UML规约扫描器被引量：1
- 2004年
- 在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
- 张保卫张毅坤赵明
- 关键词：软件测试UML扫描器
- 基于UML的C++软件静态测试方法被引量：6
- 2004年
- 提出一种基于UML的面向对象软件静态测试的方法，论述了方法的基本框架及针对C++程序的具体实现，使测试人员能直观地了解程序结构上的错误，并有效地设计测试用例。本静态测试方法是通过分析源程序文件，采用数据库来保存分析结果，并以UML类关系图显示出来。
- 张毅坤赵宇峰张烨姚全珠
- 关键词：软件测试面向对象UML
- 基于中国邮路算法及UIO序列的状态机测试序列生成被引量：6
- 2004年
- 状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对测试序列进行全局优化。该文对上述算法进行改进,并使用遗传算法解决了中国邮路NP-Complete问题。
- 赵明张毅坤张保卫
- 关键词：遗传算法
- 基于GCC的抽象语法树对C++源程序结构的分析被引量：12
- 2006年
- 源程序静态信息的提取是实现对源程序静态分析的基础,提取的静态信息的完整性、信息的规范性是静态分析的关键点。文章基于GCC编译器产生的AST(AbstractSyntaxTree)中间文件,给出了一种从AST文件中提取源程序的静态信息的方法,以XML(ExtensibleMarkupLanguage)标准格式输出,最后树形化地显示出源程序的结构关系。
- 王相懂张毅坤
- 关键词：GCCASTXML信息提取
- 基于UML的面向对象软件测试系统被引量：9
- 2005年
- 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
- 张保卫张毅坤赵明崔杜武
- 关键词：软件测试UML状态图
- 从Rose的规约文件自动生成测试用例被引量：9
- 2003年
- 对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。
- 张毅坤施凤鸣
- 关键词：测试用例UML状态图有限状态机
- 基于UML顺序图的面向对象软件簇级测试被引量：8
- 2005年
- 提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。
- 苏荟张毅坤姚海波费蓉
- 关键词：面向对象软件簇级测试UML顺序图程序插桩
- 面向构件化软件的合约检查测试框架被引量：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扩展性
- 基于状态机代码合成技术的状态测试数据生成
- 2004年
- 目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规约并在此基础上使用遗传算法来生成状态机的测试数据,为解决状态机测试数据的生成提供了一种可行的方法。
- 张毅坤赵明崔杜武
- 关键词：状态机测试数据生成遗传算法
