This paper improves the breadth-first search strategy in directed automated random testing (DART) to generate a fewer number of test data while gaining higher branch coverage, namely Static DART or SDART for short. In addition, the paper extends the test data compilation mechanism in DART, which currently only supports the projects written in C, to generate test data for C++ projects. The main idea of SDART is when it is less likely to increase code coverage with the current path selection strategies, the static test data generation will be applied with the expectation that more branches are covered earlier. Furthermore, in order to extend the test data compilation of DART for C++ context, the paper suggests a general test driver technique for C++ which supports various types of parameters including basic types, arrays, pointers, and derived types. Currently, an experimental tool has been implemented based on the proposal in order to demonstrate its efficacy in practice. The results have shown that SDART achieves higher branch coverage with a fewer number of test data in comparison with that of DART in practice.

中文翻译：

---

C++ 项目测试数据生成中定向自动随机测试的改进

本文改进了定向自动随机测试（DART）中的广度优先搜索策略，以生成更少的测试数据，同时获得更高的分支覆盖率，即Static DART或简称SDART。此外，论文扩展了目前仅支持C语言编写的项目的DART中的测试数据编译机制，为C++项目生成测试数据。SDART 的主要思想是，当当前路径选择策略不太可能增加代码覆盖率时，将应用静态测试数据生成，期望更早覆盖更多分支。此外，为了扩展 DART for C++ 上下文的测试数据编译，本文提出了一种通用的 C++ 测试驱动技术，支持基本类型、数组、指针和派生类型等各种类型的参数。目前，已根据该提案实施了一个实验工具，以证明其在实践中的有效性。结果表明，与 DART 在实践中相比，SDART 以更少的测试数据实现了更高的分支覆盖率。