15、EvoSuite在SBST 2020工具竞赛基准测试中的有效性实证研究

EvoSuite在SBST 2020工具竞赛基准测试中的有效性实证研究

1. 引言

自动化测试用例生成在过去十年一直是一个重要的研究课题。在众多自动化测试生成技术中，基于搜索的软件测试因其高可扩展性和高测试覆盖率吸引了众多研究者。EvoSuite是一款用于Java程序的先进的基于搜索的软件测试工具，许多研究者使用它来检测现实工业案例中的故障并实现高测试覆盖率。

为了通过分析EvoSuite的局限性来提高其有效性（即测试覆盖率实现），我们进行了一项实证研究，将EvoSuite应用于SBST 2020工具竞赛基准测试（简称SBST 2020基准）。该基准由从现实世界Java项目中选取的70个类组成。我们复制了竞赛期间EvoSuite的设置以获取其覆盖率报告，并手动分析了EvoSuite未能覆盖的每个分支，将它们分为几类。

2. 实证研究设置

2.1 基准概述

SBST 2020基准包含从以下四个现实世界开源项目中选取的70个不同类：
- FESCAR：一个开源的分布式事务库，用于支持微服务中的事务。
- GUAVA：Google开发的通用Java库，提供集合类。
- PDFBOX：一个PDF处理库，提供PDF操作实用程序，如文本提取、拆分、合并和文档签名。
- SPOON：一个用于Java源代码分析和转换的库。

主题	#类数	#分支总数	分支平均数量	分支中位数	标准差