VALIDATION VÉRIFICATION & TESTS

Présentation au sujet: "VALIDATION VÉRIFICATION & TESTS"— Transcription de la présentation:

1 VALIDATION VÉRIFICATION & TESTS
Le problème fondamental du génie logiciel : le problème de l'erreur

2 Le problème de l'erreur COMMENT CONSTRUIRE DES LOGICIELS QUI SOIENT :
ERGONOMIQUES FIABLES EVOLUTIFS ECONOMIQUES SATISFAISANT AUX CRITERES Coût/Qualité/Fonctionnalités/Délais de réalisation (CQFD) GARANTISSANT LE CONTRAT DE SERVICE REQUIS PAR LES USAGERS

3 Le constat et les causes
PRESENCE DE NOMBREUX DÉFAUTS DANS LES LOGICIELS CAS DE LA NAVETTE SPACIALE : logiciel embarqué : par KLS (500) logiciel sol : par KLS (1400) Logiciels grand public : plutôt 5-10 voire plus par KLS EVOLUTIVITE DES LOGICIELS PROBLEMATIQUE (Régression en qualité) CAS DES GRANDS SYSTEMES

4 Présence et retrait des défauts logiciels
Modèle de données, en particulier interfaces entre les modules, Modèle d’enchaînement/contrôle des fonctions Conception détaillée Code source fabriqué par les programmeurs, compilé sans erreur Programmation VVT Tests de couverture Tests fonctionnel à partir des données Réduction du nombre de défauts au minimum acceptable selon le contrat de service Tests de performance 80 à 100 défauts par KLS Tests de robustesse Tests de pré-intégration 5 à 10 défauts par KLS Intégration 1 à 2 défauts par KLS Installation

5 Fiabilité de la communication humaine
L'ERREUR HUMAINE EST FREQUENTE DANS : L'ACTIVITE LOGICO-MATHEMATIQUE LA GENERALISATION ET LA CONSTRUCTION DES ABSTRACTIONS LA MODELISATION ET LA DYNAMIQUE DES SYSTEMES LA COMMUNICATION (COMPRENDRE ET ETRE COMPRIS AU SEIN D’UN GROUPE : LA SÉMANTIQUE) LA TRADUCTION (CHANGEMENT DE CODE) CES ACTIVITÉS SONT AU COEUR DE LA PROBLEMATIQUE INFORMATIQUE

6 Terminologie QUELQUES DEFINITIONS (IEEE STD 982 et 1044)
ERROR (Erreur) : Human action that results in software containing a fault. E.g. omission or misinterpretation of user requirements in a software specification, and incorrect translation or omission of a requirement in the design specification. DEFECT (Défaut) : A product anomaly; e.g. (1) omissions and imperfections found during early life cycle phases and (2) faults contained in software sufficiently mature for test or operation. FAULT (Défaillance) : (1) An accidental condition that causes a functionnal unit to fail to perform its required function. (2) A manifestation of an error in software. A fault if encountered may cause a failure. FAILURE (Panne) : The termination of the ability of a functionnal unit to perform its required function. A failure may be produced when a fault is encountered.

7 La chaîne de l'erreur Erreur Défaut Défaillance Panne ACTION HUMAINE
ERROR DEFECT FAULT FAILURE Est à l'origine qui peut conduire qui peut provoquer ACTION HUMAINE DANS LE LOGICIEL DANS LE PRODUIT DE LA FONCTION Métrique: Densité d'erreurs Temps moyen de diagnostique MTTR Peut être masqué par des dispositifs de type tolérance aux pannes Métrique: MTTF MTBF

8 Caractéristiques qualité
Reliability (Fiabilité) Probabilité p de fonctionnement sans panne, pour une certaine durée, sous certaines conditions environnementale p dépend de la qualité des entrées et du taux de défauts résiduels du logiciel Safety/Dependability (sûreté de fonctionnement) Capacité à éviter les dangers et/ou les risques qu’une panne logicielle peut faire courir à l’environnement système (pertes d’équipements, pertes humaines, dégradations, etc.) Dépend de la capacité du système englobant (modèles de pannes) à rétablir une situation sans risque (survie, reconfiguration, etc.)