testing - 用于黑盒测试的自动输入生成器

Question

我是软件测试的新手。我想知道，是否有任何用于自动化测试用例生成器黑盒测试的开源工具。

我发现了这个工具KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs，但是要使用这个工具，我需要做一些代码检测。有什么方法可以在没有代码检测的情况下生成自动化测试用例，因为我无法访问源代码。

Answer 1

KLEE 无需修改即可使用程序。您可以让它生成符号命令行输入以及符号输入文件。以下是一些可用于此目的的示例命令：

-sym-arg - 用长度为 N 的符号参数替换

-sym-args - 替换为至少 MIN 参数和最多 MAX 个参数，每个参数的最大长度为 N

-sym-files - 制作标准输入和最多 NUM 个符号文件，每个文件的最大大小为 N。

-sym-stdout - 使标准输出符号化。

示例可以在 KLEE 网站上的教程中找到。