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

Informace pro uchazeče o studium

Garant
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.fit.vut.cz/study/theses/.cs

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

1. ročník, zimní semestr

ZkrNázevKrPovZakFa
MSPStatistika a pravděpodobnost6PZaZkFIT
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
PP2Projektová praxe 25VKlzFIT

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 dat5PZaZkFIT
AEUAngličtina pro Evropu3VZaZkFIT
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
BC_MOG1Molekulární genetika I4VZkFCH
BIOBiometrické systémy5VZaZkFIT
BMSBezdrátové a mobilní sítě5VZaZkFIT
BRIaBrain Computer Interface5VZkFIT
CCSPokročilý návrh a zabezpečení podnikových sítí *)5VKlzFIT
CE1Směrování a přepínání v páteřních sítích (ENCOR)5VKlzFIT
CZSaČíslicové zpracování signálů (v angličtině)5VZkFIT
EIPEkonomie informačních produktů *)5VZkFIT
FCEAngličtina: praktický kurz obchodní konverzace a prezentace3VZaFIT
FIKFilozofie a kultura2VZaCVP
FITDějiny a filozofie techniky2VZaCVP
GALGrafové algoritmy5VZkFIT
GJAGrafická uživatelská rozhraní v Javě5VZaZkFIT
GMUGrafické a multimediální procesory *)5VZaZkFIT
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émata3VZaZkFIT
MATMatematické struktury v informatice *)5VZkFIT
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
PKSaPokročilé komunikační systémy (v angličtině) *)5VZaZkFIT
POVaPočítačové vidění (v angličtině)5VZkFIT
PRMPrávní minimum2VZaCVP
RETRétorika2VZaCVP
ROBaRobotika (v angličtině)5VZkFIT
SCOBezpečné kódování5VZaZkFIT
SEMSenzory a měření5VZaZkFIT
SFCSoft Computing5VZaZkFIT
SINInteligentní systémy5VZkFIT
SLALineární algebra I6VZaZkFSI
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
MBAAnalýza systémů založená na modelech5PZkFIT
MTIaModerní trendy informatiky (v angličtině)4PKlzFIT
SNTSimulační nástroje a techniky5PZaZkFIT
SPPSystémy odolné proti poruchám5PZaZkFIT
AEUAngličtina pro Evropu3VZaZkFIT
BDABlockchainy a decentralizované aplikace5VZaZkFIT
BIFBioinformatika5VZkFIT
BINBiologií inspirované počítače5VZkFIT
BZABezpečná zařízení5VZkFIT
CE2Pokročilé směrování v páteřních sítích (ENARSI)5VKlzFIT
CPSaNávrh kyberfyzikálních systémů (v angličtině)5VZaZkFIT
CSOaCCNA Kybernetická bezpečnost (v angličtině)5VKlzFIT
DFAaDigitální forenzní analýza (v angličtině)5VZkFIT
DJADynamické jazyky *)5VZkFIT
EVOAplikované evoluční algoritmy5VZkFIT
FIKFilozofie a kultura2VZaCVP
FITDějiny a filozofie techniky2VZaCVP
FVSFunkční verifikace číslicových systémů *)5VZkFIT
FYOFyzikální optika5VZkFIT
GISGeografické informační systémy *)5VZaZkFIT
HKOManažerská komunikace a prezentace3VZaFIT
HVRManažerské vedení lidí a řízení času3VZaFIT
JA3Anglická konverzace na aktuální témata3VZaZkFIT
KKOKódování a komprese dat5VZaZkFIT
KNNKonvoluční neuronové sítě5VKlzFIT
KRYKryptografie5VZaZkFIT
LOGLogika5VZaZkFIT
MPA-SYSSystems Biology5VZaZkFEKT
MPC-MATMaticový 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 15VKlzFIT
PPPPraktické paralelní programování5VZaZkFIT
PRMPrávní minimum2VZaCVP
RETRétorika2VZaCVP
RTSaSystémy pracující v reálném čase (v angličtině)5VZkFIT
SLOaSložitost (v angličtině)5VZkFIT
SOAObecná algebra5VZaZkFSI
SURStrojové učení a rozpoznávání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
ZPXZahraniční odborná praxe5VZaFIT
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