Verifikace a testování software
Ak. rok 2021/2022Prezenční 2 roky Zakončeno titulem Ing.
V rámci specializace Verifikace a testování software se seznámíte s principy a technologiemi pro zajištění kvality (nejen) software. Jedná se o technologie statické analýzy a verifikace, automatizovaného testování, nebo vývoje s využitím modelů. Po skončení studia budete mít přehled o možnostech ověřování kvality počítačových systémů a stejně tak o jejich teoretických a praktických limitech. To vám umožní pracovat ve firmách zabývajících se velkými a/nebo složitými projekty.
1. ročník
Společný základ programu
Společný základ programu tvoří předměty, které Vám dají znalosti důležité pro všechny inženýry v IT:
- Architektury výpočetních systémů Vás naučí uvažovat o tom, jak Váš kód poběží na moderních výpočetních platformách, jak myslet při programování tak, abyste využili zdrojů co nejefektivněji, tj. aby Vaše aplikace využila co nejlépe výkonu moderních platforem, efektivně využila paměťové prostředky systému a byla také efektivní, pokud jde o spotřebovanou energii.
- Funkcionální a logické programování Vás naučí, že ač je klasické imperativní programování velmi široce užívaným paradigmatem a má velmi blízko k implementaci na strojové úrovni, existují i jiné přístupy, které Vám přinesou nový pohled na některé klíčové problémy a pomohou získat jejich neotřelá a často efektivnější řešení.
- Moderní trendy informatiky (v angličtině) potřebujete znát, abyste viděli, kam se vyvíjí obor a co lze za pár let očekávat v praxi.
- Paralelní a distribuované algoritmy je předmět, který Vám ukáže zákonitosti, limity a úskalí paralelních a distribuovaných algoritmických řešení a s tím spojených synchronizačních mechanismů, bez nichž při řešení řady komplexnějších problémů stěží uspějete.
- Statistika a pravděpodobnost je pravou rukou každého inženýra, zpracovat číselné výsledky experimentů nebo data získaná při běhu Vaší aplikace, analyzovat je a získat z nich poučení pro další rozhodnutí je téměř jeho denním chlebem.
- Teoretická informatika ukazuje hranice možností informatiky přes formální jazyky a matematické modely výpočtu. Jen tak dokážete porozumět tomu, jestli Váš problém je vůbec řešitelný a pokud ano, s jakými zdroji a jakými prostředky to lze dokázat.
- Ukládání a příprava dat, zejména těch velkých, a získávání znalostí z nich, je umění užitečné pro každého informatika. Je to jeden z klíčových aspektů, které silně ovlivňují efektivitu mnohých řešení a aplikací.
- Umělá inteligence a strojové učení je předmět, kde poznáte, jak naučit počítače rozumět našemu světu a přinutit je řešit problémy, které jsou pro člověka sice snadné, ale pro algoritmický stroj těžko zvládnutelné.
Všechny své vědomosti předají
a v těžkých chvílích vás podrží
Prof. Ing.
Vojnar Tomáš
Ph.D.
Baví ho pohybovat se na pomezí matematiky, formálních metod a jejich aplikací v informatice. Zajímá se o statickou analýzu a verifikaci s formálními kořeny, ale také o dynamickou analýzu a testování. Seznamuje studenty s principy operačních systémů a snaží se je naučit přesně formulovat své myšlenky.
Doc. RNDr.
Češka Milan
Ph.D.
Mladý, energický kantor s bohatými pedagogickými zkušenostmi. Zaměřuje se na oblasti teoretické informatiky, formálních metod, matematického modelování, návrhů a implementaci efektivních (paralelních) algoritmů. Klade důraz na zapojení studentů do výzkumu a kontaktní formu výuky.
Prof. RNDr.
Češka Milan
CSc.
Profesor Češka přednáší předměty Teoretická informatika a Petriho sítě. Patří spíše k náročným učitelům, udržujícím kvalitu absolventů v oblasti teoretického vzdělání. Ve výzkumu se zabývá formálními modely výpočetních systémů.
Doc. Mgr.
Holík Lukáš
Ph.D.
Zabývá se výzkumem teoretické informatiky s důrazem na možné praktické použití: v oblastech mechanizace logiky, teorie a algoritmů pro konečné automaty, s použitelností například ve verifikaci software, analýze bezpečnosti nebo sledování síťového provozu. Šikovné studenty aktivně zapojuje do výzkumů.
Ing.
Hrubý Martin
Ph.D.
Zkoumá a vytváří počítačové modely našeho každodenního života (hlasování ve volbách, výroba v továrnách). Zabývá se výpočetními optimalizacemi v elektroenergetice a plánování průmyslové výroby. Jeho programy pomáhají lidem se nezbláznit při sestavování rozsáhlých obchodních a výrobních plánů. Usiluje o dosažení dokonalosti ve výzkumu a programování.
Prof. RNDr.
Meduna Alexander
CSc.
Učí předměty, které se zabývají zpracováním jazyka na počítači, například Formální jazyky a překladače. Na jeho stylu výuky se odráží bohaté pedagogické zkušenosti ze zahraničí. Při výkladu se snaží skloubit japonský smysl pro přesnost, americký důraz na praxi a evropskou tendenci objasňovat látku v kontextu vědeckých poznatků.
Doc. Mgr.
Rogalewicz Adam
Ph.D.
Učí předmět Složitost a podílí se na výuce předmětů Teoretická informatika a Petriho sítě. V rámci svého výzkumu se zajímá o možnosti reprezentace nekonečných množin grafů. Dále se pak zajímá o možnost automatizovaného zjišťování složitosti programů.
Čím se zrovna bavíme?
-
Srdečně zveme na veřejnou profesorskou přednášku: High Performance Computing in Personalized Ultrasound Medicine: From the Hospital to the Cluster and Back docenta Jiřího Jaroše z Ústavu počítačových systémů FIT VUT. …
-
Hlasové deepfakes nedokáží rozeznat lidé ani bezpečnostní systémy, útoků přibývá
Šíření poplašných zpráv a nebo vyzrazení tajných firemních či bankovních údajů. Umělá inteligence se vyvíjí rychle a deepfake nahrávky hlasu si tak může doma a ve vysoké kvalitě vytvořit téměř každý. …
Pojďte na FIT!
Další magisterské
specializace
-
Bioinformatika a biocomputing
-
Informační systémy a databáze
-
Inteligentní systémy
-
Inteligentní zařízení
-
Kyberfyzikální systémy
-
Kybernetická bezpečnost
-
Matematické metody
-
Počítačová grafika a interakce
-
Počítačové sítě
-
Počítačové vidění
-
Softwarové inženýrství
-
Strojové učení
-
Superpočítání
-
Verifikace a testování software
-
Vestavěné systémy
-
Vývoj aplikací
-
Zpracování zvuku, řeči a přirozeného jazyka