01_Demarche test introduction.pdf

Motivations du test

• Complexité croissante des architectures et des comportements
• Coût d’un bug

• Coût des bugs informatiques (~60 milliards $ / an)
• 22 milliards économisés si les procédures de test de logiciels étaient améliorées

Validation & Vérification

V & V

• Validation : Est-ce que le logiciel offre les services attendues
• Vérification : Est-ce que les artefacts utilisés sont corrects

Méthodes de V & V

• Test statique : Revue de code, de spécifications, de documents de design
• Test dynamique : Exécuter le code pour s’assurer d’un fonctionnement correct
• Vérification symbolique : Run-time checking, Execution symbolique, …
• Vérification formelle : Preuve ou model-checking d’un modèle formel

Définition du test

<aside> 📘 Le test est l’exécution ou l’évaluation d’un système ou d’un composant par des moyens automatiques ou manuels, pour vérifier qu’il répond à ses spécifications ou identifier les différences entre les résultats attendus et les résultats obtenus.

</aside>

La pratique du test

• Le test appartient à l’activité de Validation du logiciel : est-ce que le logiciel fait les choses bien et les bonnes choses