Pourquoi le design par contrat est-il considéré comme une alternative au processus de programmation pseudo?

softwareengineering.stackexchange https://softwareengineering.stackexchange.com/questions/163282

Question

En ce moment, je lis le code complet par Steve McConnell et dans le chapitre 9, il parle du processus de programmation pseudo (PPP).

D'après ce que j'ai compris, le PPP est un moyen de programmation dans lequel le programmeur écrit d'abord le code pseudo pour la routine sur laquelle il travaille, puis l'affine au point où à peu près chaque ligne de code pseudo peut être implémentée dans 1- 3 lignes de code, puis écrit le code dans le langage de programmation désigné et enfin le code pseudo est enregistré comme commentaires dans le but de documenter la routine.

Dans le chapitre 9.4, l'auteur mentionne des alternatives au PPP, dont une «conception par contrat». Dans la conception par contrat, vous affirmez essentiellement les conditions préalables et les post-conditions de chaque routine.

Maintenant, pourquoi serait-ce considéré comme une alternative? Pour moi, il semble évident que je devrais utiliser les deux techniques en même temps et ne pas en avoir choisi l'un par rapport à l'autre.

Pas de solution correcte

Licencié sous: CC-BY-SA avec attribution
scroll top