Specialization Details

Software Verification and Testing

Abbreviation: NVER

Acad. year: 2025/2026

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

Information for applicants

Key learning outcomes

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.

Guarantor

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

Extent of the State Final Examinations

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.

Examples of theses

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/

Choose academic year and curriculum

1st year of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
MSP	Statistics and Probability	6	C	Cr+Ex	FIT
TIN	Theoretical Computer Science	7	C	Cr+Ex	FIT

1st year of study, summer semester
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

2nd year of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
SEP	Semester Project	5	C	ClCr	FIT
PP2	Project Practice 2	5	E	ClCr	FIT

2nd year of study, summer semester
Abbrv	Title	Cred	Duty	Compl	Fa
DIP	Master's Thesis	13	C	Cr	FIT

all years of study, winter semester
Abbrv	Title	Cred	Duty	Compl	Fa
AVS	Computation Systems Architectures	5	C	Cr+Ex	FIT
BIS	Information System Security	5	C	Cr+Ex	FIT
SAV	Static Analysis and Verification	5	C	Cr+Ex	FIT
SUI	Artificial Intelligence and Machine Learning	5	C	Ex	FIT
UPA	Data Storage and Preparation	5	C	Cr+Ex	FIT
AEU	English for Europe	3	E	Cr+Ex	FIT
AGS	Agents and Multiagent Systems	5	E	Ex	FIT
AIS	Information Systems Analysis and Design	5	E	Cr+Ex	FIT
BAYa	Bayesian Models for Machine Learning (in English)	5	E	Ex	FIT
BC_MOG1	Molecular Genetics I	4	E	Ex	FCH
BIO	Biometric Systems	5	E	Cr+Ex	FIT
BMS	Wireless and Mobile Networks	5	E	Cr+Ex	FIT
BRIa	Brain Computer Interface	5	E	Ex	FIT
CCS	Design and Security of Enterprise Networks	5	E	ClCr	FIT
CE1	CCNP Enterprise: Core Networking (ENCOR)	5	E	ClCr	FIT
CZSa	Digital Signal Processing (in English)	5	E	Ex	FIT
EIP	Economics of Information Products ^*)	5	E	Ex	FIT
FIK	Philosophy and the Culture	2	E	Cr	CVP
FIT	History and Philosophy of Technology	2	E	ClCr	CVP
GAL	Graph Algorithms	5	E	Ex	FIT
GJA	Graphical User Interfaces in Java	5	E	Cr+Ex	FIT
GMU	Graphic and Multimedia Processors ^*)	5	E	Cr+Ex	FIT
GUX	Graphical User Interfaces in X Window System	5	E	Ex	FIT
GZN	Graphical and Sound Interfaces and Standards	5	E	Ex	FIT
HKO	Communication and Presentation Skills	3	E	Cr	FIT
HSC	Hardware/Software Codesign	5	E	Cr+Ex	FIT
HVR	Leadership and Time Management	3	E	Cr	FIT
JA3	Conversation through Hot Current Issues	3	E	Cr+Ex	FIT
PBI	Advanced Bioinformatics	4	E	Ex	FIT
PCG	Parallel Computations on GPU	5	E	Cr+Ex	FIT
PCS	Advanced Digital Systems	5	E	Ex	FIT
PDB	Advanced Database Systems	5	E	Cr+Ex	FIT
PDI	Distributed Application Environment	5	E	Ex	FIT
PGPa	Advanced Computer Graphics (in English)	5	E	Ex	FIT
PGR	Computer Graphics	5	E	Ex	FIT
PKA	Practical conversation, presenting and business communication in English	3	E	Cr	FIT
PKSa	Advanced Communication Systems ^*)	5	E	Cr+Ex	FIT
POVa	Computer Vision (in English)	5	E	Ex	FIT
PRM	Fundamentals of Law	2	E	ClCr	CVP
RET	Rhetoric	2	E	ClCr	CVP
ROBa	Robotics (in English)	5	E	Ex	FIT
SCO	Secure Coding	5	E	Cr+Ex	FIT
SEM	Sensors and Measurement	5	E	Cr+Ex	FIT
SFC	Soft Computing	5	E	Cr+Ex	FIT
SIN	Intelligent Systems	5	E	Ex	FIT
SLA	Linear Algebra I	6	E	Cr+Ex	FSI
SRI	Strategic Management of Information Systems	5	E	Ex	FIT
TAMa	Application Development for Mobile Devices (in English)	5	E	ClCr	FIT
THE	Game Theory	5	E	Cr+Ex	FIT
VIN	Computer Art	5	E	ClCr	FIT
VYPa	Compiler Construction (in English)	5	E	Ex	FIT
ZPJa	Natural Language Processing (in English)	5	E	Ex	FIT
ZPX	Professional Practice, Abroad	5	E	Cr	FIT
ZZN	Knowledge Discovery in Databases	5	E	Cr+Ex	FIT

all years of study, summer semester
Abbrv	Title	Cred	Duty	Compl	Fa
ATA	Automated Testing and Dynamic Analysis	5	C	Ex	FIT
MBA	Model-Based Analysis	5	C	Ex	FIT
MTIa	Modern Trends in Informatics (in English)	4	C	ClCr	FIT
SNT	Simulation Tools and Techniques	5	C	Cr+Ex	FIT
SPP	Fault Tolerant Systems	5	C	Cr+Ex	FIT
AEU	English for Europe	3	E	Cr+Ex	FIT
BDA	Blockchain and Decentralized Applications	5	E	Cr+Ex	FIT
BIF	Bioinformatics	5	E	Ex	FIT
BIN	Bio-Inspired Computers	5	E	Ex	FIT
BZA	Secure Hardware Devices	5	E	Ex	FIT
CE2	CCNP Enterprise: Advanced Routing (ENARSI)	5	E	ClCr	FIT
CPSa	Cyber-Physical Systems Design (in English)	5	E	Cr+Ex	FIT
CSOa	CCNA Cybersecurity Operations (in English)	5	E	ClCr	FIT
DFAa	Digital Forensics (in English)	5	E	Ex	FIT
DJA	Dynamic Languages	5	E	Ex	FIT
EVO	Applied Evolutionary Algorithms	5	E	Ex	FIT
FIK	Philosophy and the Culture	2	E	Cr	CVP
FIT	History and Philosophy of Technology	2	E	ClCr	CVP
FVS	Functional Verification of Digital Systems	5	E	Ex	FIT
FYO	Physical Optics	5	E	Ex	FIT
GIS	Geographical Information Systems ^*)	5	E	Cr+Ex	FIT
HKO	Communication and Presentation Skills	3	E	Cr	FIT
HVR	Leadership and Time Management	3	E	Cr	FIT
JA3	Conversation through Hot Current Issues	3	E	Cr+Ex	FIT
KKO	Data Coding and Compression	5	E	Cr+Ex	FIT
KNN	Convolutional Neural Networks	5	E	ClCr	FIT
KRY	Cryptography	5	E	Cr+Ex	FIT
MPA-SYS	Systems Biology	5	E	Cr+Ex	FEKT
MPC-MAT	Matrices and Tensors Calculus	5	E	Cr+Ex	FEKT
MPR	Project Management	5	E	Cr+Ex	FIT
MUL	Multimedia	5	E	Ex	FIT
NAV	Design of Embedded Systems	5	E	Ex	FIT
NSB	Projecting, Administration and Security	5	E	Cr+Ex	FIT
PDS	Data Communications, Computer Networks and Protocols	5	E	Ex	FIT
PIS	Advanced Information Systems	5	E	Cr+Ex	FIT
PMA	Project Manager	5	E	ClCr	FIT
POS	Advanced Operating Systems	5	E	Ex	FIT
PP1	Project Practice 1	5	E	ClCr	FIT
PPP	Practical Parallel Programming	5	E	ClCr	FIT
PRM	Fundamentals of Law	2	E	ClCr	CVP
RET	Rhetoric	2	E	ClCr	CVP
RTSa	Real-Time Systems (in English)	5	E	Cr+Ex	FIT
SLOa	Complexity (in English)	5	E	Ex	FIT
SML	Mathematical Logic	5	E	Cr+Ex	FSI
SUR	Machine Learning and Recognition	5	E	Ex	FIT
TOI	Principles and Design of IoT	5	E	Cr+Ex	FIT
UXIa	User Experience and Design of User Interfaces and Services (in English)	5	E	ClCr	FIT
VGE	Computational Geometry	5	E	Ex	FIT
VIZa	Visualization and CAD (in English)	5	E	ClCr	FIT
VNV	High Performance Computations	5	E	Ex	FIT
VYF	Computational Photography	5	E	ClCr	FIT
WAP	Internet Applications	5	E	Cr+Ex	FIT
ZPO	Image Processing	5	E	Ex	FIT
ZPX	Professional Practice, Abroad	5	E	Cr	FIT
ZRE	Speech Signal Processing	5	E	Ex	FIT

Course is not open in this academic year

Compl: Course completion: Ex - examination, Cr - credit, ClCr - classified credit, Co - colloquium
Duty: C - compulsory, CEx - compulsory-elective group x, R - recommended, E - elective

Degree Programme

Software Verification and Testing

Choose academic year and curriculum

1st year of study, winter semester

1st year of study, summer semester

2nd year of study, winter semester

2nd year of study, summer semester

all years of study, winter semester

all years of study, summer semester