基于代码转换的MC/DC测试用例生成技术

发布时间：2021-09-19 10:37

　　近年来随着计算机软件行业的飞速发展,计算机软件系统日益复杂,软件质量问题已经严重限制了计算机技术的发展。软件测试是保证软件质量和可靠性的主要手段,这对于航空航天、自动驾驶、医疗等领域中使用的安全关键软件系统尤为重要。这些系统需要极高的可靠性,只要发生故障就可能会导致灾难性的后果。因此人们制定了软件认证标准,对安全关键系统提出了一系列严格的要求,在软件测试时必须予以考虑。例如在航空软件认证标准中有一条要求仅适用于安全关键系统,即用于测试这些系统的测试用例必须满足修订的条件/判定覆盖（MC/DC）准则。MC/DC准则是一种比较严格的代码覆盖准则,旨在证明判定中涉及的所有条件都可以独立地影响判定的结果。目前,测试人员普遍采用手工方法设计测试数据。但是手工生成测试数据的效率低下、容易出错,导致测试成本昂贵,很难保证软件质量。动态符号执行技术能够针对被测程序自动生成测试用例,该技术降低了由手工测试而产生的高额成本,大幅提高了测试效率,近年来被广泛使用。但是,现有的动态符号执行技术以分支覆盖为目标进行测试生成,因此不能生成满足MC/DC准则的测试用例。为了解决这个问题,本文提出了一种基于代码转换的... 

【文章来源】：北京工业大学北京市 211工程院校

【文章页数】：65 页

【学位级别】：硕士

【部分图文】：

Clang中程序的抽象语法树片段Figure4-1AfragmentoftheabstractsyntaxtreeofaprograminClangClang作为LLVM的编译前端，为开源项目提供了三种不同的开发接口，分别是LibClang、ClangPlugins和ClangLibTooling[64]

【参考文献】：
期刊论文
[1]基于布尔表达式约束的测试用例生成技术[J]. 孙溢,阳小华,刘杰,余童兰,吴志强,陈智.  计算机与现代化. 2019(01)
[2]符号执行研究综述[J]. 叶志斌,严波.  计算机科学. 2018(S1)
[3]采用Clang/LLVM的C++源代码覆盖率分析插装方法[J]. 李树芳,安金霞,刘洋,陈良.  计算机科学. 2017(11)
[4]基于KLEE的软件漏洞测试用例自动生成技术[J]. 黄琦,蔡爱华,吕慧颖,彭武,王冬海,陈君华.  计算机工程与设计. 2016(06)
[5]基于DO-178的机载软件结构覆盖分析[J]. 左泽轩,薛战东.  科技视界. 2016(15)
[6]基于图的MC/DC最小测试用例集快速生成算法[J]. 黄孝伦.  计算机系统应用. 2012(11)
[7]基于修正条件判定覆盖的软件测试技术研究和方法应用[J]. 岳海,任慧敏.  航天控制. 2012(03)
[8]基于MC/DC准则的确认测试用例生成方法[J]. 郑平,许胜.  现代电子技术. 2007(16)

博士论文
[1]基于覆盖准则的软件测试用例自动化生成方法的研究与实现[D]. 苏亭.华东师范大学 2016

硕士论文
[1]基于遗传算法的MC/DC测试用例自动生成方法研究[D]. 俞祥贤.南昌航空大学 2015



本文编号：3401458