一句话：提出基于搜索的 C 语言测试数据生成工具 OCELOT，支持编写测试骨架并便于扩展实验。
自动生成测试用例能显著降低开发者在测试阶段的时间开销，而基于搜索的技术被认为是其中较有前景的方向。本文介绍了 OCELOT，一个面向 C 语言的基于搜索的测试数据生成工具。OCELOT 允许实践者为程序编写测试用例骨架，也使研究者能够方便地实现和实验新的自动测试数据生成方法。作者将 OCELOT 与一个具有竞争力的工具进行了对比评估，结果显示在 81% 的案例中 OCELOT 取得了更高的覆盖率。OCELOT 已公开提供，以支持研究者和实践者的使用。
Automatically generating test cases plays an important role to reduce the time spent by developers during the testing phase. In last years, several approaches have been proposed to tackle such a problem: amongst others, search-based techniques have been shown to be particularly promising. In this paper we describe Ocelot, a search-based tool for the automatic generation of test cases in C. Ocelot allows practitioners to write skeletons of test cases for their programs and researchers to easily implement and experiment new approaches for automatic test-data generation. We show that Ocelot achieves a higher coverage compared to a competitive tool in 81% of the cases. Ocelot is publicly available to support both researchers and practitioners.
@inproceedings{paperbot4798,
title = {OCELOT: a search-based test-data generation tool for C},
author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto},
booktitle = {ASE},
year = {2018},
doi = {10.1145/3238147.3240477}
}