Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Sujet : Vérification et validation Master 1 Ingénierie des Systèmes Informatiqu

Sujet : Vérification et validation Master 1 Ingénierie des Systèmes Informatiques (ISI) Enseignant par : Mr. Betta Mohamed. MEMBRES DE GROUPE : - Righi Chouaib (G03). -Bouchouita Akram(G01). -Hocine Ismail(G02). -Soltani Mohamed (G03). Année universitaire 2020 / 2021. 1-Introduction Générale : - La vérification 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, différent comme Mr. Barry W. Boehm un professeur d’ingénierie industrielle et de système a brièvement exprimé :  Vérification : construisons-nous le produit correctement ?  Validation : construisons-nous le bon produit ? 2-Définition de la vérification logicielle : - La vérification consiste à tester et vérifier 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érification on dit tester, On peut classer les tests logiciels en différentes catégories. (1) 2-1-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érifiant 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érifier l’aspect fonctionnel, les performances et la fiabilité de l’logiciel. - Le test d’intégration offre les avantages suivants :  Localiser les erreurs facilement.  Offre 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. 2-2-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érifier le bon fonctionnement d’une partie précise d’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 offre les avantages suivants :  Il est facile à écrire. Dédié à une partie très réduite du code.  Il offre une granularité́ de test très fine 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 testé. (2) 3-1-Définition de la validation logicielle : - La validation est la partie des vérifications et contrôles du logiciel qui vérifie que la conception du produit est conforme ou adaptée à l'usage auquel il était destiné. -Les tests dynamiques examinent spécifiquement la réponse physique du système à ces variables qui ne sont pas constantes et, avec le temps, susceptibles de changer - De manière générale, la validation garantit que le produit répond aux besoins de l'utilisateur. Cela garantit également que les spécifications données étaient, en fait, correctes dès le début du programme. (3) 3-2-Résumé : 1. La validation vérifie que la conception du produit correspond à l'usage auquel elle est destinée (si le bon objet a été construit) ; la vérification évalue le logiciel qui déterminera si les produits trouvés satisfont aux conditions énoncées (si l'objet construit l'a été correctement). 2. Dans le monde de la modélisation et de la simulation, la validation détermine le degré de précision des données associées dans le monde réel en fonction du modèle ; la vérification détermine si un modèle informatique et le contenu associé représentent les descriptions conceptuelles et les spécifications du développeur. (4) Bibliographie : 1-https://www.guru99.com/verification-v-s-validation-in-a-software-testing.html 2-https://fr.wikipedia.org/ 3https://ensc.gitbook.io/génie-logiciel/08-tests 4-https://fr.sawakinome.com/articles/technology/unassigned-3463.html uploads/Industriel/ verification-et-validation 1 .pdf