none
Programmation par contrat - Conception par contrat RRS feed

  • Question

  • Bonjour à tous, amis développeurs .NET,

    Je suis très intéressé par la programmation par contrat qui intégre les spécifications dans le code. Cette conception améliore la lisibilité et la compréhension du code, accélère et facilite le débogage.

    Connaissez-vous des extensions du langage C# qui permettent de pratiquer ce type de programmation sur le modèle du langage Eiffel, notamment de préciser les invariants de classe (contraintes de cohérences au niveau de la classe).

    Merci d'avance pour votre aide.

     

    jeudi 15 septembre 2011 09:51

Réponses

  • Bonjour,

    Merci pour vos interventions.

    En effet, j'ai eu le plaisir de découvrir que le framework .NET (en version 4) offre la possiblité dorénavant de programmer par contrat.

    Dommage qu'il arrive si tard.

    Ce modèle de programmation a été inventé par langage Eiffel, il y a pas mal de temps.De plus, il fait parti nativement du langage Eiffel.

    Alors que le framework .NET permet de programmer par contrat par l'intermédiaire d' ensemble de classes de l'espace de nom  System.Diagnosis.Contracts.Contract.

    Je trouve que c'est une solution moins élégante.

    Voici un lien vers le pdf montrant comment utiliser ces classes pour mettre en oeuvre la programmation par contrat (En anglais, DBC : Design By Contract): 

    http://download.microsoft.com/download/C/2/7/C2715F76-F56C-4D37-9231-EF8076B7EC13/userdoc.pdf

     

    • Marqué comme réponse ceanota jeudi 15 septembre 2011 14:42
    jeudi 15 septembre 2011 14:41

Toutes les réponses