Abstract FR:

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.