Skip to Main content Skip to Navigation
Theses

L'approche fonctionnelle dans la vérification des systèmes informatiques : proposition d'un ensemble de méthodologies

Résumé : Ce travail concerne dans l'ordre l'analyse et la définition des besoins de tests pour la vérification fonctionnelle durant les étapes de maintenance, mise au point en validation de prototype et en intégration série, conception du système. Pour chacun des besoins recensés, on propose une méthodologie de conception et de réalisation. l'analyse fait apparaitre la nécessité d'un environnement propre à l'application de ces tests. On l'étudiera particulièrement pour le cas des tests des sous-systèmes périphériques et des tests de simultanéité au niveau système. A ce jour, l'étude et le développement de ces environnements sont restés du domaine exclusif des industriels.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00287124
Contributor : Thèses Imag <>
Submitted on : Wednesday, June 11, 2008 - 8:48:55 AM
Last modification on : Friday, November 6, 2020 - 4:11:10 AM
Long-term archiving on: : Friday, May 28, 2010 - 6:44:14 PM

Identifiers

  • HAL Id : tel-00287124, version 1

Collections

Citation

Mohamed Moalla. L'approche fonctionnelle dans la vérification des systèmes informatiques : proposition d'un ensemble de méthodologies. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1976. Français. ⟨tel-00287124⟩

Share

Metrics

Record views

746

Files downloads

428