IV113 Úvod do validace a verifikace

Fakulta informatiky
podzim 2007
Rozsah
2/0. 2 kr. (plus ukončení). Ukončení: zk.
Vyučující
prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
Garance
prof. RNDr. Mojmír Křetínský, CSc.
Katedra teorie programování – Fakulta informatiky
Kontaktní osoba: prof. RNDr. Jiří Barnat, Ph.D.
Rozvrh
St 10:00–11:50 B011
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Mateřské obory/plány
Cíle předmětu
Cílem předmětu je seznámit studenty s základními technikami validace a verifikace počítačových systémů.
Osnova
  • Úvodní přehled technik pro validaci a verifikaci. Mise testování, strategie testování, problém orákula, doménové testování, regresní testování. Formální verifikace sekvenčních a paralelních programů, LTL model checking, CTL model checking, techniky redukce stavového prostoru. Ukázka verifikace dokazováním.
Metody hodnocení
Ukončení písemnou zkouškou na odpřednášenou látku. Nepovinné přednášky, bez domácích úloh.
Navazující předměty
Další komentáře
Předmět je vyučován každoročně.
Předmět je zařazen také v obdobích podzim 2008, podzim 2009, podzim 2010, podzim 2011, podzim 2012, podzim 2013, podzim 2014, podzim 2015, podzim 2016, podzim 2017, podzim 2018.