Valider et vérifier de manière systématique le fonctionnement d'un logiciel.
Concepts de validation et de vérification. Cycle de vie des logiciels et application de la validation et de la vérification. Processus d'assurance-qualité logicielle. Définitions de la qualité des produits logiciels. Caractéristiques de qualité. Définitions et spécifications de la qualité ingénierie. Définition et classification des défauts logiciels. Définitions de l'aptitude à l'usage et de la qualité du point de vue du client. Examens, revues de projet et inspections : concepts généraux, essais unitaires (module/ensemble), essais des sous-systèmes / tests d'intégration, tests de régression, tests basés sur les états, tests fonctionnels traditionnels, tests/analyses logiques, facteurs à considérer lors des tests orientés-objet (polymorphisme et héritage); analyse et tests de la sûreté/des défaillances. Approches statistiques en validation et en vérification. Méthodes du développement pour assurer la fiabilité.
Préalable(s): (6GLO325)
Formule pédagogique : Cours Magistral
Appartenance départementale
Sciences appliquées
Programme dans lequel se trouve ce cours
| 7065 | Baccalauréat en génie logiciel |