Bibliographie & annexes
Présentation
English
RÉSUMÉ
Les modèles de quantification de la fiabilité d’un logiciel sont encore très peu utilisés dans l'industrie et restent même un sujet assez controversé. Cet article décrit les fondements théoriques de la modélisation de la fiabilité et en explique les modes d'utilisation. Son objectif est de montrer qu'il s'agit d'une technique statistique valide et applicable aux logiciels. Il est également fait un bilan des pratiques industrielles actuelles et, pour finir, sont données des pistes potentielles d'amélioration de ces pratiques dans l'avenir.
Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.
Lire l’articleAuteur(s)
-
Frédérique VALLÉE : Agrégée de mathématiques - Docteur en statistiques - Directeur associé de la société ALL4TEC, Massy
INTRODUCTION
Bien que les modèles de quantification de la fiabilité du logiciel soient un sujet controversé , ils restent les seuls à permettre une évaluation objective du niveau de fiabilité obtenu en fin de développement. De ce fait, ce point n'est jamais explicitement traité, ou est abordé de manière subjective, ou encore est remplacé par des exigences sur le processus de réalisation. Dans tous les cas, les techniques de substitution utilisées ne permettent pas d'avoir une idée précise du risque que l'on prend en mettant un logiciel en opération, ce qui est, par essence, le but de la quantification de la fiabilité.
Cet article décrit les fondements théoriques de la quantification de la fiabilité du logiciel et en explique les modes d'utilisation. Il s'efforce de lever les principales réticences rencontrées vis-à-vis de la quantification de fiabilité du logiciel en expliquant notamment le processus qui est à l'origine de l'apparition des défaillances et la manière dont les mathématiciens ont proposé de le modéliser. Il explique également comment les donneurs d'ordre pourraient mettre en œuvre des exigences de fiabilité du logiciel qui concourraient nettement à obtenir une meilleure qualité opérationnelle des composantes informatiques des systèmes complexes qu'ils acquièrent.
L'objectif de l'article est de montrer que la modélisation de fiabilité est une technique statistique valide et applicable aux logiciels quelle que soit leur nature : logiciels embarqués, logiciels temps réels, logiciels de système d'information de tout domaine. L'article fait également un bilan des pratiques industrielles actuelles et donne des pistes potentielles d'évolution de ces pratiques dans l'avenir.
L'expertise technique et scientifique de référence
VERSIONS
- Version archivée 1 de oct. 2004 par Frédérique VALLÉE
DOI (Digital Object Identifier)
CET ARTICLE SE TROUVE ÉGALEMENT DANS :
Accueil > Ressources documentaires > Environnement - Sécurité > Sécurité et gestion des risques > Sécurité par secteur d'activité et par technologie > Quantification de la fiabilité des logiciels > Mise en œuvre des modèles
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Présentation
Pratiques industrielles actuelles
English
3. Mise en œuvre des modèles
3.1 Processus de collecte et d'étude
3.1.1 Présentation générale du processus
La démarche de quantification de la fiabilité des logiciels impose de mettre en œuvre deux types d'actions différentes : une action continue de collecte de données et des actions ponctuelles d'étude de fiabilité.
La collecte des données est complétée périodiquement par une étape permettant de débroussailler les données, appelée « analyse a priori ». Après quoi les études de fiabilité du logiciel se déroulent en trois étapes successives : étude des tendances, modélisation et prévision. Elles se terminent par la rédaction d'un rapport présentant les travaux réalisés et les résultats obtenus. La figure 3 résume ce processus dont chaque étape est décrite en détail dans les paragraphes qui suivent.
J. D. Musa propose un processus tout à fait similaire dans ses travaux sur le SRE (Software Reliability Engineering ) .
Dès que le logiciel est dans une phase relativement stable, en général en phase de test d'intégration ou de validation, il faut relever le signal d'apparition de ses défaillances.
rappelons que les modèles employés sont des modèles de fiabilité expérimentale (par opposition aux modèles de fiabilité prévisionnelle) puisqu'il est nécessaire de disposer d'un logiciel exécutable pour...
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
Mise en œuvre des modèles
BIBLIOGRAPHIE
-
(1) - EVERETT (W.), KEENE (S.), NIKORA (A.) - Applying Software Reliability in the 1990s. - IEEE Transactions on Reliability, sept. 1998.
-
(2) - CARER (P.), LECLERCQ (P.) - Maîtrise de la fiabilité des nouveaux systèmes numériques à ERDF, application au futur système « compteurs communicants ». - Avignon (2008).
-
(3) - KEENE (S.) - Keene development process SW reliability model : an early prediction method. - IEEE Reliability Society Newsletter, vol. 57, no 2, mai 2011.
-
(4) - VALLÉE (F.), VERNOS (D.) - Comment utiliser la fiabilité du logiciel comme critère d'arrêt du test. - 13e Colloque national de Fiabilité et Maintenabilité, Lyon (2002).
-
(5) - MILLS (H.D.) - On the statistical validation of computer programs (validation statistique des programmes informatiques). - IBM Rep. 72-6015 (1972).
-
...
DANS NOS BASES DOCUMENTAIRES
ANNEXES
ENSIMAG 3e année – Fiabilité des systèmes et des logiciels – Notes de cours – Olivier Gaudoin http://docplayer.fr/775864-Fiabilite-des-systemes-et-des-logiciels.html
Lou Gullo, Raytheon : Software Reliability Growth Approach http://www.dtic.mil/ndia/2010systemengr/ThursdayTrack8_10997Gullo.pdf
HAUT DE PAGE
L'expertise technique et scientifique de référence
Cet article fait partie de l’offre
Technologies logicielles Architectures des systèmes
(240 articles en ce moment)
Cette offre vous donne accès à :
Une base complète d’articles
Actualisée et enrichie d’articles validés par nos comités scientifiques
Des services
Un ensemble d'outils exclusifs en complément des ressources
Un Parcours Pratique
Opérationnel et didactique, pour garantir l'acquisition des compétences transverses
Doc & Quiz
Des articles interactifs avec des quiz, pour une lecture constructive
