Une méthodologie de génération automatique de suites de tests pour applets Java Card

par Hugues Martin

Thèse de doctorat en Informatique

Sous la direction de Jean-Marc Geib.

Soutenue en 2001

à Lille 1 .


  • Résumé

    L'utilisation d'objectifs de tests pour vérifier la conformité des applications par rapport à leurs spécifications s'avère être une des solutions les plus prometteuses pour le domaine de la carte à puce. En effet, elle permet d'allier à la fois rigueur et risques, non seulement en tirant profit des techniques de génération automatique de tests, mais également en permettant au testeur d'éliminer les tests qui ne lui semblent pas pertinents. Cependant, tant que cette élimination est implicite, le testeur ne peut pas réellement maîtriser les risques. Pour répondre à ce besoin, nous proposons une méthodologie de test d'applications embarquées dans les Java Card. Cette méthodologie s'appuie sur des travaux de recherche menés autour de la génération de suites de tests à partir d'UML. Elle tire ainsi profit de techniques de génération automatique optimisées, ainsi que de techniques de combinaisons automatiques d'objectifs de tests. Elle apporte en plus une méthode de génération d'objectifs de tests qui guide le testeur tout au long de ce processus. Enfin, elle fournit au testeur les moyens de gérer explicitement les risques pris, en justifiant tous ses choix lors de l'élimination explicite de certains objectifs ou ensemble d'objectifs de tests.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1vol. (173 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 123-126. Glossaire p. 13

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Lilliad Learning Center Innovation (Villeneuve d'Ascq, Nord).
  • Disponible pour le PEB
  • Cote : 50376-2001-10
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.