国防科技技术预先研究基金(4131592)

作品数：5被引量：26H指数：4
导出分析报告
相关作者：卢炎生毛澄映易国洪雷波谢晓东更多>>
相关机构：华中科技大学更多>>
相关期刊：《小型微型计算机系统》《计算机工程与科学》《计算机科学》更多>>
相关主题：簇级测试EFSM模型EFSM软件测试等价类更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于EFSM模型的等价类测试被引量：7
《计算机科学》2007年第1期281-284,共4页易国洪 卢炎生 
"十五"国防科技预研项目(编号:4131592)资助
等价类测试是有效减少测试用例而又较小地影响测试效果的一种高效的测试方法,但是对于测试者来说,寻找一种等价类测试的划分方法十分重要,本文提出了一种基于EFSM(Extended Finite State Machine)模型的等价类测试划分的方法,通过对EFS...
关键词：EFSM 等价类 软件测试 数据依赖分析 控制依赖分析 
基于扩展有限状态机的定义-清除路径的生成方法被引量：3
《计算机工程与科学》2006年第7期67-69,共3页卢炎生 雷波 谢晓东 毛澄映 
"十五"国防科技预研项目(41315.9.2)
本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径。这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交...
关键词：类单元测试 扩展有限状态机 定义-使用路径 定义-清除路径 测试用例 
面向对象类簇级测试中控制依赖分析方法研究被引量：6
《计算机工程与科学》2005年第8期65-69,共5页毛澄映 卢炎生 
十五国防预研项目(41315.9.2)
类簇控制依赖信息是进行类间数据流测试的基础。本文通过克服已有类控制流分析的不足之处,提出了CCFG算法,依照类间测试序,通过分析继承、聚集和关联等类间关系特征进而增量式地构造类间控制流图(ICCFG算法),并初步探讨了动态控制依赖...
关键词：类控制流图CCFG 类间控制流图ICCFG 类间关系 数据流测试 
面向对象簇级测试中类间测试序确定方法研究被引量：6
《小型微型计算机系统》2005年第6期995-999,共5页卢炎生 毛澄映 
"十五"国防科技预研项目(41315.9.2)资助
通过对传统的对象关系图进行扩展,提出了EORD图和WORD图的概念.在确定类间测试序时,把需要生成的存根数目作为优化目标,还定义了联系强度、成环权重、边向因子等启发式规则,并将此作为剪去关联边破除环路的重要准则.分析目前已有算法的...
关键词：类簇级测试 类间测试序 WORD图 AICTO算法 
基于状态转换的Web程序测试方法研究被引量：4
《计算机科学》2005年第5期219-223,共5页毛澄映 卢炎生 
"十五"国防科技预研项目(41315.9.2)资助.
基于状态转换的测试方法是探测Web程序动态行为异常的有效途径。Web程序状态的变迁由链接序列和提交数据共同构成的导航场景决定。本文用活动页面导航图(APND)来描述页面间的链接转换行为,用状态变量的组合对象状态图(COSD)来刻画由提...
关键词：测试方法 Web 程序 状态变量 状态转换图 动态行为 行为模型 测试用例 自动生成 导航图 状态图 K叉树 数据 链接 页面 换行 对象 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部