Outils d'aide à la décision dans le test de systèmes logiques

Ali Mili (1)

1 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble

On élabore des politiques de test d'un grand système logique. On s'intéresse à la possibilité de partitionner un réseau à tester en plusieurs sous-réseaux. On introduit des paramètres de test que l'on utilise pour modéliser les problèmes de test sous forme de problèmes mathématiques de prise de décision.

Mots clés: décision; aide à la décision; test; contrôle; circuits logiques; partitionnement; réseaux

Domaines: Modélisation et simulation

Ali Mili. Outils d'aide à la décision dans le test de systèmes logiques. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1978. Français. ⟨NNT : ⟩. ⟨tel-00288054⟩