-
题名一种最小测试用例集生成方法
被引量: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
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种测试用例集最小化生成算法研究及应用
- 4
-
-
作者
胡先智
梁艳
-
机构
西安理工大学网络信息管理中心
西安思源学院理工学院
-
出处
《南昌教育学院学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于故障树分析与组合测试的测试用例生成方法
被引量:5
- 5
-
-
作者
张卫祥
刘文红
-
机构
北京跟踪与通信技术研究所
-
出处
《计算机科学》
CSCD
北大核心
2014年第B11期375-378,共4页
-
文摘
随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。
-
关键词
软件测试
测试用例生成
组合测试
故障树分析
最小割集
测试用例集
软件工程
-
Keywords
Software testing
Test suite generation
Interaction testing
Fault tree analysis
Minimum cut set
Test suite
Software engineering
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名TTCN-3类型系统测试用例集自动生成
- 6
-
-
作者
蒋凡
金鑫
吴文娟
-
机构
中国科学技术大学计算机科学与技术系
-
出处
《计算机系统应用》
2009年第9期45-49,共5页
-
文摘
针对编译器测试中最为重要的测试用例集构造问题,提出了针对TTCN-3语言类型系统的编译器测试用例集层次化、结构化的自动生成方案。语法方面,严格遵从语言规格说明中的扩展巴科斯-瑙尔范式(EBNF);语义正确性上,采用定义"元素定义偏序文件"、建立抽象语法树等多种方法加以保证。实验表明新方案极大提高了测试用例集的生成效率,对TTCN-3类型系统语法、语义两方面都达到很好的测试覆盖,增强了发现编译器缺陷的能力。该方案对于其他语言的编译器测试也具有参考价值。
-
关键词
TTCN-3类型系统
编译器测试
测试用例集自动生成
层次化
结构化方法
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于惯性权重优化的测试用例生成方法
被引量:2
- 7
-
-
作者
李昭
陈雨杭
沈金伟
聂旭清
-
机构
广东海洋大学数学与计算机学院
三峡大学计算机与信息学院
广东邦鑫数据科技股份有限公司研发中心
-
出处
《计算机工程与设计》
北大核心
2023年第6期1743-1748,共6页
-
基金
广东省海洋经济发展专项基金项目(GDNRC[2020]052)
湛江市科技攻关计划基金项目(2021B01021)
+1 种基金
广东海洋大学重大科研基金项目(GDOU2017052605)
广东海洋大学科研启动经费基金项目(R20079)。
-
文摘
针对组合测试测试用例生成环节中局部最优的问题,提出一种基于惯性权重优化的测试用例生成方法。结合粒子群算法的优点,以生成最小规模覆盖表为目标,改进适应值函数,设计一种惯性权重微分递减策略;在此基础上,更新调优后的惯性权重值,使用测试用例演化策略迭代生成测试用例集,提升生成更小规模覆盖表的能力。实验结果表明,该方法在高覆盖需求下,覆盖表最小生成规模和平均生成规模优于其它方法。
-
关键词
软件测试
测试用例生成
惯性权重递减
适应值函数
测试用例集
覆盖表生成
最小规模覆盖表
-
Keywords
software testing
test case generation
decreasing inertia weight
fitness function
set of test cases
overlay table generation
minimum size coverage table
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-