Manuel Fahndrich et Peli de Halleux - Code Contracts et Pex pour .NET

Download

Right click “Save as…”

Embed code for this video

Copy the code above to embed our video on your website/blog.

Close

Video format

Note: These selections will fall back to the next best format depending upon browser capability.

Close

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 utilise pour specifier les pré-conditions et post-conditions de methodes. Ils peuvent aussi être compilé en assertions a l'exécution. Pex peut dès lors analyser et tenter de trouver des contres examples pour les invalider. Ceci est notre première video en francais, donc attendez-vous à avoir quelques termes anglais dans la conversation...

Les outils peuvent etre téléchargé des sites suivants:

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Tags:

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.