Les assertions

Maintenant qu'on a vu comment utiliser les spécifications pour documenter des méthodes, on va s'intéresser à un autre sujet important en programmation : le débogage, c'est-à-dire retrouver les endroits dans un programme qui font que le programme ne fonctionne pas correctement.

Revoici la méthode qui permet de faire la division de deux entiers mais un peu modifiée.