Cas du logiciel
Sûreté de fonctionnement des systèmes - Croissance de fiabilité et management

De façon générale, l’expression « défaut logiciel » (ou bogue) qualifie l’écart entre les caractéristiques du produit et celles voulues, que ce soit en sortie, au niveau du code, des liens, etc.

La nature exclusivement conceptuelle des défauts peut concerner :

• la manipulation des données d’entrée, suite à une définition inadéquate ;

• l’interface entre modules de programme (format, type des paramètres) ;

• le séquencement et la synchronisation des opérations d’entrée/sortie ;

• les défauts de sémantique (souvent introduits à la saisie du code) ;

• la structure du programme : boucles infinies, segments inaccessibles ;

• la précision des calculs ;

• les performances (temps réel) ;

• l’adressage mémoire ;

• la connaissance insuffisante de la syntaxe du langage ;

• fréquemment, une mauvaise interprétation des spécifications elles-mêmes.

Or, au paragraphe précédent (où les modèles de Duane et AMSAA sont plus de nature paramétrique qu’explicative – processus NHPP), on admettait implicitement que toute erreur de conception détectée sur un matériel pouvait être corrigée et que toute autre erreur résiduelle serait détectable si on y mettait le temps. Cela reste quasi impossible à prouver dans un système programmé, du fait de sa complexité, de la prise en compte de la dimension temporelle (désynchronisations non systématiquement reproductibles) et... du délai contractuel de livraison !

Il s’en est suivi une multitude de modèles de défaillance du logiciel opérationnel résultant d’hypothèses prises à partir des données d’expériences antérieures. Sans aborder dans cet article la description de ces modèles, que le lecteur trouvera sans peine ailleurs [SE 2 520], ni a priori leur pertinence vis-à-vis...