Présentation

Article

1 - PROBLÉMATIQUE GÉNÉRALE DE LA FIABILITÉ DU LOGICIEL

  • 1.1 - Qu'est-ce que la fiabilité du logiciel ?
  • 1.2 - Fiabilité du logiciel et sûreté de fonctionnement des systèmes programmés
  • 1.3 - Quel mode de quantification adopter ?
  • 1.4 - Fiabilité prévisionnelle et fiabilité expérimentale

2 - MODÈLES DE CROISSANCE DE FIABILITÉ

3 - MISE EN ŒUVRE DES MODÈLES

4 - PRATIQUES INDUSTRIELLES ACTUELLES

  • 4.1 - Bilan mitigé
  • 4.2 - Intérêt certain du côté des donneurs d'ordre
  • 4.3 - Regain d'intérêt grâce à l'automatisation des tests

Article de référence | Réf : SE2520 v2

Problématique générale de la fiabilité du logiciel
Quantification de la fiabilité des logiciels

Auteur(s) : Frédérique VALLÉE

Relu et validé le 01 mars 2015

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

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’article

ABSTRACT

Software reliability models are today seldom used in industry and remain a rather controversial topic. This article describes the theoretical bases of software reliability modeling and explains how to put them into practice. Its goal is to demonstrate that it is a statistical technique that is valid and adapted to the software. This article also provides a review of the current industrial practices and presents potential means of improvement for these practices in the future.

Auteur(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.

Cet article est réservé aux abonnés.
Il vous reste 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

KEYWORDS

reliability   |   failure rate   |   reliability requirements   |   reliability growth models

VERSIONS

Il existe d'autres versions de cet article :

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v2-se2520


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 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

ABONNEZ-VOUS

1. Problématique générale de la fiabilité du logiciel

1.1 Qu'est-ce que la fiabilité du logiciel ?

La fiabilité d'un logiciel, ou plus généralement d'un système, désigne, selon l'UTE (Union technique de l'électricité), son aptitude à assurer sa mission dans des conditions d'environnement données et pendant une durée donnée. La fiabilité caractérise ainsi la confiance que l'utilisateur peut placer dans le service rendu par un système.

Dans cet article, la définition de la fiabilité du logiciel qui fait référence est : « La probabilité d'un logiciel à accomplir l'ensemble des fonctions spécifiées dans son document de référence, dans un environnement donné et pour un temps de fonctionnement donné. » C'est une définition de fiabiliste, qui peut être évaluée par une expression mathématique et qui est donc beaucoup plus restrictive que la définition de la fiabilité du logiciel donnée, par exemple, dans la norme ISO/IEC 25 010 comme étant « l'aptitude du logiciel à maintenir un niveau de performance requis lorsqu'il est utilisé dans les conditions spécifiées ».

Cette définition soulève, dans le monde informatique, principalement deux réticences :

  • la première réticence, mise en avant dans les principales normes de sécurité fonctionnelle, et notamment la norme ISO/CEI 61508, repose sur la considération que le logiciel produit des défaillances « systématiques » dont la probabilité d'occurrence ne peut pas être quantifiée. Pourtant le caractère stochastique du processus d'apparition des défaillances du logiciel ne peut pas être nié et il est même possible d'associer deux types d'aléas à ce processus. Le premier aléa est celui qui fait qu'un défaut a une certaine probabilité d'être introduit dans le code avec bien sûr des causes multiples : des spécifications floues, incompréhension entre clients et fournisseurs, perturbations de l'environnement du codeur, etc. Le second aléa est celui qui fait qu'un défaut, généré par le premier aléa, a une certaine probabilité d'être activé lors de l'utilisation du logiciel et ainsi de produire une défaillance. En ce sens, la fiabilité du logiciel peut tout à fait être comparée à la fiabilité d'un composant électronique que l'on pondère par des facteurs de qualité (le premier aléa) et...

Cet article est réservé aux abonnés.
Il vous reste 95% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 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

ABONNEZ-VOUS

Lecture en cours
Problématique générale de la fiabilité du logiciel
Sommaire
Sommaire

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).

  • ...

1 Supports numériques

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

2 Outils...

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(233 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

ABONNEZ-VOUS