Contribution à l'analyse de testabilité de systèmes réactifs synchrones

par Thanh Binh Nguyen

Thèse de doctorat en Informatique. Systèmes et communications

Sous la direction de Chantal Robach.

Soutenue en 2004

à Grenoble, INPG .

    mots clés mots clés


  • Résumé

    Cette thèse porte sur l'étude de la testabilité des systèmes réactifs, développés selon une approche flot de données synchrone. L'environnement de développement plus particulièrement étudié est l'environnement GALA utilisé par la société THALES Avionics pour développer des logiciels avioniques et spatiaux. L'objectif de l'analyse de testabilité est de prévoir et de mesurer la difficulté du test durant le développement du système. Une telle analyse permet également de guider les concepteurs et développeurs pour obtenir un système plus testable: le système doit être testé plus efficacement à moindre coût. Nous proposons l'intégration de l'analyse de testabilité dans le processus de développement du logiciel, cette analyse de testabilité pouvant s'effectuer à plusieurs niveaux: de la spécification au codage. Nous avons d'abord étudié l'analyse de testabilité des spécifications de type flot de données. Ensuite, nous nous sommes intéressés à l'analyse de testabilité du code, qui est implémenté par des langages impératifs, comme le langage C. Ceci nécessite l'utilisation de la forme SSA (Single Static Assignment) afin de transformer le code impératif sous une forme flot de données. Nous avons ainsi implémenté un traducteur permettant de générer automatiquement le modèle de testabilité à partir du code C. Enfin, concernant l'aide à la spécification des objectifs de test, nous avons proposé une amélioration des stratégies de test définies dans la technologie SATAN, en prenant en compte des caractéristiques d'impact sur le processus de test, comme les mesures d'accessibilité et les sorties critiques.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : ii-132 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 127-132

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS04/INPG/0023
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS04/INPG/0023/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.