Identifiant pérenne de la notice : 247425451
Notice de type
Notice de regroupement
Note publique d'information : Cette thèse concerne l'étude de la testabilité des conceptions flot de données des
systèmes réactifs développés à l'aide de deux environ développement SCADE et SIMULINK.
La testabilité, utilisée pour estimer de manière prédictive la facilité à tester un
système, est évaluée par deux mesures : la contrôlabilité et l'observabilité. Nous
utilisons la technologie SATAN basée sur la théorie de l'information pour modéliser
le transfert d'information dans le système. Les mesures de testabilité sont calculées
à partir de la perte d'information dans le schéma d'opérateurs, où chacun des opérateurs
contribuent à cette perte d'information. La perte d'information d'un opérateur est
calculée soit exhaustivement sur la base de la "table de vérité" de la fonction de
l'opérateur, soit de manière statistique via les résultats de simulation de l'opérateur.
Notre approche a été intégrée dans un outil permettant une analyse automatique de
testabilité
Note publique d'information : This work concerns the testability analysis of data-flow designs of reactive systems
developed by using two development environments SCADE and SIMULINK. The testability,
which is used to estimate the facility to test a system, is a combination of two measures
: controllability an observability. We use the SATAN technology, which is based on
the information theory, to model the transfer of information in the system. The testability
measures are computed from the loss of information in the system, where each operator
contributes to this loss. The loss of information of an operator can be evaluatedeither
exhaustively by basing on the "truth table" of the function of the operator, or statistically
by basing on the simulation results of the operator. Our approach is integrated in
a tool allowing an automatic analysis of testability of graphical data-flow designs
of reactive systems.
paprika.idref.fr
data.idref.fr
Documentation
