Code Contracts in C# 4.0 – Part 1

Bugs occur. Once you accept that fact, you can do something about it. There are bugs in every piece of software with even a minimal level of complexity. Various options exist to address these. Manual testing is one, but it is often hard to reproduce, or just isn’t done. Automated testing is also possible, and useful, particularly with regards to test driven development. But even this has problems because poorly written tests require debugging themselves. In short, there is NO silver bullet. There are, however, more tools available.

Read more! http://www.developertutorials.com/tutorials/c-sharp/code-contracts-in-c-sharp-4-part-1-2955/