tutsplus - Test-Driven Development in Ruby

Code Contracts provide a way for developers to express coding assumptions in .NET libraries and applications, facilitating the delivery of more reliable code that is easier to understand and maintain. In this course, we will cover the basics of Code Contracts, including how to enforce preconditions, guarantee postconditions, and define invariants. We will also cover some advanced techniques available to the Code Contracts library, including interface contracts and quantifiers. By the end of this course, you should know enough to get started using Code Contracts, and have a good understanding of the capabilities of the library.