赵明

作品数：5被引量：10H指数：2
导出分析报告
供职机构：西安理工大学更多>>
发文主题：插装软件测试测试用例自动生成遗传算法规约更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《计算机工程与应用》《计算机工程》《计算机应用》更多>>
所获基金：陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于遗传算法的测试用例生成工具研究被引量：5
《计算机工程》2005年第13期151-153,共3页赵明 张毅坤 沈建雄 崔杜武 高海龄 
陕西省教育厅科研基金资助项目(00JK265)
以Korel的遗传算法生成测试用例策略为基础,在适应函数、染色体编码、遗传算法效率等方面提出了相应的算法改进。引入程序结构依赖系数来确定个体的适应值,使得整个搜索更加智能化;解决编码长度预测问题;采用改进的自适应遗传算法提高...
关键词：测试用例自动生成 GA 程序结构依赖系数 动态变长染色体编码 改进自适应遗传算法 静态分析 插装 iTDG系统构架 
基于UML的面向对象软件测试系统被引量：5
《计算机工程》2005年第6期70-72,215,共4页张保卫 张毅坤 赵明 崔杜武 
陕西省教育厅科研基金资助项目(00JK265)
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,...
关键词：软件测试 UML状态图 插装器 测试驱动器 
基于状态机代码合成技术的状态测试数据生成
《计算机工程》2004年第15期136-138,共3页张毅坤 赵明 崔杜武 
陕西省教育厅科研基金资助项目(00JK265)
目前,基于状态机的测试多集中在测试序列的生成方法学上,然而状态机的特点决定了测试序列对测试数据具有相当的依赖性,即一个测试序列的执行受到其上测试数据的约束。该文提出了状态机代码合成的方法模拟状态机行为,将其转换为可执行规...
关键词：状态机 代码合成 测试数据生成 遗传算法 
基于中国邮路算法及UIO序列的状态机测试序列生成
《计算机工程与应用》2004年第17期58-60,共3页赵明 张毅坤 张保卫 
陕西省教育厅科研基金项目(编号:00JK265)
状态测试的首要问题就是从大量的状态组合中挑选针对典型的错误能够最为有效和最为优化的测试序列。A.V.Aho等人提出了使用中国邮路算法及UIO序列进行生成测试序列的方法,但并没有考虑UIO序列的加入对状态迁移造成的影响,因此不能够对...
关键词：状态测试 中国邮路算法 唯一输入输出序列 扩展有限状态自动机 遗传算法 
利用BISON++设计UML规约扫描器
《计算机应用》2004年第1期123-125,共3页张保卫 张毅坤 赵明 
陕西省教育厅科研基金资助项目 (0 0JK2 65)
在软件开发过程中各种分析设计规约文档是软件测试的重要依据。文中利用BISON + +设计一个UML文本扫描器 ,实现了在UML文档中自动提取有助于软件测试的各种分析设计信息 ,提高了软件测试分析设计的效率。
关键词：软件测试 UML 扫描器 BISON++ 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部