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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Bird découvre que sa mère n'est autre que la poétesse dissidente Margaret Miu...
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
