Test de logiciel

Il est rare que la revue TSI publie un numéro thématique consacré au test de logiciel. Dans le secteur académique, l'importance de ce domaine a été clairement reconnue dès l'avènement du génie logiciel, mais il n'a fait l'objet de recherches en nombres et résultats significatifs que depuis une dizaine d'années. Cet intérêt tardif pour le test réside dans l'énergie consacrée à l'époque aux approches de vérification fondées sur les différentes formes de preuve jugées plus prometteuses.
Une seconde explication tient à l'insuffisance dans cette période lointaine de formalismes permettant de donner au test des fondements théoriques, et à la nature essentiellement empirique des activités de test dont se satisfaisait le secteur industriel. Pourtant, le test a toujours constitué le moyen primordial d'assurance de la qualité et de validation du logiciel, et son coût n'a fait que croître.
Les avancées réalisées dans la définition et la mise en oeuvre des méthodes formelles concourent maintenant à l'élaboration de méthodes de test plus pertinentes (aptitude à révéler des défauts ou des erreurs), plus performantes (moins de cas de test, problèmes plus complexes), plus automatisables (génération des cas de test, des oracles ou des bancs de test), et donc plus susceptibles de valorisation industrielle.
Pourtant, comme en témoignent les cinq contributions de ce numéro, l'intérêt scientifique semble surtout concentré sur l'assistance à la génération de tests. Les méthodes de test reposent toutes sur l'exécution d'un programme, que ce dernier soit le code ou la spécification d'un produit logiciel (quand cette spécification est exécutable) , un cas de test est représenté par un couple constitué des données (les entrées), et des résultats attendus (les sorties).
Le moyen par lequel sont déterminés les résultats attendus et le verdict sanctionnant la conformité des résultats obtenus reçoit le nom d'oracle.