Carleton University · COMP 5302

Automatisert verifikasjon og validering av programvare

Offisiell tittel : Automated Verification & Validation of Software

Studiepoeng : 0.5 kreditReferanseår : 2026-27

Beskrivelse

Emner i formelle testderivasjonsmetoder, testadministrasjon, høy‑nivå, CASE‑basert verifisering og validering, dataflyt- og kontrollflytmål og metrikker for å vurdere kvalitet på design og kode, regresjonsanalyse og testing.

Referansetekst i originalspråket

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.

    Kilder og referanser

    Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.

    Kildereferanse : https://calendar.carleton.ca/grad/courses/COMP/

    Skriv til StudyCanada

    Fortell om planene dine eller still et spørsmål. Vi fortsetter på e-post.

    Vi bruker kontaktopplysningene til å svare på henvendelsen din. Personvern

    Dette skjemaet sendes til StudyCanada. For å kontakte skolen, bruk kontaktopplysningene i skoleprofilen.