validation v rification tests
Download
Skip this Video
Download Presentation
VALIDATION VÉRIFICATION & TESTS

Loading in 2 Seconds...

play fullscreen
1 / 8

VALIDATION VÉRIFICATION & TESTS - PowerPoint PPT Presentation


  • 98 Views
  • Uploaded on

VALIDATION VÉRIFICATION & TESTS. Le problème fondamental du génie logiciel : le problème de l'erreur. Le problème de l'erreur. COMMENT CONSTRUIRE DES LOGICIELS QUI SOIENT : ERGONOMIQUES FIABLES EVOLUTIFS ECONOMIQUES

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'VALIDATION VÉRIFICATION & TESTS' - idola


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
validation v rification tests

VALIDATION VÉRIFICATION & TESTS

Le problème fondamental du génie logiciel : le problème de l'erreur

le probl me de l erreur
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
le constat et les causes
Le constat et les causes
  • PRESENCE DE NOMBREUX DÉFAUTS DANS LES LOGICIELS
    • CAS DE LA NAVETTE SPACIALE :
      • logiciel embarqué : 0.11 par KLS (500)
      • logiciel sol : 0.40 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
pr sence et retrait des d fauts logiciels
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

  • Réduction du nombre de défauts au minimum acceptable selon le contrat de service

Tests fonctionnel à partir des données

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

fiabilit de la communication humaine
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
terminologie
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.
la cha ne de l erreur
La chaîne de l'erreur

Erreur

Défaut

Défaillance

Panne

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 dispositifsde type toléranceaux pannes

  • Métrique:
  • MTTF
  • MTBF
caract ristiques qualit
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.)
ad