Étude de mesures de testabilité de systèmes logiques
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.