Getting started with Code Contracts in Visual Studio 2008

Mike Barnett gives a step-by-step tutorial on Code Contracts, a new way to express preconditions, postconditions and invariants in any .NET language. The contracts team have built a runtime instrumentation tool and also advanced static checkers that can understand and reason about contracts.  The Code Contracts library can be downloaded for …

ASP.NET MVC: Episode 3 with Charlie Poole – Returning Blog Entries

In this third episode, Stephen Walther and Charlie Poole build tests that verify that their blog can return blog entries. They build unit tests for the case when there are no entries returned and the case when a single entry is returned.