基于分支相关性分析的不可达路径检测方法

摘要：

软件测试中，不可达路径的存在会导致测试资源浪费，有效地检测程序中的不可达路径有助于节约测试资源、提高测试效率。分支相关性的存在是不可达路径产生的主要起因。因此，确定分支的相关性在不可达路径的检测中占据十分重要的地位。提出了一种利用关联分析和数据流分析确定分支相关性的方法，进而实现不可达路径的自动检测。首先，结合静态分析和动态分析，构建反映程序中各分支判断语句静态依赖关系和动态执行信息的数据集；然后，利用关联分析和数据流分析技术确定分支的相关性；最后，根据分支相关性信息检测不可达路径。基于一组基准程序和开源程序，开展不可达路径检测实验。实验结果表明，该方法能够准确地检测出程序中的不可达路径，可以有效地提高软件测试的效率。

关键词：软件测试、不可达路径、分支相关性、关联分析、数据流分析

所属期刊栏目：53

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61502497，61562015；计算机软件新技术国家重点实验室南京大学基金项目KFK T2014B19；广西可信软件重点实验室桂林电子科技大学研究课题kx201530；南通市应用研究计划基金项目BK2014055 This work was supported by the National Natural Science Foundation of China61502497，61562015;the Foundation of State Key Laboratory for Novel Software Technology Nanjing University KFK T2014B19;the Foundation of Guangxi Key Laboratory of T rusted Software Guilin University of Electronic Technology kx201530;the Nantong Application Research Plan Foundation BK2014055．

在线出版日期：2016-06-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：1072-1085