XXP

mai 2016

lun. mar. mer. jeu. ven. sam. dim.
            1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31          

« Spec# : .Net & Design-by-Contract | Accueil | Spec# : .Net & Design-by-Contract »

01 avril 2007

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

TrackBack

URL TrackBack de cette note:
https://www.typepad.com/services/trackback/6a00d8341c871f53ef00d83542d89653ef

Listed below are links to weblogs that reference Spec# : .Net & Design-by-Contract:

Commentaires

L'utilisation des commentaires est désactivée pour cette note.