题名 一种最小测试用例集生成方法
被引量：58
1
作者
聂长海 徐宝文
机构
东南大学计算机科学与工程系 江苏省软件质量研究所
出处
《计算机学报》
EI
CSCD
北大核心
2003年第12期1690-1695,共6页
基金
国家自然科学基金 (60 0 730 1 2 ) 江苏省科技攻关项目 (BE2 0 0 1 0 2 5) +2 种基金 江苏省三三三人才基金 武汉大学软件工程国家重点实验室开放基金 江苏省计算机信息处理技术重点实验室 (苏州大学 )开发基金资助
文摘
测试用例的数量和质量决定软件测试的成本和有效性 .该文提出了一种生成最小测试用例集的方法 ,该方法首先充分考虑测试目标中各个测试需求之间的相互关系 ,将满足测试需求的所有可用测试用例进行划分 ,根据划分的结果生成一个测试用例集 ,然后利用启发式算法、贪心算法或整数规划方法来消除冗余 ,对这个测试用例集进行进一步的简化 .这种方法与已有方法相比 ,优点在于它可以生成满足所有测试需求的最小测试用例集 .
关键词
软件测试 软件开发 软件需求分析 最小测试用例集 生成方法
Keywords
software testing test case test suite reduction
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 MC/DC最小测试用例集递归分块矩阵生成算法
被引量：2
2
作者
葛汉强
机构
重庆信息技术职业学院软件学院
出处
《计算机系统应用》
2011年第7期195-198,共4页
文摘
测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。
关键词
MC/DC 最小测试用例集 递归分块矩阵 生成算法
Keywords
MC/DC minimum test case set recursive blocks matrix generating algorithm
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 MC/DC最小测试用例集快速生成算法
被引量：6
3
作者
段飞雷 吴晓 张凡 董云卫
机构
西北工业大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第17期40-42,45,共4页
基金
国家"863"计划基金资助项目"构件化嵌入式软件测试方法及其工具研究"(2008AA01Z142)
文摘
以条件判定组合的语法树为研究对象,总结语法树的左右分支对判定结果的影响方式及结果,根据其影响特点提出超越语法树的快速生成改进判定/条件覆盖最小测试用例集的算法。与其他算法在在空间及时间方面进行比较,结果表明该算法具有一定的优越性。
关键词
改进判定 条件覆盖 最小测试用例集 快速生成算法
Keywords
MC/DC minimum test case set rapidly generating algorithm
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于EFSM的最小测试用例集生成方法
被引量：1
4
作者
陈孔婷 王兴起
机构
杭州电子科技大学计算机学院
出处
《计算机工程与设计》
北大核心
2019年第9期2502-2506,共5页
基金
浙江省自然科学基金项目(LQ16F020006、LY17F020023)
文摘
影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合并迁移覆盖算法输出的集合,得到最小测试用例集。实验结果表明,所提方法得到的最小测试用例集,降低了测试成本,提高了测试效率。
关键词
扩展有限状态机 最小测试用例集 迁移覆盖 测试 成本测试 效率
Keywords
EFSM minimum test case set transition coverage test cost test efficiency
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于MC/DC最小测试用例集设计方法研究
被引量：4
5
作者
袁军
机构
南京航空航天大学 中国航空无线电电子研究所
出处
《航空电子技术》
2010年第3期51-54,共4页
文摘
动态测试主要是通过设计测试用例、开发和运行测试程序来发现软件中存在的错误。如何判断设计的测试用例是充分的,针对不同级别的软件,DO-178B规定了不同的结构覆盖标准。本文针对A级软件,给出一种适合MC/DC准则的最小测试用例集快速设计方法。针对一个判定中同一条件出现多次的复杂情形引起的两种不同用例设计思路,结合LDRATestbed覆盖分析结果,总结出合理的设计方法。
关键词
DO-178B 改进条件/判定范围(MC/DC) 最小测试用例集
Keywords
DO-178B Modified Condition/Decision Coverage （ MC/DC ） minimal test cases set
分类号
P306.2
[天文地球—地球物理学]
题名 基于冗余测试用例的最小测试用例集生成方法
被引量：9
6
作者
郭晶晶 高建华
机构
上海师范大学计算机应用技术系
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第1期45-48,共4页
基金
国家自然科学基金资助项目(60673067)
文摘
提出一种最小测试用例集的生成方法。保留在某个测试标准下冗余,但在其他测试标准下不冗余的测试用例,即在测试用例集简化期间通过有选择性地保留测试用例来生成一个测试用例集。与已有方法相比,该方法能在不影响测试组大小范围的情况下有效提高错误检测效率。
关键词
软件测试 测试 标准测试用例 集 最小 化
Keywords
software test test criteria test suite minimization
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
题名 改进型最小测试用例集生成算法的应用研究
7
作者
曹珣 方徽星
机构
黄山学院信息工程学院
出处
《信息记录材料》
2020年第7期69-70,共2页
基金
黄山学院校级人才启动项目(2020xkjq004)。
文摘
测试用例的规模直接关乎测试成本的大小,为有效节约测试成本,本文就如何生成最小测试用例集进行研究,并提出了改进型最小测试用例集生成算法,该算法核心思想是先精简测试需求,再利用简化算法生成最小测试用例集,最后将改进型算法应用于实例,通过实验验证了算法能较好的减少测试用例数,提高了测试效率。
关键词
软件测试 测试用例 最小测试用例集 测试 成本
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 基于蚁群算法的测试用例集最小化研究
被引量：17
8
作者
丁革建 郑燕妮 张璐
机构
浙江师范大学数理信息学院 四川大学计算机学院
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第6期213-215,218,共4页
基金
科技部科技型中小企业技术创新基金资助项目"软件自动测试工具WsSTKit"(0626225101730) 四川省科技攻关计划基金资助项目"软件自动测试技术研究与自动测试工具开发"(05GG021-003-2)
文摘
测试用例集最小化的目的是用尽可能少的测试用例充分测试给定的被测目标。把每个待测用例抽象成独立的节点,通过构造虚拟蚁群以及采用启发信息的动态更新,提出一种新的基于蚁群算法的测试用例集最小化方法及具体实现步骤。并编写算法,运行仿真程序对基于蚁群算法的测试用例集最小化方法进行验证,对实验结果的分析证明了该算法的可行性和有效性。
关键词
蚁群算法 测试用例 集 最小 化信息素 启发信息
Keywords
ant colony algorithm test suite minimization pheromone heuristic information
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 测试用例集约简问题研究及其进展
被引量：25
9
作者
章晓芳 陈林 徐宝文 聂长海
机构
东南大学计算机科学与工程学院
出处
《计算机科学与探索》
CSCD
2008年第3期235-247,共13页
基金
the National Natural Science Foundation of China under Grant No.60425206,60633010,60773104,60503033( 国家自然科学基金) the Doctor Subject Fund of Education Ministry of China under Grant No.20060286020( 教育部博士点基金)
文摘
测试用例集约简问题是软件测试中的关键问题之一,其目的是使用尽可能少的测试用例充分满足给定的测试目标,从而提高测试效率、降低测试成本。在简要介绍了测试用例集约简问题基本概念的基础上,总结了求解该问题的几种主要方法,分析比较了这些方法的效率和特性。随后探讨了与测试用例集约简问题强相关的测试用例集错误检测效率的问题,并研究了测试用例优先级技术。最后指出了测试用例集约简问题的下一步研究方向。
关键词
软件工程 软件测试 测试用例 集 约简最小测试用例集 错误检测效率
Keywords
software engineering software testing test suite reduction test suite minimization fault detection effectiveness
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 一种测试用例集最小化生成算法研究及应用
10
作者
胡先智 梁艳
机构
西安理工大学网络信息管理中心 西安思源学院理工学院
出处
《南昌教育学院学报》
2011年第2期192-192,196,共2页
文摘
测试用例的数量和质量决定软件测试的成本和有效性。在G算法和H算法的基础上,引入测试用例-测试需求映射关系重要性度的概念,本文提出了一种测试用例集最小化生成算法。该算法用于简化三角形分类程序的测试用例集,简化后的测试用例集是最小的测试用例集。实例分析证明该算法是有正确、有效的。
关键词
测试用例 生成测试用例 -测试 需求映射关系测试 贡献度MTS 测试用例 集 最小 化
Keywords
test cases generation mapping of test cases-testing requirements test contribution minimization test suite minimization of test suite
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 基于混合遗传算法的回归测试用例集最小化研究
被引量：2
11
作者
邓秋辉 罗小华
机构
浙江大学超大规模集成电路设计研究所
出处
《传感器与微系统》
CSCD
2018年第7期11-14,共4页
基金
浙江省自然科学基金资助项目(LY15F040001)
文摘
为缩减测试用例规模,降低回归测试成本,将遗传算法和贪心算法相结合,提出了一种混合遗传算法用于解决测试用例最小化问题。算法对标准遗传算法中的选择、交叉和变异操作进行改善,提高了算法的全局寻优能力。同时,利用贪心算法处理可行解和不可行解,提高了算法的局部寻优能力。实验结果表明:与标准遗传算法相比,在保证测试完备性的前提下,混合遗传算法能够得到更优的缩减效果和更快的收敛速度。
关键词
回归测试 测试用例 集 最小 化遗传算法 贪心算法
Keywords
regression test test suite minimization genetic algorithm greedy algorithm
分类号
TN47
[电子电信—微电子学与固体电子学]
题名 测试用例集启发式约简算法分析与评价
被引量：8
12
作者
游亮 卢炎生
机构
华中科技大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2011年第12期147-150,177,共5页
基金
国家部委预研基金项目(513150601)资助
文摘
在软件开发和维护过程中,为了提高对源程序变更部分的信心并且保证源程序变更部分没有对未变更部分造成负面影响,需要对软件系统进行回归测试。回归测试是一个昂贵的测试过程。测试用例集约简算法是在仍然满足测试准则的前提下,通过删除所有冗余测试用例得到测试用例集的最小约简测试用例集,用以优化回归测试过程。综述了文献中主要的测试用例集启发式约简算法,通过统一的框架和术语定义了这些算法,分析和比较了这些算法的效率和优劣,指出了未来进一步研究的方向。
关键词
软件测试 软件维护 回归测试 测试用例 集 约简测试用例 集 最小 化
Keywords
Software testing, Software maintenance, Regression testing, Test suite reduction, Test suite minimization
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
题名 基于修正条件判定覆盖的软件测试技术研究和方法应用
被引量：4
13
作者
岳海 任慧敏
机构
北京航天自动控制研究所
出处
《航天控制》
CSCD
北大核心
2012年第3期69-72,共4页
文摘
对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。
关键词
软件测试 修正条件判定覆盖 最小测试用例集
Keywords
Software testing Modified Condition^Decision Coverage Minimal test cases set
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
题名 MC/DC准则在嵌入式软件测试中的应用
被引量：7
14
作者
安媛 陆云峰
机构
国核自仪系统工程有限公司 上海申能崇明发电有限公司
出处
《自动化仪表》
CAS
2019年第6期76-79,共4页
基金
国家十二五重大专项基金资助项目(2014ZX06002-007)
文摘
MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用。
关键词
嵌入式软件 软件测试 MC/DC 结构覆盖 逻辑控制 仪控 VectorCAST 最小测试用例集
Keywords
Embedded software Software testing MC/DC Structural coverage Logic control Instrument control VectorCAST Minimum test case set
分类号
TH-86
[机械工程]
