Raisonnement qualitatif applique au test evolutif des logiciels

par CONSTANTINOS KARAPOULIOS

Thèse de doctorat en Sciences et techniques

Sous la direction de Jean-Louis Durieux.

Soutenue en 1999

à Toulouse 3 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Ce travail se propose d'analyser le comportement dynamique d'un logiciel par des techniques de raisonnement qualitatif. Ces resultats sont ensuite utilises pour ameliorer la procedure de test. Apres avoir introduit une algebre adaptee au calcul des structures du flot des donnees dans le logiciel, on introduit le graphe qualitatif qui est l'equivalent d'un espace de phases du logiciel etudie. Les differentes proprietes algebriques et topologiques de ces graphes sont analysees afin d'introduire la notion de groupe algorithmique fondamental associe a la dynamique qualitative d'un logiciel. Dans une derniere partie on utilise les resultats de l'algorithmique qualitative pour guider un algorithme genetique dans un processus de generation automatique de donnees de test.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 263 p.
  • Annexes : 67 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1999TOU30106
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.