Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes Accéder directement au contenu
Thèse Année : 1989

Software reliability growth. Characterization, modelization, evaluation

Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation

Résumé

This thesis is dedicated to software dependability evaluation.
Dans ce mémoire nous nous intéressons à l'évaluation de la sûreté de fonctionnement d'un système informatique et plus particulièrement du logiciel. Nous considérons à la fois les aspects de fiabilité (prise en compte des temps hors défaillance uniquement) et de disponibilité (prise en compte simultanée des temps hors défaillance et des temps où le système est défaillant. Nous nous intéressons à la sûreté de fonctionnement d'un logiciel déjà codé et qui est en cours d'évolution. cette évolution a pour origine soit des corrections, soit des changements de spécifications, situation couramment appelé "croissance de fiabilité"
Fichier principal
Vignette du fichier
These-Etat-KK-1989.pdf (6.27 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-01964462 , version 1 (09-01-2019)

Identifiants

  • HAL Id : tel-01964462 , version 1

Citer

Karama Kanoun. Croissance de la sûreté de fonctionnement des logiciels. Caractérisation, modélisation, évaluation. Performance et fiabilité [cs.PF]. Institut National Polytechnique De Toulouse, 1989. Français. ⟨NNT : ⟩. ⟨tel-01964462⟩
132 Consultations
32 Téléchargements

Partager

Gmail Facebook X LinkedIn More