Défauts et Erreurs dans les Logiciels

Introduction à l'Assurance Qualité Logicielle

• Le génie logiciel est un domaine où les logiciels sont développés par des amateurs, des étudiants et des professionnels de diverses disciplines, allant de la finance à l'aérospatiale.
• L'assurance qualité logicielle est un aspect crucial, mais souvent négligé, du génie logiciel.
• Des processus de qualité doivent être développés pour répondre aux besoins spécifiques de chaque domaine.

Définition de la Qualité Logicielle

• Le logiciel est un ensemble d'instructions d'un langage de programmation qui forment un programme.
• La qualité du code source ne suffit pas à assurer la qualité d'un système logiciel.

Composantes du Logiciel (ISO 24765)

• Programmes: Les instructions de code source, issues de la spécification, conception, tests unitaires, et tests système.
• Données: Données inventoriées, modélisées et normalisées pour réaliser les tests.
• Processus: Processus métier des utilisateurs, décrits et optimisés.
• Règles: Règles d'affaires définies et validées.
• Documentation: Documents d'utilisation, de développement, et de maintenance du logiciel, permettant la communication, la révision et les tests.

Logiciel - Définition élargie

• Le terme logiciel inclut le firmware (microprogramme), la documentation et les données. Les instructions de contrôle d'exécution (statements) sont également incluses. (IEEE 730-2002)

Microprogramme (Firmware)

• Le micrologiciel associe un dispositif matériel à des instructions ou des données informatiques, généralement en lecture seule sur un périphérique matériel. (ISO 24765)

Corps de Connaissance en Ingénierie Logicielle (SWEBOK)

• Le SWEBOK définit la qualité logicielle comme incluant les fondamentaux de la qualité logicielle, la gestion de la qualité logicielle, les considérations pratiques et les outils de qualité logicielle.

Erreurs, Fautes et Défaillances Logicielles

• Différents termes sont utilisés pour décrire les problèmes en informatique, comme le plantage du système, une erreur du concepteur, détection d'un défaut lors d'une revue, un bug, une panne ou une défaillance du système, des rapports de paiement incorrects, etc.

Catégories de Causes d'Erreurs Logicielles

• Erreur (error): Action humaine produisant un résultat incorrect (ISO 24765)
• Défaut / Faute (defect): Une faute qui, si elle n'est pas corrigée, peut engendrer une défaillance ou produire des résultats incorrects (ISO 24765)
• Défaillance (failure): Manifestation d'une erreur dans le logiciel (ISO 24765).

Le terme « Bug »

• Le terme "bug" est utilisé depuis l'époque de Thomas Edison pour désigner les failles dans les systèmes.
• Un premier cas documenté de « bug informatique » concernait un papillon de nuit coincé dans un relais d'ordinateur en 1947.

Qualité d'une Exigence

• Une exigence est de bonne qualité si elle répond aux critères suivants:
  • Correcte
  • Complète
  • Clair pour chaque lecteur.
  • Concise
  • Constante
  • Réalisable
  • Nécessaire
  • Indépendante de la conception
  • Indépendante de la technique d'implémentation
  • Vérifiable et testable
  • Unique

Courbes de Fiabilité

• Les courbes de fiabilité montrent les différents stades de la vie d'un produit (matériel et logiciel): fatalité de la phase de démarrage, la phase de vie utile, et la phase de fin de vie (usure).

La Qualité Logicielle (ISO 24765)

• La qualité logicielle est la capacité d'un produit logiciel à répondre aux besoins et attentes des utilisateurs, dans des conditions spécifiées.
• Il est important de prendre en compte le contexte des utilisateurs et leurs exigences.

Facteurs affectant la satisfaction des besoins des clients

• Méconnaissance des besoins réels des clients
• Instabilité des besoins
• Différence de perspective
• Incomplétude de la spécification
• Manque de formalisme
• Insuffisance / Difficulté de communication
• Insuffisance du contrôle qualité
• Méthodes et techniques inadéquates
• Gestion et production inadéquates
• Tests insuffisants
• Insuffisance des techniques de contrôle qualité

Les modèles d'affaires et le choix des pratiques en Ingénierie Logicielle

• La compréhension des modèles d'affaires et des cultures des organisations aide à évaluer l'efficacité des pratiques, à apprendre des autres domaines et cultures et à s'intégrer dans de nouveaux contextes.

Le Développement à Contrait

• Les modèles commerciaux incluent des contrats où les clients spécifient exactement leurs exigences.
• L'entreprise réalise des bénéfices en fonction de sa capacité à respecter les délais et le budget.
• Les logiciels critiques, comme ceux de la défense, impliquent des réglementations et des processus d'audit rigoureux.

Les hypothèses sur le Développement à Contrait

• La livraison à temps est primordiale.
• Les exigences sont détaillées au début du projet.
• On vise beaucoup de communication.

Les pratiques prédominantes du Développement à Contrait

• Grande documentation
• Utilisation des fournisseurs externes (pour la documentation, l'expertise...).
• Utilisation d’exigences complètes et précises.
• Utilisation de modèles éprouvés (comme le CMMI).

Développement Interne

• La valeur du travail dépend de l'amélioration de l'efficacité de l'organisation.
• Les projets sont souvent influencés par les budgets et les délais.
• La distribution des correctifs peut être un facteur critique.

Logiciels Commerciaux

• Les logiciels sont distribués à de nombreux clients.
• Les vendeurs cherchent à éviter les litiges et les problèmes importants.

Logiciels de Masse

• Les logiciels sont vendus en grande quantité à des consommateurs.
• Le coût des correctifs peut être élevé.
• L'expérience d'utilisation est souvent critique.

Les logiciels embarqués de masse

• Le coût de la distribution des correctifs est important.
• Les défaillances peuvent avoir des conséquences importantes.
• Les rappels et les poursuites sont potentiels.

Négligences en Ingénierie Logicielle

• La négligence en génie logiciel implique des processus développés pour satisfaire les attentes et les contraintes.
• L'évaluation des processus est liée à des preuves documentées, incluant les témoignages d'ingénieurs qualifiés.
• Le but est de démontrer que l'organisation a utilisé un processus approprié.

L'anxiété, la peur et la terreur en Ingénierie Logicielle

• Les craintes varient selon les modèles d'affaires (médical, console, imprimantes...).
• Le respect des délais, les dépenses et la documentation des processus sont des facteurs clés.
• Les équipes doivent gérer les craintes liées à des enjeux potentiels tels que les erreurs, les défauts, les défaillances, les rapports de paiement incorrects, etc.

Testez vos connaissances sur la définition des erreurs et des défauts dans le contexte du développement logiciel. Ce quiz aborde des événements historiques, des catégories de défauts, et les meilleures pratiques pour la détection des défauts. Êtes-vous prêt à mettre à l'épreuve vos compétences en ingénierie logicielle ?