Ce travail est consacré à l'étude de méthodes statistiques pour l'évaluation de la fiabilité des logiciels. Son but principal est de fournir des outils statistiques permettant de construire et ensuite valider des modèles en tenant compte des spécificités des logiciels étudiés. Pour ce faire deux outils sont utilisés : les modèles linéaires généralisés (paramétriques et non-paramétriques) et l'analyse statistique bayésienne. La deuxième partie de ce travail est consacrée à l'ètude mathématique des problèmes de validation et de choix de modèles en fiabilité des Logiciels. On y étudie entre autres une approche dite "préquentielle" (prédictive-séquentielle) bien adaptée aux tests d'adéquation aux processus de Poisson. Cette approche semble pouvoir se généraliser à un grand nombre de modèles de fiabilité des logiciels.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00004988 |
| Date | 20 September 1996 |
| Creators | El-Aroui, Mhamed-Ali |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0019 seconds