论文阅读笔记20230217

DART: Directed Automated Random Testing (PLDI 2005)

本文提出了DART（Directed Automated Random Testing），一个自动化测试软件的工具。其包含了3大模块：

1. 使用静态源代码解析技术自动化提取目标程序的输入接口（Interface）和其运行环境；
2. 根据输入接口自动化生成测试驱动（Test Driver），在模拟环境中对程序进行随机测试（Random Testing）；
3. 动态分析程序在随机测试下产生的行为，并自动化生成新的测试输入来引导程序触发新的路径。

具体细节见原文。论文代码未开源。