測試已編譯的二進制文件的功能

Question

是否有用於測試已編譯的二進制文件功能的庫？像單元測試，但對於已編譯的可執行文件，應該允許我指定和驗證有關特定輸入和場景的程序行爲的規則。我特別感興趣的是.NET平臺的目標，但我也想知道是否有與平臺無關的工具。

Answer 1

請參閱此thread中的答案。有很多工具可以從已編譯的.Net二進制文件自動生成測試。最大的贏家似乎是PEX，它使用Z3約束求解引擎來探索代碼。在英語中，這意味着它可以確定哪些類別的輸入會導致代碼的每個路徑執行。