-
题名面向MC/DC覆盖的白盒单元测试用例自动生成技术
- 1
-
-
作者
秦畅
陈赛
李坤
刘恒
杨柳
马征
-
机构
西南交通大学信息编码与传输实验室
民生科技有限责任公司
-
出处
《科学技术与工程》
北大核心
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
[自动化与计算机技术—计算机软件与理论]
-
