 |
|
 Notice |
|
|
50.00 €
|
|
Test de logiciel (Technique et science informatiques RSTI Vol.21 N° 9/2002)
Auteur(s) : MARRE Bruno, OUABDESSELAM Farid
Date de parution: 01-2003
Support : Numéro de revue
Langue : FRANÇAIS
134p. 16x24 Broché
Expédition sous 24h !
| Commentaire | | Retrouvez la description détaillée du numéro sur RevuesOnline. |
| Résumé | | 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 œuvre 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. |
Thèmes :
- Informatique / Ingenierie des systemes d'information, genie logiciel, securite / Gestion des données dans l'entreprise : groupware, workflow...
- Informatique / Ingenierie des systemes d'information, genie logiciel, securite / Génie logiciel
- Informatique / Langages et programmation / Ouvrages généraux. méthodes de programmation
|
| |
|
|
|
|
|
|
