陕西省教育厅科研计划项目(00JK265)

作品数：17被引量：62H指数：5
导出分析报告
相关作者：张毅坤赵明崔杜武张保卫姚全珠更多>>
相关机构：西安理工大学更多>>
相关期刊：《计算机工程》《计算机工程与应用》《计算机应用研究》《计算机应用》更多>>
相关主题：基于UMLUML软件测试测试用例状态图更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于GCC的抽象语法树对C++源程序结构的分析被引量：8
《计算机工程与应用》2006年第23期97-99,105,共4页王相懂 张毅坤 
陕西省自然科学基金资助项目(编号:2001x20);陕西省教育厅科研基金资助项目(编号:00JK265)
源程序静态信息的提取是实现对源程序静态分析的基础,提取的静态信息的完整性、信息的规范性是静态分析的关键点。文章基于GCC编译器产生的AST(AbstractSyntaxTree)中间文件,给出了一种从AST文件中提取源程序的静态信息的方法,以XML(Ext...
关键词：GCC AST XML 信息提取 静态分析 
面向构件化软件的合约检查测试框架被引量：5
《计算机工程》2006年第20期78-80,83,共4页张毅坤 叶涛 邢传玉 
陕西省自然科学基金资助项目(2001x20);陕西省教育厅科研基金资助项目(00JK265)
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监...
关键词：构件 合约检查 CCTF 构件化软件集成测试 
基于有限状态自动机的构件化软件集成测试方法被引量：2
《计算机工程》2006年第18期75-78,共4页张毅坤 侯宇明 崔杜武 
陕西省自然科学基金资助项目(2001x20);陕西省教育厅科研基金资助项目(00JK265)
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行...
关键词：构件化软件 正则表达式 控制状态序列 有限状态自动机 捕获器 
基于多Agent的Web负载测试框架研究
《计算机应用研究》2006年第9期195-197,200,共4页张晓瑞 张毅坤 
陕西省自然科学基金资助项目(2001x20);陕西省教育厅科研基金资助项目(00JK265)
提出了一种基于角色的多代理W eb负载测试框架,其核心的三种角色代理均采用一种扩展的BD I代理模型。BD I代理中可动态加载能力组件的功能显著地提高了W eb测试的包容性和可扩展性。该框架描述了大量执行不同测试任务的Agent和Agent集,...
关键词：MULTI-AGENT 扩展BDI 能力组件 扩展性 
基于XML的构件化软件集成测试方法研究
《计算机工程与应用》2006年第18期105-108,共4页邢传玉 张毅坤 马臻 
陕西省自然科学基金资助项目(编号:2001x20);陕西省教育厅科研基金资助项目(编号:00JK265)
分析了当前构件化软件集成测试方法的局限性,利用XML技术特性,使用XML描述构件、构件的交互、构件间交互服从的规约、测试用例及测试序列等,并结合基于规约的测试方法,从而提出一种基于XML的规约驱动的构件化软件集成测试方法。
关键词：构件 集成测试 XML DTD 规约 测试序列 
基于UML顺序图的面向对象软件簇级测试被引量：3
《计算机工程》2005年第24期78-79,101,共3页苏荟 张毅坤 姚海波 费蓉 
陕西省教育厅科研基金资助项目(00JK265)
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过...
关键词：面向对象软件 簇级测试 UML顺序图 程序插桩 
基于遗传算法的测试用例生成工具研究被引量：5
《计算机工程》2005年第13期151-153,共3页赵明 张毅坤 沈建雄 崔杜武 高海龄 
陕西省教育厅科研基金资助项目(00JK265)
以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高...
关键词：测试用例自动生成 GA 程序结构依赖系数 动态变长染色体编码 改进自适应遗传算法 静态分析 插装 iTDG系统构架 
基于UML时序图的集成测试序列自动生成被引量：7
《计算机工程与应用》2005年第19期108-111,共4页马伟 张毅坤 
陕西省教育厅科研基金(编号:00JK265)
该文研究了基于UML时序图的集成测试序列自动生成方法。该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;然后使用Wp方法构造测试序列;最后使用中国邮递员算法对Wp方法进行改进生成最优...
关键词：集成测试 测试序列自动生成 时序图 Wp方法 中国邮递员算法 
基于UML的面向对象软件测试系统被引量：5
《计算机工程》2005年第6期70-72,215,共4页张保卫 张毅坤 赵明 崔杜武 
陕西省教育厅科研基金资助项目(00JK265)
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,...
关键词：软件测试 UML状态图 插装器 测试驱动器 
基于状态机代码合成技术的状态测试数据生成
《计算机工程》2004年第15期136-138,共3页张毅坤 赵明 崔杜武 
陕西省教育厅科研基金资助项目(00JK265)
目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规...
关键词：状态机 代码合成 测试数据生成 遗传算法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部