Nous avons vu précédemment comment définir des post-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des invariants à l’aide de Code Contracts.
[.NET] Code Contracts – Partie 4 – Les invariants
Répondre
Archives par mot-clé : Code Contracts
[.NET] Code Contracts – Partie 3 – Les post-conditions
Nous avons vu précédemment comment définir des pré-conditions à l’aide de Code Contracts. Nous allons voir maintenant comment définir des post-conditions à l’aide de Code Contracts.
[.NET] Code Contracts – Partie 2 – Les pré-conditions
Ce post fait suite à une introduction sur Code Contracts. Il explique ce qu’est une pré-condition, comment les définir et aussi comment les activer à l’aide de l’outil de réécriture.
[.NET] Code Contracts – Partie 1 – Introduction
Code Contracts est une nouvelle fonctionnalité du .NET Framework qui permet de définir des contraintes dans du code .NET qui pourront être réutilisées par des outils d’analyse ou d’écriture du code.
[.NET] TechDays 2011 : Détecter vos erreurs de programmation à la compilation avec Code Contrats du Framework 4.0
Dans moins d’un mois aura lieu les TechDays de Microsoft à Paris. A cette occasion j’aurai le plaisir d’animer une session consacrée à Code Contracts avec Amine ZEMZEMI (MSP).
Code Contracts est une nouveauté du .NET Framework 4.0 qui permet de définir des contraintes qui seront validées à l’exécution et/ou à la compilation !
Venez donc découvrir dans cette session les différents types de contrôles que vous pourrez mettre en place (pré-conditions, post-conditions,…etc) et comment ils vont améliorer la qualité de votre application !
Après les TechDays, Amine et moi-même rédigerons très certainement plusieurs articles sur Code Contracts.
Accéder à la page officielle de la session sur Code Contracts