Cours Java : deuxième saison

Programmation Objet en Java – Cours 5 Exception – (C) 2005, Frédéric Peschanski 1
Cours Java : deuxième saison
➢Cours 7 : Exceptions, tests unitaires et assertions
➢Cours 8 : Design Patterns 1
➢Cours 9 : Design Patterns 2
➢Cours 10 : Interfaces graphiques en Swing
➢Cours 11 : Collections
Contact: F[email protected]

Programmation Objet en Java – Cours 5 Exception – (C) 2005, Frédéric Peschanski 2
Exceptions, Tests Unitaires et
Assertions
●Introduction aux exceptions
●Traitement des exceptions en Java
●Conception par contrat
–Prérequis
–Garanties
●Tests unitaires avec Junit
–Classes de test
–Méthodes de tests
●Erreurs logiques et assertions

Programmation Objet en Java – Cours 5 Exception – (C) 2005, Frédéric Peschanski 3
Programmes robustes
●Approches formelles : ex. Floyd/Hoare
–Fiable, Long, Coûteux
●Approches semi-formelles : ex. Contrat
–Assez Fiable, Moins long et coûteux
●Approches empiriques : ex. Junit
–Moins fiable, moins long et coûteux
●Important: approches complémentaires

Programmation Objet en Java – Cours 5 Exception – (C) 2005, Frédéric Peschanski 4
Dans ce cours
●Gestion propre des erreurs en Java
–Important: souvent mal fait
●Conception par contrat « light » 
–Méthode de conception
–Systématise la gestion des exceptions
●Test unitaire avec Junit
–Pour écrire proprement des tests

Programmation Objet en Java – Cours 5 Exception – (C) 2005, Frédéric Peschanski 5
Typologie des erreurs
●Erreurs de compilation : par le compilateur javac
–Erreurs de syntaxe, pbm. de typage
●Erreurs d'exécution : par la machine virtuelle java
–Erreurs système : générée par l'environnement
=> RuntimeException
–Erreurs contractuelles : mauvaise utilisation d'un objet
=> Exception
–Erreurs logiques : un bug du programme !
=> AssertionError