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

Résumé : 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.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00288054
Contributor : Thèses Imag <>
Submitted on : Friday, June 13, 2008 - 4:30:42 PM
Last modification on : Thursday, January 11, 2018 - 6:20:25 AM
Long-term archiving on : Friday, May 28, 2010 - 8:07:05 PM

Identifiers

  • HAL Id : tel-00288054, version 1

Collections

Citation

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. ⟨tel-00288054⟩

Share

Metrics

Record views

268

Files downloads

126