Code Contracts

This course provides an introduction to Code Contracts in the Microsoft .NET Framework.
More
This course provides an introduction to Code Contracts in the Microsoft .NET Framework.
More
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.

Learn by doing. Use hands-on exercise files to follow along with the course and practice concepts as you’re watching them. Sign up now to enhance your training.

Start free trial

Course transcripts are the written form of the course audio. You can use transcripts to just read the audio, or to search for terms or phrases to find where they are discussed in the training. Sign up to try them now.

Start free trial

Ask questions, read feedback from other learners and share your input, all in our discussion forums. Sign up now to join our community of learners, course authors and friendly support staff.

Start free trial

You’ve completed the course but did you master it? Test yourself with questions that gauge your understanding of the material and show you what to brush up on. Sign up to get started.

Start free trial
Table of Contents
Description
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.
Exercise Files

Learn by doing. Use hands-on exercise files to follow along with the course and practice concepts as you’re watching them. Sign up now to enhance your training.

Start free trial
Transcript

Course transcripts are the written form of the course audio. You can use transcripts to just read the audio, or to search for terms or phrases to find where they are discussed in the training. Sign up to try them now.

Start free trial
Discussion

Ask questions, read feedback from other learners and share your input, all in our discussion forums. Sign up now to join our community of learners, course authors and friendly support staff.

Start free trial
Knowledge Check

You’ve completed the course but did you master it? Test yourself with questions that gauge your understanding of the material and show you what to brush up on. Sign up to get started.

Start free trial
Course info
Level
Intermediate
Rating
(193)
Duration
1h 51m
Released
16 Jul 2012
Course authors

John Sonmez is the founder of Simple Programmer (http://simpleprogrammer.com), where he tirelessly pursues his vision of transforming complex issues into simple solutions

Share course