Carleton University · COMP 5302

Automated Verification & Validation of Software

Credits : 0.5 creditReference year : 2026-27

Description

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.

Reference text in its original language

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 and references

    Dates and sources are retained to help you verify the information. Translations are provided to facilitate reading; the official source governs conditions and requirements.

    Source reference : https://calendar.carleton.ca/grad/courses/COMP/

    International students Current rules

    The rules for studying in Canada.

    Study permits, proof of funds, Québec requirements, work and options after graduation: explore the steps, amounts and tables in our complete guide.

    Guide currently in French
    Read the guide

    Write to StudyCanada

    Your plans or a question: let’s continue the conversation by email.

    We will use these details to reply to your enquiry. Privacy

    This form contacts StudyCanada. To contact this institution, use the details on its profile.