Předmět Úvod do validace a verifikace (IV113)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu IV113 - Úvod do validace a verifikace, Fakulta informatiky, Masarykova univerzita (MU).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Po úspěšném absolvování předmětu by studenti měli být schopni rozhodnout o vhodnosti validačních a verifikačních technik použitých během vývoje softwarového produktu, měli by být schopni formulovat vlastnosti systémů v temporálních logikách, měli by rozumnět způsobu, kterým lze tyto vlastnosti verifikovat pomocí nástrojů pro ověřování modelu, a měli by chápat principy, na kterých tyto nástroje fungují.
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.
Literatura
GRUMBERG, Orna, Doron PELED a Edmund M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314 s. ISBN 0-262-03270-8. infohttp://www.testingeducation.org/BBST/index.htmlPrinciples of model checking. Edited by Christel Baier - Joost-Pieter Katoen. Cambridge, Mass.: MIT Press, 2008. xvii, 975. ISBN 978-0-262-02649-9. info
Požadavky
(! IA169 System Verif. and Assurance ) && (! NOW ( IA169 System Verif. and Assurance ))
Garant
prof. RNDr. Mojmír Křetínský, CSc.
Vyučující
doc. RNDr. Jiří Barnat, Ph.D.Bc. Jiří Weiser