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.
+2
A:
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.
Steve Rowe
2009-11-27 03:08:05