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

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