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
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
1
/
55
100%
