Spec# : .Net & Design-by-Contract

Avec les même objectifs que Pex, les labos Microsoft viennent de sortir une nouvelle version de Spec#, extensions de C# pour la programmation par contrat.  Spec# permet de détecter, grâce à  la mise en oeuvre d'algorithmes de preuve automatique, que les contrats (contraintes) appliqués aux méthodes, classes ou types ne sont pas respectés. Les vérifications des contrats sont réalisées au runtime, et aussi et même surtout (beaucoup plus difficile), dès la compilation.

Il est possible que Spec# se retrouve dans un prochain Visual Studio après Orcas. En attendant on peut le télécharger ici.

Lien : page d'accueil de specsharp