A couple of weeks ago I saw Jon Skeet (all hail the Skeet) present on code contracts in Visual Studio. Code Contracts grew out of Spec#, which took inspiration from Eiffel and are a useful way of baking in constraints and requirements for method arguments. Code contracts are available from Microsoft Research for VS2008 and is being baked into .NET 4.0 and VS2010. It’s useful stuff for ensuring code quality (MS used the Spec# bits in the System.Cryptography namespace in .NET 3.0) – however there’s a problem. When MS took the leap to providing a unit test system they...