uqac.ca

web

6GEI264

Vérification et validation des logiciels

(3.0 cr.)

Donner à l'étudiant les techniques de vérification et de validation requises pour le développement de logiciels de qualité.

Qu'est-ce que la vérification et la validation (V&V). Améliorer la qualité par la V&V. Évaluation et gestion du risque. Coût des défectuosités. Processus de développement: «waterfall», spirale, agile, . V&V selon les étapes du processus de développement: spécification, architecture, codage et test formels. Test unitaires, d'intégration, de régression et d'acceptation. Configuration d'un logiciel pour testabilité. Encapsulation, composants et interfaces. Utilisation de SVN. Règles de codage. Définir les cas de test et les critères d'acceptation. Documents de V&V: plan, procédures et rapports. Outils de V&V: «walk-throught», réunion pour revue, inspection, revue par les pairs, liste d'items, tests. Les techniques de V&V sont appliquées à la spécification, à la conception, au codage et aux tests d'un environnement de développement similaire à Visual Studio, incluant un mini-compilateur C.

Préalable(s): (8PRO128)

Formule pédagogique : Cours Magistral

(02/2024)

Appartenance départementale

Sciences appliquées

Programmes dans lesquels se trouve ce cours

0711 Programme court de premier cycle en informatique pour étudiants en séjour d'études
7833 Baccalauréat en informatique
7943 Baccalauréat en génie informatique

Ce cours est offert au trimestre suivant:

Automne 2024

Groupe 11 (CHICOUTIMI SOIR) - RÉSERVÉ

du lundi 26-08-2024 au lundi 09-12-2024 de 08:00 à 10:45 Local: (laboratoire)
du mercredi 28-08-2024 au mercredi 11-12-2024 de 19:00 à 21:45 Local:
Remarque : Pour les lab., veuillez vous référer aux dates et aux locaux du plan de cours.
© UQAC 2024. Tous droits réservés.