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

Sign in to queue

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

Download

Download this episode

The Discussion

Add Your 2 Cents