用於黑盒測試的自動輸入生成器

Question

我是軟件測試的新手。我想知道，是否有自動化測試用例生成器黑盒測試的開源工具。

我發現這個工具KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs，但要使用這個工具，我需要做一些代碼工具。有沒有什麼辦法可以在沒有代碼檢測的情況下生成自動化測試用例，因爲我無法訪問源代碼。

Answer 1

KLEE確實可以在沒有修改的情況下使用程序。您可以讓它生成符號命令行輸入以及符號輸入文件。下面是可以用於此目的的一些示例命令：

-sym精氨酸 - 通過用長度爲N的符號參數替換

-sym-ARGS - 通過至少MIN參數和至多替換 MAX參數，每一個最大長度爲n

-sym - 文件 - 製作標準輸入和最多NUM象徵性的文件，每個 最大尺寸N.

-sym，標準輸出 - 讓STDOUT的象徵。

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