Test à partir de spécifications axiomatiques

par Delphine Longuet

Thèse de doctorat en Informatique

Sous la direction de Marc Aiguier.

Soutenue en 2007

à Evry-Val d'Essonne .


  • Résumé

    Mes travaux de thèse sont dédiés à la définition d'un cadre formel pour le test de systèmes dynamiques à partir de spécifications logiques. Dans le cadre des spécifications algébriques, une des méthodes de sélection de tests qui a été très étudiée, appelée dépliage d'axiomes, consiste à dériver des cas de test à partir des axiomes de la spécification. L'objectif de la thèse a alors été de généraliser et d'adapter cette méthode de sélection à des spécifications exprimées dans des logiques plus générales que la logique équationnelle : la logique du premier ordre et la logique modale du premier ordre. Cette dernière extension permet d'aborder le test de systèmes dynamiques et réactifs de façon nouvelle, l'approche habituellement suivie, appelée test de conformité, s'appuyant sur une description du système à tester sous la forme d'un automate.


  • Résumé

    My work is dedicated to the definition of a formal framework for testing dynamic systems from logical specifications. In the framework of algebraic specifications, one of the methods that has extensively been studied, called axiom unfolding, consists in deriving test cases from the specification axioms. The thesis has then been aimed at generalising and adapting this selection method to specifications expressed in more general logics than equational logic: first-order logic and first-order modal logic. Thanks to this last extension, we propose a new approach for testing dynamic systems, the usual approach, called conformance testing, using an automata-based description of the system under test.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (199 p.)
  • Annexes : Bibliogr. p. [191]-196

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 005.131 LON tes
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.