测试已编译的二进制文件的功能
是否有一个库用于测试已编译的二进制文件的功能？类似于单元测试，但对于已编译的可执行文件，这应该允许我指定和验证有关特定输入和场景的程序行为的规则。我对针对 .NET 平台的某些东西特别感兴趣，但我也想知道是否有与平台无关的工具。
Is there a library for testing the functionality of already compiled binaries? Something like unit tests but for already compiled executables, that should allow me to specify and verify rules regarding the behavior of the program for specific inputs and scenarios. I'm specifically interested in something targgetting the .NET platform, but I'd also like to know if there are platform-agnostic tools for this.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
请参阅此线程中的答案。有很多工具可以从编译的 .Net 二进制文件自动生成测试。最大的赢家似乎是使用 Z3 约束求解引擎来探索代码。用英语来说，这意味着它可以找出哪些输入类别将导致代码的每个路径执行。
See the answers in this thread. There are a lot of tools to automatically generate tests from a compiled .Net binary. The biggest winner seems to be PEX which uses the Z3 constraint solving engine to explore the code. In English, this means it can figure out what classes of input will cause each path of the code to execute.