最小测试用例集

作品数：13被引量：49H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘冬靳蓓蓓阙向红李庆秋李素林更多>>
相关机构：华中科技大学西北工业大学安徽师范大学重庆信息技术职业学院更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《航空电子技术》《微电子学与计算机》更多>>
相关基金：国家自然科学基金安徽省高校省级自然科学研究项目国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
改进型最小测试用例集生成算法的应用研究
《信息记录材料》2020年第7期69-70,共2页曹珣 方徽星 
黄山学院校级人才启动项目(2020xkjq004)。
测试用例的规模直接关乎测试成本的大小,为有效节约测试成本,本文就如何生成最小测试用例集进行研究,并提出了改进型最小测试用例集生成算法,该算法核心思想是先精简测试需求,再利用简化算法生成最小测试用例集,最后将改进型算法应用于...
关键词：软件测试 测试用例 最小测试用例集 测试成本 
采用矩阵递归的最小测试用例集生成算法被引量：2
《电子技术应用》2020年第4期71-74,共4页黄孝伦 王东 
重庆市社会民生科技创新专项项目(cstc2015shmszx120034)。
符合MC/DC准则的最小测试用例集算法具有重要的实用价值。首先将布尔表达式转换为语法二叉树,然后采用矩阵组合逻辑运算方法逐层递归,从而获得完备的MC/DC最小测试用例集。经验证,矩阵组合逻辑运算方法是合理的、正确的。该方法对于非...
关键词：MC/DC 测试用例 耦合条件 递归 算法 
基于MC/DC覆盖的最小测试用例集设计被引量：1
《电子测试》2019年第23期52-54,共3页林双才 
单元测试在铁路信号电子产品软件的研发过程中占有重要比重,而覆盖率则是单元测试中衡量测试质量的一个重要指标。本文重点介绍软件单元测试过程中为何选择修正条件判定覆盖,而不选择条件判定覆盖和组合条件覆盖作为覆盖率评判标准,同...
关键词：条件判定覆盖 修正条件判定覆盖 组合条件覆盖 真值对 
基于EFSM的最小测试用例集生成方法被引量：1
《计算机工程与设计》2019年第9期2502-2506,共5页陈孔婷 王兴起 
浙江省自然科学基金项目(LQ16F020006、LY17F020023)
影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合...
关键词：扩展有限状态机 最小测试用例集 迁移覆盖 测试成本 测试效率 
MC/DC准则在嵌入式软件测试中的应用被引量：7
《自动化仪表》2019年第6期76-79,共4页安媛 陆云峰 
国家十二五重大专项基金资助项目(2014ZX06002-007)
MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现M...
关键词：嵌入式软件 软件测试 MC/DC 结构覆盖 逻辑控制 仪控 VectorCAST 最小测试用例集 
基于一种遗传算法的最小测试用例集自动生成被引量：3
《计算机技术与发展》2016年第4期86-89,共4页刘冬 靳蓓蓓 阙向红 
国家自然科学基金专项基金项目(81141073);安徽省科技计划项目(1301042203);安徽省高校省级自然科学研究重点项目(KJ2015A241);芜湖市科技计划项目(2012hm35-1)
测试数据的生成是一个复杂的问题,且其技术和方法还不成熟。在生成最小测试用例集过程中,为了避免基本遗传算法对已经满足测试需求的测试用例重复进行遗传操作,文中在基本遗传算法的基础上,最大提高遗传算法的稳定性,提出最大稳定遗传算...
关键词：测试用例集 测试用例 基本路径集 基本遗传算法 软件测试 
基于图的MC/DC最小测试用例集快速生成算法被引量：1
《计算机系统应用》2012年第11期145-148,共4页黄孝伦 
依针对MC/DC最小测试用例集生成效率的问题,依据MC/DC准则,以条件判定组合的复杂逻辑关系为研究对象,采用将原始布尔表达式转化为语法树,再将语法树转化为图,分析图中节点对判定结果的影响的方法,研究了基于图快速生成最小测试用例集的...
关键词：MC/DC 测试用例 语法树 图 
基于修正条件判定覆盖的软件测试技术研究和方法应用被引量：4
《航天控制》2012年第3期69-72,共4页岳海 任慧敏 
对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
关键词：软件测试 修正条件判定覆盖 最小测试用例集 
基于LSGA的最小测试用例集自动生成被引量：1
《微电子学与计算机》2011年第12期115-118,共4页刘冬 靳蓓蓓 阙向红 
安徽省教育厅自然科学基金(KJ2010B363);皖南医学院中青年科研基金(WK201038F)
测试数据的生成是一个复杂的问题且其技术和方法还不成熟.根据实现语句覆盖的测试目标,提出了最大稳定遗传算法(LSGA).该算法充分考虑了遗传算法的稳定性并在构造适应度函数和路径编号时提出了"邻近者优先"原则和"就近路径编号"原则.这...
关键词：测试用例集 测试用例 基本路径集 最大稳定遗传算法 遗传算法 软件测试 
MC/DC最小测试用例集递归分块矩阵生成算法被引量：2
《计算机系统应用》2011年第7期195-198,共4页葛汉强 
测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。
关键词：MC/DC 最小测试用例集 递归分块矩阵 生成算法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部