Specialization Details
Software Verification and Testing
Abbreviation: NVER
Length of Study: 2 years
Min. Credits: 120
Degree Programme: Information Technology and Artificial Intelligence
Language of Instruction: Czech
Form of Study: full-time
Accredited from: 2019 Accredited till: 2029
Students will understand all the layers of the computer based systems including hardware (semiconductor components, logic networks, processors, peripheral devices), software (control and data structures, object orientation, programming languages, compilers, operating systems, databases), as well as their common applications (information systems, computer networks, artificial intelligence, computer graphics and multimedia). They will understand foundations of computer science (discrete mathematics, formal languages and their models, spectral analysis of signals, modelling and simulation). Graduates will be able to analyse, design, implement, test, and maintain common computer applications. They will be able to work efficiently in teams.
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
Master's theses are stored at the FIT library, Božetěchova 2, Brno. The list of the master's theses, including the details is available at:
https://www.fit.vut.cz/study/theses/.en
Choose academic year and curriculum
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
MSP | Statistics and Probability | 6 | C | Cr+Ex | FIT |
TIN | Theoretical Computer Science | 7 | C | Cr+Ex | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
FLP | Functional and Logic Programming | 5 | C | Cr+Ex | FIT |
PRL | Parallel and Distributed Algorithms | 5 | C | Cr+Ex | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
SEP | Semester Project | 5 | C | ClCr | FIT |
PP2 | Project Practice 2 | 5 | E | ClCr | FIT |
Abbrv | Title | Cred | Duty | Compl | Fa |
---|---|---|---|---|---|
DIP | Master's Thesis | 13 | C | Cr | FIT |
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective