Verification et validation
Sujet Véri ?cation et validation Master Ingénierie des Systèmes Informatiques ISI Enseignant par Mr Betta Mohamed MEMBRES DE GROUPE Righi Chouaib G -Bouchouita Akram G -Hocine Ismail G - Soltani Mohamed G Année universitaire C -Introduction Générale La véri ?cation et la validation sont des procédures indépendantes liés aux concepts de qualité des logiciels les deux procédures sont utilisées ensemble visant à améliore la qualité des produits informatique di ?érent comme Mr Barry W Boehm un professeur d ? ingénierie industrielle et de système a brièvement exprimé Véri ?cation construisons-nous le produit correctement Validation construisons- nous le bon produit -Dé ?nition de la véri ?cation logicielle La véri ?cation consiste à tester et véri ?er les documents la conception le code et le programme dont le but est de savoir si le logiciel et construit en assurant un maximum de garanties sur son bon fonctionnement lorsqu ? on livre notre logiciel et qu ? il est placé en production Si on dit véri ?cation on dit tester On peut classer les tests logiciels en di ?érentes catégories - -Tests d ? intégration Le test d ? intégration dans le monde de génie logiciel est une phase de test qui vient après les tests unitaires est qui généralement précède les tests de validation véri ?ant la validité des résultats des interactions entre plusieurs composant appelée unité ou module ces tests ont comme objectif de détecter les erreurs non détectées au niveau des tests unitaires Le test d ? intégration permit également de véri ?er l ? aspect fonctionnel les performances et la ?abilité de l ? logiciel Le test d ? intégration o ?re les avantages suivants Localiser les erreurs facilement O ?re la possibilité d ? obtenir un prototype rapidement Les erreurs de conception majeures sont détectées en premier dans les modules au plus haut niveau - -Test unitaires Le test unitaire est une procédure qui ne focalise pas sur le test des pans entiers d ? un logiciel mais qui vise à véri ?er le bon fonctionnement d ? une partie précise Cd ? un logiciel précisément le code source d ? une classe par exemple qui permet de valider unitairement une grande partie du code source et de détecter le plus tôt possible d'éventuelles erreurs Le test unitaire o ?re les avantages suivants Il est facile à écrire Dédié à une partie très réduite du code Il o ?re une granularité ? de test très ?ne et permet de valider le comportement de la partie du code testée Son exécution est rapide Il rassemble les cas d'utilisation possibles d'une portion d'un projet qui représente donc une documentation sur la manière de manipuler le code testé - -Dé ?nition de la validation logicielle La validation est la partie des véri ?cations et contrôles du logiciel qui véri ?e que la conception du produit est conforme ou adaptée à l'usage auquel il était destiné -Les tests dynamiques examinent spéci ?quement la réponse physique du système à ces variables qui ne
Documents similaires










-
43
-
0
-
0
Licence et utilisation
Gratuit pour un usage personnel Aucune attribution requise- Détails
- Publié le Fev 15, 2022
- Catégorie Industry / Industr...
- Langue French
- Taille du fichier 31.2kB