Table des matières

Table des matières

Table des matières

• 1 Test de logiciels
  • 1.1 Objectifs du test
  • 1.2 Types de test
  • 1.3 Critères de test
  • 1.4 Problème de l'oracle
  • 1.5 Automatisation des tests
• 2 JML
  • 2.1 Assertions JML
  • 2.2 Assertions associées à des classes
  • 2.3 Assertions associées à des méthodes
  • 2.4 Assertions dans le corps des méthodes
  • 2.5 Compilateur JML
• 3 Exemple
  • 3.1 Spécification des listes
  • 3.2 Code Java pour les séquences
  • 3.3 Un programme très simple de test
• 4 Jartege
  • 4.1 Test de conformité avec JML
  • 4.2 L'outil Jartege
  • 4.3 Un exemple d'utilisation de Jartege
  • 4.4 Contrôle de la génération aléatoire
• 5 Références
  • 5.1 JML
  • 5.2 JUnit
  • 5.3 Jartege
• 6 À propos de ce document
• Table des matières

Table des matières

Table des matières