Validation de systèmes répartis par injection de fautes / Eliane Martins ; sous la direction de David Powell

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1992

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Ordinateurs -- Fiabilité

Traitement réparti

Fiabilité -- Méthodes statistiques

Estimation, Théorie de l'

Génie logiciel

Logiciels -- Certification

Codes correcteurs d'erreurs (théorie de l'information)

Powell, David (19..-.... ; chercheur en informatique) (Directeur de thèse / thesis advisor)

École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (Organisme de soutenance / degree-grantor)

Relation : Validation de systèmes répartis par injection de fautes / Eliane Martins ; sous la direction de David Powell / Grenoble : Atelier national de reproduction des thèses , 1992

Résumé / Abstract : Ce mémoire présente des résultats théoriques et pratiques concernant l'utilisation de l'injection physique de fautes. Nous proposons une méthode de test qui intègre les deux objectifs de la validation (vérification et évaluation), englobant les aspects suivants: a) la définition d'une architecture de test repartie avec support pour l'injection physique de fautes; b) la sélection de la séquence de test, qui doit considérer les fautes comme une entrée supplémentaire de test; c) la détermination que le service observe satisfait aux propriétés spécifiées et; d) l'estimation de la couverture des mécanismes de tolérance aux fautes basée sur les relevés collectés lors des expériences. Afin d'avoir des estimations de bonne qualité, et de réduire le temps et l'effort de réalisation des tests, des méthodes de sondage sont appliquées; en particulier, pour le traitement des non réponses (expériences non-significatives) nous proposons l'utilisation d'un sondage stratifié a posteriori basé sur les groupes d'équipotentielles affectées par les tests. Cette méthode a été appliquée à la validation d'une architecture répartie, ouverte et tolérante aux fautes, définie dans le cadre du projet delta-4 du programme européen esprit. Les résultats obtenus montrent l'apport considérable de l'injection physique de fautes dans le processus de validation de systèmes tolérants aux fautes.