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

par Olivier Gaudoin

Thèse de doctorat en Mathématiques appliquées

Sous la direction de Jean-Louis Soler.

Soutenue en 1990

à l'Université Joseph Fourier (Grenoble) .


  • Résumé

    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

  • Titre traduit

    Statistical tools for software reliability assessment


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (213 p.)
  • Annexes : Bibliogr. (p. 207-213)

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS 90/GRE1/0138
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1990-GAU
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 02420
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.