Generation de tests pour les specificatins lotos

par SUNG-UN KIM

Thèse de doctorat en Sciences appliquées

Sous la direction de Ana Cavalli.

Soutenue en 1993

à Paris 7 .

    mots clés mots clés


  • Résumé

    Cette these presente une methode automatique de generation de sequences de test a partir de la specification en lotos d'un protocole, dans l'optique des tests de conformite faible. Il s'agit d'une methode formelle basee sur les automates a etats finis (aef) obtenus a partir de specifications lotos au moyen de l'outil caesar et sur des algorithmes permettant d'automatiser la generation de tests. Nous avons defini une nouvelle sequence de caracterisation, la sequence unique d'evenement (sequence ue), en adaptant le concept de sequence unique d'entree/sortie (sequence uio) aux aef obtenus. Les sequences ue combinees avec le concept de circuit d'un postier rural chinois (la methode d'optimisation proposee uesop) ont ete utilisees pour resoudre le probleme d'observabilite de l'implantation sous test (ist) et le probleme de controlabilite de l'ist, de maniere a obtenir une sequence de test optimale. En utilisant la technique de mutation (comme technique de mesure de la capacite de detection d'erreurs associees a une sequence de test) basee sur un modele d'erreurs de transfert, sur l'hypothese de limite du nombre d'etats dans l'ist et sur l'hypothese de l'ist deterministe, nous avons montre par une simulation que la sequence de test obtenue par la methode proposee garantit une couverture complete de fautes dans le cadre du test de conformite faible, si une sequence ue (ou une signature unique) existe pour chaque etat de l'aef de specification. Suite a ces resultats theoriques, un logiciel denomme testgen a ete developpe pour la generation automatique des sequences de test. Cet outil est utilisable pour la generation d'une sequence de test optimale se rapportant a des specifications decrites en lotos et a des aef specifiant le comportement de protocoles, en vue du test de conformite faible


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 196 P.
  • Annexes : 90 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.