La fiabilité en Java
Grandes lignes du cours
Problématique de la fiabilité
Les exceptions
Les blocs : try-catch
Les types d’exceptions
Les exceptions de type Error
Les exceptions de type RuntimeException
Les exceptions contrôlées
Les exceptions contrôlées du JDK
Les exceptions contrôlées personnalisées
Finally
Propagation des exceptions.
Les assertions
Utilisation des assertions
Les différents types d’assertions
Mauvaises pratiques
JUnit
J. Sopena (INRIA/UPMC) La fiabilité en Java 2 / 74
La fiabilité
Tout programme comporte des erreurs (bugs) ou est susceptible
de générer des erreurs (e.g suite à une action de l’utilisateur, de
l’environnement, etc ...).
La fiabilité d’un logiciel peut se décomposer en deux grandes
propriétés :
1. la robustesse qui est la capacité du logiciel à continuer de
fonctionner en présence d’événements exceptionnels tels que
la saisie d’informations erronées par l’utilisateur ;
2. la correction qui est la capacité d’un logiciel à donner des
résultats corrects lorsqu’il fonctionne normalement.
J. Sopena (INRIA/UPMC) La fiabilité en Java 4 / 74
Assurer la fiabilité en Java
Le langage Java inclus plusieurs mécanismes permettant
d’améliorer la fiabilité des programmes :
Iles exceptions pour la robustesse ;
Iles assertions pour la correction.
A ces mécanismes viennent s’ajouter des outils complémentaires
tels :
Ides outils de test unitaire comme JUnit ;
Ides outils de debuggage comme jdb.
J. Sopena (INRIA/UPMC) La fiabilité en Java 5 / 74
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
1
/
74
100%
