Programmation par contrats

INF3143
Modélisation et spécification
formelles des logiciels
Hiver 2017
Alexandre Terrasa
Département d’informatique, UQÀM

Conception modulaire
2
Chapitre tiré du cours de INF3140 - Spécification Formelle de Logiciels Hafedh Mili

Comment limiter la complexité globale d’un
système?
Idée: Découper un tout en morceaux (modules)
Conception modulaire
3

Exigences de la conception
modulaire
Chaque module doit
● être moins complexe que le tout (diviser
pour régner)
● offrir une sous fonction utile et cohérente
du système (forte cohésion)
● être relativement indépendant des autres
modules (faible couplage)
4

Forte cohésion
Avantages
● Clarté
● Maintenabilité, Testabilité
● Extensibilité, Réutilisabilité
Comment l’atteindre?
● Single Responsability Principle
● une seule action par classe / méthode
5