Detail specializace

Verifikace a testování software

Zkratka: NVER

Ak. rok: 2024/2025

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

Informace pro uchazeče o studium

Garant

Vojnar Tomáš, prof. Ing., Ph.D.

Rozsah státních závěrečných zkoušek

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.

Příklady témat závěrečných prací

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-dev.fit.vutbr.cz/study/theses/.cs

Výběr akademického roku a studijního plánu

1. ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
MSP	Statistika a pravděpodobnost	6	P	ZaZk	FIT
TIN	Teoretická informatika	7	P	ZaZk	FIT

1. ročník, letní semestr
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

2. ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
SEP	Semestrální projekt	5	P	Klz	FIT
PP2	Projektová praxe 2	5	V	Klz	FIT

2. ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
DIP	Diplomová práce	13	P	Za	FIT

libovolný ročník, zimní semestr
Zkr	Název	Kr	Pov	Zak	Fa
AVS	Architektury výpočetních systémů	5	P	ZaZk	FIT
BIS	Bezpečnost informačních systémů	5	P	ZaZk	FIT
SAV	Statická analýza a verifikace	5	P	ZaZk	FIT
SUI	Umělá inteligence a strojové učení	5	P	Zk	FIT
UPA	Ukládání a příprava dat	5	P	ZaZk	FIT
AEU	Angličtina pro Evropu	3	V	ZaZk	FIT
AGS	Agentní a multiagentní systémy	5	V	Zk	FIT
AIS	Analýza a návrh informačních systémů	5	V	ZaZk	FIT
BAYa	Bayesovské modely pro strojové učení (v angličtině)	5	V	Zk	FIT
BC_MOG1	Molekulární genetika I	4	V	Zk	FCH
BIO	Biometrické systémy	5	V	ZaZk	FIT
BMS	Bezdrátové a mobilní sítě	5	V	ZaZk	FIT
BRIa	Brain Computer Interface	5	V	Zk	FIT
CCS	Pokročilý návrh a zabezpečení podnikových sítí	5	V	Klz	FIT
CE1	Směrování a přepínání v páteřních sítích (ENCOR)	5	V	Klz	FIT
CZSa	Číslicové zpracování signálů (v angličtině)	5	V	Zk	FIT
EIP	Ekonomie informačních produktů ^*)	5	V	Zk	FIT
FIK	Filozofie a kultura	2	V	Za	CVP
FIT	Dějiny a filozofie techniky	2	V	Klz	CVP
GAL	Grafové algoritmy	5	V	Zk	FIT
GJA	Grafická uživatelská rozhraní v Javě	5	V	ZaZk	FIT
GMU	Grafické a multimediální procesory ^*)	5	V	ZaZk	FIT
GUX	Grafická uživatelská rozhraní v X Window	5	V	Zk	FIT
GZN	Grafická a zvuková rozhraní a normy	5	V	Zk	FIT
HKO	Manažerská komunikace a prezentace	3	V	Za	FIT
HSC	Hardware/Software Codesign	5	V	ZaZk	FIT
HVR	Manažerské vedení lidí a řízení času	3	V	Za	FIT
JA3	Anglická konverzace na aktuální témata	3	V	ZaZk	FIT
PBI	Pokročilá bioinformatika	4	V	Zk	FIT
PCG	Paralelní výpočty na GPU	5	V	ZaZk	FIT
PCS	Pokročilé číslicové systémy	5	V	Zk	FIT
PDB	Pokročilé databázové systémy	5	V	ZaZk	FIT
PDI	Prostředí distribuovaných aplikací	5	V	Zk	FIT
PGPa	Pokročilá počítačová grafika (v angličtině)	5	V	Zk	FIT
PGR	Počítačová grafika	5	V	Zk	FIT
PKA	Praktická konverzace, prezentování a firemní komunikace v Angličtině	3	V	Za	FIT
PKSa	Pokročilé komunikační systémy (v angličtině) ^*)	5	V	ZaZk	FIT
POVa	Počítačové vidění (v angličtině)	5	V	Zk	FIT
PRM	Právní minimum	2	V	Klz	CVP
RET	Rétorika	2	V	Klz	CVP
ROBa	Robotika (v angličtině)	5	V	Zk	FIT
SCO	Bezpečné kódování	5	V	ZaZk	FIT
SEM	Senzory a měření	5	V	ZaZk	FIT
SFC	Soft Computing	5	V	ZaZk	FIT
SIN	Inteligentní systémy	5	V	Zk	FIT
SLA	Lineární algebra I	6	V	ZaZk	FSI
SRI	Strategické řízení informačních systémů	5	V	Zk	FIT
TAMa	Tvorba aplikací pro mobilní zařízení (v angličtině)	5	V	Klz	FIT
THE	Teorie her	5	V	ZaZk	FIT
VIN	Výtvarná informatika	5	V	Klz	FIT
VYPa	Výstavba překladačů (v angličtině)	5	V	Zk	FIT
ZPJa	Zpracování přirozeného jazyka (v angličtině)	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZZN	Získávání znalostí z databází	5	V	ZaZk	FIT

libovolný ročník, letní semestr
Zkr	Název	Kr	Pov	Zak	Fa
ATA	Automatizované testování a dynamická analýza	5	P	Zk	FIT
MBA	Analýza systémů založená na modelech	5	P	Zk	FIT
MTIa	Moderní trendy informatiky (v angličtině)	4	P	Klz	FIT
SNT	Simulační nástroje a techniky	5	P	ZaZk	FIT
SPP	Systémy odolné proti poruchám	5	P	ZaZk	FIT
AEU	Angličtina pro Evropu	3	V	ZaZk	FIT
BDA	Blockchainy a decentralizované aplikace	5	V	ZaZk	FIT
BIF	Bioinformatika	5	V	Zk	FIT
BIN	Biologií inspirované počítače	5	V	Zk	FIT
BZA	Bezpečná zařízení	5	V	Zk	FIT
CE2	Pokročilé směrování v páteřních sítích (ENARSI)	5	V	Klz	FIT
CPSa	Návrh kyberfyzikálních systémů (v angličtině)	5	V	ZaZk	FIT
CSOa	CCNA Kybernetická bezpečnost (v angličtině)	5	V	Klz	FIT
DFAa	Digitální forenzní analýza (v angličtině)	5	V	Zk	FIT
DJA	Dynamické jazyky	5	V	Zk	FIT
EVO	Aplikované evoluční algoritmy	5	V	Zk	FIT
FIK	Filozofie a kultura	2	V	Za	CVP
FIT	Dějiny a filozofie techniky	2	V	Klz	CVP
FVS	Funkční verifikace číslicových systémů	5	V	Zk	FIT
FYO	Fyzikální optika	5	V	Zk	FIT
GIS	Geografické informační systémy ^*)	5	V	ZaZk	FIT
HKO	Manažerská komunikace a prezentace	3	V	Za	FIT
HVR	Manažerské vedení lidí a řízení času	3	V	Za	FIT
JA3	Anglická konverzace na aktuální témata	3	V	ZaZk	FIT
KKO	Kódování a komprese dat	5	V	ZaZk	FIT
KNN	Konvoluční neuronové sítě	5	V	Klz	FIT
KRY	Kryptografie	5	V	ZaZk	FIT
MPA-SYS	Systems Biology	5	V	ZaZk	FEKT
MPC-MAT	Maticový a tenzorový počet	5	V	ZaZk	FEKT
MPR	Management projektů	5	V	ZaZk	FIT
MUL	Multimédia	5	V	Zk	FIT
NAV	Návrh vestavěných systémů	5	V	Zk	FIT
NSB	Návrh, správa a bezpečnost	5	V	ZaZk	FIT
PDS	Přenos dat, počítačové sítě a protokoly	5	V	Zk	FIT
PIS	Pokročilé informační systémy	5	V	ZaZk	FIT
PMA	Projektový manažer	5	V	Klz	FIT
POS	Pokročilé operační systémy	5	V	Zk	FIT
PP1	Projektová praxe 1	5	V	Klz	FIT
PPP	Praktické paralelní programování	5	V	Klz	FIT
PRM	Právní minimum	2	V	Klz	CVP
RET	Rétorika	2	V	Klz	CVP
RTSa	Systémy pracující v reálném čase (v angličtině)	5	V	ZaZk	FIT
SLOa	Složitost (v angličtině)	5	V	Zk	FIT
SML	Matematická logika	5	V	ZaZk	FSI
SUR	Strojové učení a rozpoznávání	5	V	Zk	FIT
TOI	Principy a návrh IoT systémů	5	V	ZaZk	FIT
UXIa	Uživatelská zkušenost a návrh rozhraní a služeb (v angličtině)	5	V	Klz	FIT
VGE	Výpočetní geometrie	5	V	Zk	FIT
VIZa	Vizualizace a CAD (v angličtině)	5	V	Klz	FIT
VNV	Vysoce náročné výpočty	5	V	Zk	FIT
VYF	Výpočetní fotografie	5	V	Klz	FIT
WAP	Internetové aplikace	5	V	ZaZk	FIT
ZPO	Zpracování obrazu	5	V	Zk	FIT
ZPX	Zahraniční odborná praxe	5	V	Za	FIT
ZRE	Zpracování řečových signálů	5	V	Zk	FIT

Předmět není v tomto akademickém roce otevřen

Zak: Způsob zakončení předmětu: Zk - zkouška, Za - zápočet, Klz - klas. zápočet, Kol - Kolokvium
Pov: P - povinný, PV - povinně volitelný, D - doporučený, V - volitelný

Studijní program

Verifikace a testování software

Výběr akademického roku a studijního plánu

1. ročník, zimní semestr

1. ročník, letní semestr

2. ročník, zimní semestr

2. ročník, letní semestr

libovolný ročník, zimní semestr

libovolný ročník, letní semestr