FI:IV113 Úvod do validace a verifikace - Informace o předmětu
IV113 Úvod do validace a verifikace
Fakulta informatikypodzim 2009
- Rozsah
- 2/0. 2 kr. (plus ukončení). Doporučované ukončení: zk. Jiná možná ukončení: z.
- 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 B410
- 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
- Aplikovaná informatika (program FI, B-AP)
- Aplikovaná informatika (program FI, N-AP)
- Bezpečnost informačních technologií (program FI, N-IN)
- Bioinformatika (program FI, B-AP)
- Bioinformatika (program FI, N-AP)
- Informační systémy (program FI, N-IN)
- Informatika a druhý obor (program FI, B-BI)
- Informatika a druhý obor (program FI, B-FY)
- Informatika a druhý obor (program FI, B-GE)
- Informatika a druhý obor (program FI, B-GK)
- Informatika a druhý obor (program FI, B-CH)
- Informatika a druhý obor (program FI, B-IO)
- Informatika a druhý obor (program FI, B-MA)
- Informatika a druhý obor (program FI, B-SO)
- Informatika a druhý obor (program FI, B-TV)
- Informatika (angl.) (program FI, D-IN4)
- Informatika (program FI, B-IN)
- Informatika (program FI, D-IN4)
- Informatika (program FI, M-IN)
- Informatika (program FI, N-IN)
- Matematická informatika (program FI, B-IN)
- Paralelní a distribuované systémy (program FI, B-IN)
- Paralelní a distribuované systémy (program FI, N-IN)
- Počítačová grafika a zpracování obrazu (program FI, B-IN)
- Počítačová grafika (program FI, N-IN)
- Počítačové sítě a komunikace (program FI, B-IN)
- Počítačové sítě a komunikace (program FI, N-IN)
- Počítačové systémy a technologie (angl.) (program FI, D-IN4)
- Počítačové systémy a technologie (program FI, D-IN4)
- Počítačové systémy a zpracování dat (program FI, B-IN)
- Počítačové systémy (program FI, N-IN)
- Programovatelné technické struktury (angl.) (program FI, N-IN)
- Programovatelné technické struktury (program FI, B-IN)
- Programovatelné technické struktury (program FI, N-IN)
- Služby - výzkum, řízení a inovace (angl.) (program FI, N-AP)
- Služby - výzkum, řízení a inovace (program FI, N-AP)
- Teoretická informatika (program FI, N-IN)
- Učitelství výpočetní techniky pro střední školy (program FI, M-SS)
- Učitelství výpočetní techniky pro střední školy (program FI, M-TV)
- Učitelství výpočetní techniky pro střední školy (program FI, N-SS) (2)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, B-IN)
- Umělá inteligence a zpracování přirozeného jazyka (program FI, N-IN)
- Zpracování obrazu (program FI, N-AP)
- Cíle předmětu
- 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 A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
- http://www.testingeducation.org/BBST/index.html
- BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499. info
- Výukové metody
- Teoretická příprava, domácí úkoly.
- Metody hodnocení
- Ukončení písemnou zkouškou na odpřednášenou látku. Nepovinná účast na přednáškách. Domácí úlohy povinné pro zakončení stupněm A, jinak dobrovolné.
- Navazující předměty
- Informace učitele
- http://www.fi.muni.cz/~xbarnat/IV113/index.html
- Další komentáře
- Studijní materiály
Předmět je vyučován každoročně.
- Statistika zápisu (podzim 2009, nejnovější)
- Permalink: https://is.muni.cz/predmet/fi/podzim2009/IV113