Étude de mesures de testabilité de systèmes logiques

par Abdelaziz Dammak

Thèse de doctorat en Électronique

Sous la direction de Chantal Robach.

Soutenue en 1985

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) (autre partenaire) .


  • Résumé

    Ce mémoire est consacré à l'étude de mesures de testabilité de systèmes logiques et à l'introduction de ces mesures dans un outil de génération de programmes de test. Un état de l'art sur la testabilité est fait, ainsi qu'une analyse critique des principaux programmes opérationnels : TMEAS, CAMELOT et SCOAP. Une description d'un système opérationnel d'aide à la spécification automatique de programmes de test : CATA, est donnée. Nous formalisons des mesures de contrôlabilité, observabilité et testabilité. Puis nous nous intéressons à la détermination d'une stratégie de test, définissant un ensemble minimal et ordonné d'écoulements permettant le test complet d'un système, au vu des mesures définies.


  • Résumé

    This report deals with the study of testability measures for logic systems and the introduction of these measures in a test programs generation tool. A general presentation of the testability concepts and a critical analysis of the main operational programs : TMEAS, CAMELOT and SCOAP, have been performed. A description of a Computer Aided Test Analysis system, CATA is given. We formalize controllability, observability and testability measures. Then we intent to determine a test strategy which defines a minimum, ordered set of flows allowing the full test of a system with respect to those measures.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (177 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr., 5 p.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : C-DAM
  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1985)123
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-033951
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.