Le test logiciel est une procédure de vérification partielle d’un logiciel basé sur l’exécution de scénarios de test et leur comparaison avec un comportement attendu conformément à la spécification définie pour son développement.
Les tests peuvent être réalisés à différents niveaux d’intégration : depuis les tests de fonctions indépendantes (test unitaires), l’intégration du système (test système) et du système dans son environnement (test d’acceptance).
Les tests sont intrinsèquement incomplets : ils peuvent permettre de découvrir des erreurs mais ne garantissent pas leur absence contrairement à des techniques de preuve. On peut cependant caractériser la qualité d’une suite de test par le type de couverture qu’elle assure sur le code testé.
Si les test sont généralement écrits à la main, ils existent différentes techniques pour les mettre en oeuvre de manière efficace, voire de les générer à partir d’un modèle (Model-Based Testing).