Évaluation de la fiabilité du logiciel d'un autocommutateur téléphonique
Auteur / Autrice : | Thierry Sabourin |
Direction : | Jean-Claude Laprie |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1987 |
Etablissement(s) : | Toulouse, INPT |
Résumé
La premiere etape de la methode a permis d'etudier d'une part le systeme et son environnement et d'autre part les differents types de defaillances survenues et les differents types d'erreurs contenues dans le logiciel. La quasi proportionnalite entre nombre d'erreurs contenues dans un composant et volume de ce composant (resultat obtenu dans plusieurs publications recentes) est confirmee. La seconde etape de la methode consiste a realiser un pre-traitement des donnees collectees, puis a appliquer certains modeles de fiabilite du logiciel. Le pre-traitement des donnees a mis en evidence differentes tendances dans les donnees collectees. On a pu remarquer notamment une constance de fiabilite durant une longue periode pour terminer avec une tres forte croissance intervenant durant le debut de la vie operationnelle du logiciel. Plusieurs modeles de croissance de fiabilite ont ete appliques ; parmi eux, le modele hyperexponentiel a ete utilise pour estimer les taux de defaillance en vie operationnnelle du logiciel global et selon les differents modes de defaillances. Une verification de coherence d'un modele structurel a enfin ete realisee