-
题名更改的判定条件覆盖测试技术研究
被引量：10
- 1
-
-
作者
张义德
王国庆
汤幼宁
-
机构
中国航空计算技术研究所
-
出处
《计算机工程与设计》
CSCD
2003年第5期19-22,26,共5页
-
文摘
与语句覆盖、判定覆盖、条件覆盖、判定条件覆盖、多重条件覆盖相比,路径覆盖具有更强的结构覆盖率。但其需要更庞大的测试用例,事实上它并不实用。近年来,一种相对新颖和优秀的结构覆盖准则——更改的判定条件覆盖(MC/DC)应运而生,它继承了多重条件覆盖的优点,同时只是线性地增加了测试用例的数量。因此,在许多重要的软件,尤其是以嵌入式和实时性为特征的航空机载软件中得到广泛的应用。介绍了MC/DC的特点、设计方法、评估策略及工程应用。
-
关键词
软件测试
判定条件
结构覆盖准则
覆盖测试
软件开发
-
Keywords
modified condition/decision coverage
masking
independent effect
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名更改条件/判定覆盖最小真值表生成算法及其应用
被引量：8
- 2
-
-
作者
朱晓波
杨伟民
叶芯
-
机构
上海理工大学计算机工程学院
-
出处
《上海理工大学学报》
CAS
北大核心
2007年第1期84-88,共5页
-
文摘
研究了从一个布尔表达式生成最小真值表的算法,阐述了在覆盖测试工具中利用此算法辅助设计测试用例的应用问题,以此提高代码覆盖率.
-
关键词
结构测试
更改判定/条件覆盖
真值表
Pileatus工具
-
Keywords
structural testing
modified condition/decision coverage
truth-table
Pileatus tool
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向条件判定覆盖的线性拟合制导测试生成
被引量：5
- 3
-
-
作者
汤恩义
周岩
欧建生
陈鑫
-
机构
计算机软件新技术国家重点实验室(南京大学)
南京大学软件学院
南京大学计算机科学与技术系
-
出处
《软件学报》
EI
CSCD
北大核心
2016年第3期593-610,共18页
-
基金
国家自然科学基金(61402222
91318301
+3 种基金
61561146394)
国家重点基础研究发展计划(973)(2014CB340703)
教育部高等学校博士学科点专项科研基金(20110091120058)
江苏省产学研项目(BY2014126-03)~~
-
文摘
条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足.例如:符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优,而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,提出了一种线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,该方法具有参数配置简易、生成过程高效等优点,并且能够处理带非线性条件约束、逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,所提出的方法比目前以覆盖率见长的遗传算法(genetic algorithm,简称GA)制导方法具备更好的覆盖能力与更高的执行效率.
-
关键词
测试用例自动生成
条件判定覆盖
线性拟合
关联路径
-
Keywords
automatic test generation
condition/decision coverage
linear fitting
associated path
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名单元表的等价性、满足覆盖性条件的表的等价性判定
- 4
-
-
作者
郝忠孝
张英慧
刘玉峰
任家东
-
机构
哈尔滨工业大学
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1997年第S1期281-283,共3页
-
文摘
文中提出了单元表、满足覆盖性条件的表等概念，给出了针对每种表的等价性判定方法．
-
关键词
单元表
覆盖性条件
等价
判定
-
Keywords
unit table, covering condition, equivalence, decision
-
分类号
TP391.4
[自动化与计算机技术—计算机应用技术]
-
-
题名修正的条件/判定覆盖分析工具评估与选择
- 5
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
CSCD
2009年第3期40-43,53,共5页
-
文摘
使用工具进行修正的条件/判定覆盖(MC/DC)分析可以简化软件验证工作,但必须对候选的工具进行认真评估,确定每种工具的功能性和局限性,着重考虑的因素包括:监测语句的类型、在何处监测语句(源码还是目标码)、可监测的条件和判定的最大个数、确定独立影响所用的算法、关系运算符的处理、位运算符的处理、组合表达式的处理、单步逻辑运算的处理和插装影响等。
-
关键词
修正的条件/判定覆盖
覆盖分析工具
工具评估
-
Keywords
Modified Condition/Decision Coverage（MC/DC ）, Coverage Analysis tool, Tool Evaluation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向MC/DC覆盖的白盒单元测试用例自动生成技术
- 6
-
-
作者
秦畅
陈赛
李坤
刘恒
杨柳
马征
-
机构
西南交通大学信息编码与传输实验室
民生科技有限责任公司
-
出处
《科学技术与工程》
北大核心
2024年第30期13039-13047,共9页
-
基金
国家自然科学基金(U2268201)。
-
文摘
在航空航天、医疗、交通等需要保证严格安全的领域,软件测试过程中通常需要利用修正条件判定覆盖(modified condition/decision coverage,MC/DC)替代传统覆盖准则,以此生成更高质量的测试用例。基于此,提出了一种面向MC/DC覆盖的白盒单元测试用例自动生成方案,该方案以MC/DC覆盖到分支覆盖的映射为理论依据,基于符号执行引擎KLEE和底层虚拟机(low-level virtual Machine,LLVM)基础技术框架设计了多款工具,从而自动生成满足测试代码MC/DC最高覆盖的测试用例,以此检测出由于设计导致的MC/DC无法达到100%覆盖的代码缺陷。
-
关键词
白盒测试
单元测试
测试用例自动生成
修正条件判定覆盖
-
Keywords
white-box testing
automatic test case generation
modified condition decision overlay
unit test
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向航空软件需求模型的MC/DC测试用例生成方法
- 7
-
-
作者
丁鼎
胡军
王康星
董泽华
王立松
-
机构
南京航空航天大学
-
出处
《小型微型计算机系统》
北大核心
2025年第7期1783-1792,共10页
-
基金
国家自然科学基金项目(U2241216)资助。
-
文摘
充分的测试是确保现代航空软件正常运行的必要环节,而传统软件测试方法往往难以满足要求.为此,本文设计了一种面向航空软件领域的测试用例自动生成方法,为自然语言描述下的航空软件需求构建变量关系模型,解析其模型语义创建需求语义树,根据安全关键等级选取测试路径、生成不同的覆盖集.为缓解条件互相关联而可能导致修改的条件/判定覆盖失效的问题,本文定义了适用于该需求模型的耦合条件判断及约束准则,提出3种修改的条件/判定覆盖形式并给出相应的覆盖集生成方法;基于覆盖集所确定的等价类和边界,设计了合理有效的测试用例选取策略,自动生成测试用例集.最后,对一个航空软件需求实例进行形式化建模和测试用例生成,证明了上述方法的可行性.
-
关键词
测试用例生成
修改的条件/判定覆盖
基于需求的测试
形式化需求建模
-
Keywords
test case generation
modified condition/decision coverage
requirements-based testing
formal requirement modelling
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于形式化描述测试用例生成的研究与实现
被引量：4
- 8
-
-
作者
王伟光
丁洪达
曾庆凯
-
机构
南京大学计算机软件新技术国家重点实验室
-
出处
《计算机应用》
CSCD
北大核心
2008年第4期1018-1022,共5页
-
基金
国家自然科学基金资助项目(60773170
60721002
+2 种基金
60473053)
国家863计划项目(2006AA01Z432)
江苏省自然科学基金资助项目(BK2005074)
-
文摘
根据高安全系统实现和评估的需要,提出基于形式化Z描述的测试用例生成方法,并据此实现了测试用例自动生成工具,可进行符合更改条件/判定覆盖准则的测试用例生成,以解决生成测试用例数量与质量间的取舍问题。与相关工作相比,可以降低形式化描述的要求,减少人工参与的成分,提高测试用例生成的有效性和效率。
-
关键词
安全评估
测试用例生成
形式化描述
更改条件判定覆盖
-
Keywords
security evaluation
testing-case generation
formal description
Modified Condition/Decision Coverage （MC/DC）
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于维持种群多样性的测试数据生成算法的研究
被引量：2
- 9
-
-
作者
王建民
蔡媛
-
机构
中山大学信息科学与技术学院
国家数字家庭工程技术研究中心(中山大学)
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2012年第5期1039-1048,共10页
-
基金
国家自然科学基金项目(61073132
60776796)
+2 种基金
广东省自然科学基金项目(9151027501000035)
广东省科技计划项目(2009B010800017)
中山大学基本科研业务费专项基金项目(101gpy33)
-
文摘
测试数据自动化生成技术尝试寻找一个相对小的数据集来满足测试充分性标准,以降低软件测试的成本,提高测试效率.当测试项的数据集大小超过其上限时,算法会使用淘汰算法把差异性较小的测试数据从集合中淘汰掉,把差异性较大的测试数据留下来,以维持种群的多样性.针对此问题,提出一种基于维持种群多样性的演化算法来求解测试数据集,算法利用启发信息迭代地选择一个条件?判定语句作为子目标,通过演化算法生成数据以覆盖目标.在此算法框架内,利用一种新的计算评估值的方法计算数据与测试项的距离信息;以及利用归一的曼哈顿距离计算测试数据差异性,通过淘汰策略把差异性较小的测试数据淘汰掉.在实验中,对14个计算机科学基础算法的基准函数进行了测试,并与现有文献中的测试数据生成方法进行对比,验证了算法有效提高了条件?判定覆盖率,并且减少了测试数据的生成数量,提高了测试性能.
-
关键词
结构化测试
测试数据自动化生成
测试用例
条件/判定覆盖
元启发式搜索技术
-
Keywords
structural testing
automatic test data generation
test case
condition/decision coverage
meta-heuristic search techniques
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名MC/DC最小测试用例集快速生成算法
被引量：7
- 10
-
-
作者
段飞雷
吴晓
张凡
董云卫
-
机构
西北工业大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第17期40-42,45,共4页
-
基金
国家"863"计划基金资助项目"构件化嵌入式软件测试方法及其工具研究"(2008AA01Z142)
-
文摘
以条件判定组合的语法树为研究对象,总结语法树的左右分支对判定结果的影响方式及结果,根据其影响特点提出超越语法树的快速生成改进判定/条件覆盖最小测试用例集的算法。与其他算法在在空间及时间方面进行比较,结果表明该算法具有一定的优越性。
-
关键词
改进判定
条件覆盖
最小测试用例集
快速生成算法
-
Keywords
MC/DC
minimum test case set
rapidly generating algorithm
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
