Fakulta informačních technologií VUT v Brně

Detail specializace

Verifikace a testování software

Zkratka: NVER

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

Profil
Garant
Profil absolventa specializace
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 Informační systémy a databáze (Analýza systémů založených na modelech, Automatizované testování a dynamická analýza, Formální 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

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

1. ročník, zimní semestr

ZkrNázevKrPovZakFa
MSPStatistika a pravděpodobnost6PZkFSI
TINTeoretická informatika7PZaZkFIT

1. ročník, letní semestr

ZkrNázevKrPovZakFa
FLPFunkcionální a logické programování5PZaZkFIT
PRLParalelní a distribuované algoritmy5PZaZkFIT

2. ročník, zimní semestr

ZkrNázevKrPovZakFa
SEPSemestrální projekt5PKlzFIT

2. ročník, letní semestr

ZkrNázevKrPovZakFa
DIPDiplomová práce13PZaFIT

libovolný ročník, zimní semestr

ZkrNázevKrPovZakFa
AVSArchitektury výpočetních systémů5PZaZkFIT
BISBezpečnost informačních systémů5PZaZkFIT
SAVStatická analýza a verifikace5PZaZkFIT
SUIUmělá inteligence a strojové učení5PZkFIT
UPAUkládání a příprava dat5PZkFIT
AEUAngličtina pro Evropu3VZaZkFEKT
AGSAgentní a multiagentní systémy5VZkFIT
AISAnalýza a návrh informačních systémů5VZaZkFIT
BAYaBayesovské modely pro strojové učení (v angličtině)5VZkFIT
BIOBiometrické systémy5VZaZkFIT
BMSBezdrátové a mobilní sítě5VZaZkFIT
CCSPokročilý návrh a zabezpečení podnikových sítí5VKlzFIT
CZSaČíslicové zpracování signálů (v angličtině)5VZkFIT
C3PDiagnostika Cisco sítí (TSHOOT) *)5VKlzFIT
EIPEkonomie informačních produktů *)5VZkFIT
FCEAngličtina: praktický kurz obchodní konverzace a prezentace3VZaFIT
FIKFilozofie a kultura *)3VZaICV
FITDějiny a filozofie techniky3VZaICV
GALGrafové algoritmy5VZkFIT
GJAGrafická uživatelská rozhraní v Javě5VZaZkFIT
GMUGrafické a multimediální procesory5VZaZkFIT
GUXGrafická uživatelská rozhraní v X Window5VZkFIT
GZNGrafická a zvuková rozhraní a normy5VZkFIT
HKOManažerská komunikace a prezentace3VZaFIT
HSCHardware/Software Codesign5VZaZkFIT
HVRManažerské vedení lidí a řízení času3VZaFIT
JA3Anglická konverzace na aktuální témata3VZaZkFEKT
MATMatematické struktury v informatice5VZkFSI
MOGMolekulární genetika3VZkFCH
PBIPokročilá bioinformatika4VZkFIT
PCGParalelní výpočty na GPU5VZkFIT
PCSPokročilé číslicové systémy5VZkFIT
PDBPokročilé databázové systémy5VZaZkFIT
PDIProstředí distribuovaných aplikací5VZkFIT
PGPaPokročilá počítačová grafika (v angličtině)5VZkFIT
PGRPočítačová grafika5VZkFIT
PKSPokročilé komunikační systémy5VZaZkFIT
POVaPočítačové vidění (v angličtině)5VZkFIT
PP2Projektová praxe 25VKlzFIT
PRMPrávní minimum3VZaICV
RETRétorika3VZaICV
ROBaRobotika (v angličtině)5VZkFIT
RTSaSystémy pracující v reálném čase (v angličtině)5VZkFIT
SEMSenzory a měření5VZaZkFIT
SFCSoft Computing5VZaZkFIT
SINInteligentní systémy5VZkFIT
SLALineární algebra6VZaZkFSI
SRIStrategické řízení informačních systémů5VZkFIT
TAMaTvorba aplikací pro mobilní zařízení (v angličtině)5VKlzFIT
THETeorie her5VZaZkFIT
VINVýtvarná informatika5VKlzFIT
VYPaVýstavba překladačů (v angličtině)5VZkFIT
ZPJaZpracování přirozeného jazyka (v angličtině)5VZkFIT
ZPXZahraniční odborná praxe5VZaFIT
ZZNZískávání znalostí z databází5VZaZkFIT

libovolný ročník, letní semestr

ZkrNázevKrPovZakFa
ATAAutomatizované testování a dynamická analýza5PZkFIT
MTIaModerní trendy informatiky (v angličtině)4PKlzFIT
MBAAnalýza systémů založená na modelech5PZkFIT
SNTSimulační nástroje a techniky5PZaZkFIT
SPPSystémy odolné proti poruchám5PZaZkFIT
ALGAlgebra5VZaZkFSI
PPPPraktické paralelní programování5VZaZkFIT
BIFBioinformatika5VZkFIT
BINBiologií inspirované počítače5VZkFIT
BZABezpečná zařízení5VZkFIT
CPSaNávrh kyberfyzikálních systémů (v angličtině)5VZkFIT
CSOaCCNA Kybernetická bezpečnost (v angličtině)5VKlzFIT
C1PSměrování v rozsáhlých sítích (ROUTE) *)5VKlzFIT
C2PSítě s vícevrstevným přepínáním (SWITCH) *)5VKlzFIT
DFAaDigitální forenzní analýza (v angličtině)5VZkFIT
DJADynamické jazyky5VZkFIT
EVOAplikované evoluční algoritmy5VZkFIT
FIKFilozofie a kultura3VZaICV
FITDějiny a filozofie techniky *)3VZaICV
FVSFunkční verifikace číslicových systémů5VZkFIT
FYOFyzikální optika5VZkFEKT
GISGeografické informační systémy *)5VZaZkFIT
HKOManažerská komunikace a prezentace3VZaFIT
HVRManažerské vedení lidí a řízení času3VZaFIT
SURStrojové učení a rozpoznávání5VZkFIT
JA3Anglická konverzace na aktuální témata3VZaZkFEKT
KKOKódování a komprese dat5VZaZkFIT
KNNKonvoluční neuronové sítě5VKlzFIT
KRYKryptografie5VZaZkFIT
LOGLogika5VZaZkFSI
MMATMaticový a tenzorový počet5VZaZkFEKT
MPRManagement projektů5VZaZkFIT
MULMultimédia5VZkFIT
NAVNávrh vestavěných systémů5VZkFIT
NSBNávrh, správa a bezpečnost5VZaZkFIT
PDSPřenos dat, počítačové sítě a protokoly5VZkFIT
PISPokročilé informační systémy5VZaZkFIT
PMAProjektový manažer5VKlzFIT
POSPokročilé operační systémy5VZkFIT
PP1Projektová praxe 15VZaFIT
PRMPrávní minimum3VZaICV
RETRétorika3VZaICV
SLOaSložitost (v angličtině)5VZkFIT
TOIPrincipy a návrh IoT systémů5VZaZkFIT
UXIaUživatelská zkušenost a návrh rozhraní a služeb (v angličtině)5VKlzFIT
VGEVýpočetní geometrie5VZkFIT
VIZaVizualizace a CAD (v angličtině)5VKlzFIT
VNVVysoce náročné výpočty5VZkFIT
VYFVýpočetní fotografie5VKlzFIT
WAPInternetové aplikace5VZaZkFIT
ZPOZpracování obrazu5VZkFIT
ZREZpracování řečových signálů5VZkFIT
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ý
Nahoru