测试已编译的二进制文件的功能

Question

是否有用于测试已编译二进制文件功能的库？像单元测试，但对于已编译的可执行文件，这应该允许我指定和验证有关特定输入和方案的程序行为的规则。我特别感兴趣的是有关.NET平台的东西，但我也想知道是否有与平台无关的工具。

Answer 1

查看此thread中的答案。有许多工具可以从已编译的.Net二进制文件中自动生成测试。最大的赢家似乎是PEX，它使用Z3约束求解引擎来探索代码。在英语中，这意味着它可以确定哪些类型的输入将导致代码的每个路径执行。