Detail specializace
Verifikace a testování software
Zkratka: NVER
Ak. rok: 2023/2024
Délka studia: 2 roky
Počet kreditů: 120
Program: Informační technologie a umělá inteligence
Jazyk výuky: česky
Forma studia: prezenční
Akreditace od: 2019 Akreditace do: 2029
Státní zkouška programu Informační technologie a umělá inteligence, specializace Verifikace a testování software se skládá z částí:
- prezentace a obhajoba zpracované diplomové práce,
- ústní zkoušky, která sdružuje základní tematické okruhy obsažené v předmětech profilujícího základu z oblasti Informačních technologií a umělé inteligence (Teoretická informatika, Statistika a pravděpodobnost, Architektury výpočetních systémů, Umělá inteligence a strojové učení, Ukládání a příprava dat, Funkcionální a logické programování, Paralelní a distribuované algoritmy, Moderní trendy informatiky),
- ústní zkoušky, která sdružuje základní tematické okruhy obsažené v předmětech profilujícího základu z oblasti Testování a verifikace software (Analýza systémů založených na modelech, Automatizované testování a dynamická analýza, Statická analýza a verifikace, Systémy odolné proti poruchám, Simulační nástroje a techniky, Bezpečnost informačních systémů).
Všechny části státní zkoušky se konají ve stejném termínu před komisí pro státní zkoušky. Ke státní zkoušce může přistoupit student, který získal potřebný počet kreditů v předepsané skladbě nutný pro úspěšné ukončení magisterského studia a odevzdal diplomovou práci v řádném termínu. Organizace a průběh státní zkoušky jsou dány odpovídající vnitřní normou fakulty a příslušnými pokyny garanta programu ke státním zkouškám.
- Statická analýza v nástroji Facebook Infer zaměřená na detekci uváznutí
- Statická analýza programů s dynamickými datovými strukturami a další datovými typy v 2LS
- Refaktoring a verifikace kódu mkfs xfs
- Generování modelů pro testy ze zdrojových kódů
- Ověřování temporálních vlastností konečných běhů programů
- Generování testovacích vstupů podle stopy programu
- Syntéza důkazů nekonečnosti běhu programů s využitím šablon
- Abstrakce dynamických datových struktur s využitím šablon
- Generátor testovacích běhů nad GUI
- Generická syntéza invariantů v programu založená na šablonách
- Prostředí pro analýzu paralelních C/C++ programů
- Automatická detekce degradace výkonu
Diplomové práce jsou uloženy v Knihovně FIT, Božetěchova 2, Brno. Seznam diplomových prací včetně detailů je dostupný na Webu FIT:
https://www.fit.vut.cz/study/theses/.cs
Výběr akademického roku a studijního plánu
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
MSP | Statistika a pravděpodobnost | 6 | P | ZaZk | FIT |
TIN | Teoretická informatika | 7 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
FLP | Funkcionální a logické programování | 5 | P | ZaZk | FIT |
PRL | Paralelní a distribuované algoritmy | 5 | P | ZaZk | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
SEP | Semestrální projekt | 5 | P | Klz | FIT |
PP2 | Projektová praxe 2 | 5 | V | Klz | FIT |
Zkr | Název | Kr | Pov | Zak | Fa |
---|---|---|---|---|---|
DIP | Diplomová práce | 13 | P | Za | FIT |
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný