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

Question

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

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

Answer 1

KLEE 确实可以在不修改的情况下使用程序。您可以让它生成符号命令行输入以及符号输入文件。以下是一些可用于此目的的示例命令:

-sym-arg - Replace by a symbolic argument with length N

-sym-args - Replace by at least MIN arguments and at most MAX arguments, each with maximum length N

-sym-files - Make stdin and up to NUM symbolic files, each with maximum size N.

-sym-stdout - Make stdout symbolic.

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