-
题名修正的条件/判定覆盖分析工具评估与选择
- 1
-
-
作者
张卫民
孙军
-
机构
北京航天飞行控制中心
-
出处
《载人航天》
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覆盖的白盒单元测试用例自动生成技术
被引量：2
- 2
-
-
作者
秦畅
陈赛
李坤
刘恒
杨柳
马征
-
机构
西南交通大学信息编码与传输实验室
民生科技有限责任公司
-
出处
《科学技术与工程》
北大核心
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
[自动化与计算机技术—计算机软件与理论]
-
