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

Download this episode

Download Video

Description

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.

Embed

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    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.