Trying out Code Contracts from Microsoft Research

lynnlangit

28 Dec 2008 1:35 AM

Comments 1

There are two sections that get added to VS 2008 after you install the add-in from MSR to test Code Contracts. The first one is simply called 'Contracts'.

Contracts configuration in VS 2008

The second tab is named 'Code Contracts'.

The MSR team did a presentation at PDC08 about Code Contracts and the Pex automated-testing tool.

In the area of contract-based coding at Microsoft, there is also Spec#. Sample shown below.

using System;
using Microsoft.Contracts;

public class Program
{
  static void Main(string![]! args) 
  {
    Console.WriteLine("Spec# says hello!");
  }
  
  public int Add(int i, int j)
  
    requires i > 5;
    requires j < 3; 
    {
        int r = i + j;
        return r;
    }
    
}