Code Contracts and Pex
I’ll be presenting on Code Contracts and Pex at the June 17th meeting of the TRINUG .NET in Depth SIG. If you haven’t used these two products from Microsoft Research, you have missed a treat! Code Contracts allow you to express pre and post-condition coding assumptions as well as object invariants in .NET source code. Pex is automated white box parameterized unit testing with very high levels of code coverage. Both products are very cool and together they are awesome! Code Contracts has been released as a separate .NET library and will be a part of .NET 4.0 when it’s released. Pex is still pre-release software but has been very stable for me and is definitely worth getting for some eye-popping demos at the next geekathon. Get yourself some Code Contracts and Pex bits and have some fun.