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/

    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.