Design By Contract : Code Contracts avec C# 4.0

Dans l’article S.O.L.I.D paru il y a quelques mois, nous vous avons présenté les grands principes qui ont pour objectif d’améliorer la qualité des programmes. Cet article approfondit le principe de Ségrégation de Liskov (LSP) et présente comment Microsoft, par le biais de l’API Code Contracts, permet de l’implémenter de manière efficace et élégante.
Bertrand Meyer, en 1985, est le premier à introduire la technique de programmation par contrat (Design By Contract) permettant de répondre techniquement au Principe de Liskov. Cette technique propose de vérifier que certaines conditions formant un contrat sont vraies à un moment donné d’un programme. Pour cela, trois types de conditions sont définies : • Pré-condition : condition devant être vraie en amont du traitement • Post-condition : condition devant être vraie en aval du traitement • Invariant : condition devant toujours être vraie

Jason De Oliveira
Fathi Bellahcene

S'ABONNER
Egalement au sommaire n°: 147