Recherche Avancée

Thèse soutenue

Outils statistiques pour l'évaluation de la fiabilité des logiciels

FR  |  
EN
Auteur / Autrice : Olivier Gaudoin
Direction : Jean-Louis Soler
Type : Thèse de doctorat
Discipline(s) : Mathématiques appliquées
Date : Soutenance en 1990
Etablissement(s) : Université Joseph Fourier (Grenoble, Isère, France ; 1971-2015)

Résumé

FR

Le but de ce travail est de proposer des méthodes statistiques pour l'étude de la fiabilité d'un logiciel considère comme un système dont les défaillances ne proviennent que de ses fautes de conception, au vu de ses défaillances et corrections successives. Pour cela, nous proposons une modélisation stochastique du comportement d'un logiciel au cours du temps en termes de défaillance et de corrections, prenant en compte ses fautes de conception et son processus de sollicitation. On montre que l'évolution du système résulte de l'interaction complexe de trois processus aléatoires ponctuels, cette interaction étant entièrement résumée par la donnée de l'intensité conditionnelle de défaillances. Ce résultat permet d'envisager les modèles classiques de fiabilité des logiciels sous un angle nouveau permettant de comparer leurs qualités respectives. Il permet également de construire une nouvelle classe de modèles, les modèles proportionnels, dont la caractéristique est d'exprimer simplement l'effet d'une correction sur le taux de défaillance du logiciel. Nous étudions en détail deux de ces modèles, le premier consistant à représenter l'effet d'une correction par un réel, le second par une variable aléatoire gaussienne. L'analyse statistique de ces modèles est centrée sur l'estimation des paramètres impliques et soulève des problèmes mathématiques attrayants. Enfin, nous nous intéressons à l'étude des tests de tendance de fiabilité. Nous proposons de nouvelles méthodes en les comparant aux anciennes, et mettons en évidence les propriétés remarquables du test de Laplace