Carleton University · COMP 5302

Vérification et validation automatisées des logiciels

Intitulé officiel : Automated Verification & Validation of Software

Crédits : 0,5 créditAnnée de référence : 2026-27

Description

Sujets en méthodes formelles de dérivation de tests, gestion des tests, vérification et validation au niveau élevé avec outils CASE, mesures et métriques flux de données et flux de contrôle pour évaluer la qualité des conceptions et du code, analyse de régression et tests.

Texte de référence dans sa langue d’origine

Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.

    Sources et références

    Les dates et les sources sont conservées pour vous aider à vérifier les renseignements. Les traductions sont proposées pour faciliter la lecture; la source officielle fait référence pour les conditions et les exigences.

    Référence source : https://calendar.carleton.ca/grad/courses/COMP/

    Écrivez à StudyCanada

    Votre projet, une question : poursuivons l’échange par courriel.

    Nous utiliserons ces coordonnées pour répondre à votre demande. Confidentialité

    Ce formulaire s’adresse à StudyCanada. Pour joindre cet établissement, utilisez les coordonnées indiquées dans sa fiche.