Beskrivelse
Gjennomgang av formelle spesifikasjons- og beskrivelseteknikker for distribuerte og åpne systemer. Verifikasjonsteknikker. Korrekthetsbevis. Verifikasjon av generelle egenskaper ved distribuerte systemer. Analyse og avbøtende strategier. Testteknikker. Strategier for generering av tester. Testarkitekturer.
Referansetekst i originalspråket
Review of formal specification and description techniques for distributed and open systems. Verification techniques. Correctness proofs. Verification of general properties of distributed systems. Analysis and relief strategies. Testing techniques. Test generation strategies. Test architectures.
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/