mar
1
Code Contracts et Pex pour .NET
Filed Under Vidéo | Leave a Comment
Manuel Fähndrich et Peli de Halleux, deux membres du groupe RiSE à Microsoft Research, nous font une petite demo de Code Contracts et Pex. Les Code Contracts peuvent être utilisés pour spécifier les pré-conditions et post-conditions de méthodes. Ils peuvent aussi être compilés en assertions a l’exécution. Pex peut dès lors analyser et tenter de trouver des contres-exemples pour les invalider. Ceci est notre première vidéo en français, donc attendez-vous à avoir quelques termes anglais dans la conversation…