Přístupnostní navigace
Přejít k obsahu
|
Přejít k hlavnímu menu
VUT
Menu
Život na VUT
Submenu
Atmosféra VUT
Prostory školy
Koleje
Stravování
Sport na VUT
Studentský život
Brno
Pro uchazeče
Submenu
Fakulty a programy
Jak se dostat na VUT
Dny otevřených dveří
Celoživotní vzdělávání
Zpracování osobních údajů uchazečů o studium
E-přihláška
Pro studenty
Submenu
Předměty
Studijní programy
Poplatky za studium
Studijní předpisy
Studium a stáže v zahraničí
Stipendia
Sociální bezpečí
Závěrečné práce
Knihovny
(externí odkaz)
Studium bez bariér
Uznání zahraničního vzdělání
Zpracování osobních údajů studentů
Podpora podnikání
Věda a výzkum
Submenu
Věda a výzkum na VUT
Mezinárodní vědecká rada
Centra výzkumu
Open Science
Transfer znalostí
Projekty
Projekty ze strukturálních fondů
Specifický výzkum
Publikace a výsledky VaV
Konference
Spolupráce
Submenu
Firemní spolupráce
Zahraniční spolupráce
Střední školy a VUT
Služby univerzity
Mezinárodní dohody
Univerzitní sítě
O univerzitě
Submenu
Aktuality
Profil univerzity
Udržitelná univerzita
Kalendář akcí
Absolventi
(externí odkaz)
Organizační struktura
Pracovní příležitosti
(externí odkaz)
Úřední deska
Sociální bezpečí
Podpora a rozvoj zaměstnanců / HR Award
Pro média
Kontakty
Ochrana osobních údajů
Vyznamenání
Fakulty
Fakulta stavební
Fakulta strojního inženýrství
Fakulta elektrotechniky a komunikačních technologií
Fakulta architektury
Fakulta chemická
Fakulta podnikatelská
Fakulta výtvarných umění
Fakulta informačních technologií
Vysokoškolské ústavy
Ústav soudního inženýrství
Centrum sportovních aktivit
Středoevropský technologický institut (CEITEC VUT)
Součásti
Centrum výpočetních a informačních služeb
Institut celoživotního vzdělávání
Koleje a menzy
Nakladatelství VUTIUM
Ústřední knihovna
Rektorát
EN
Přihlásit se
Přihlásit se
Web VUT
Intraportál
Studis
Teacher
Elearning
Hledat
EN
Vyhledávání
Vyhledat
Zavřít
VUT
O univerzitě
Aktuality
Odborníci z FIT odhalují zákeřné chyby v počítačových programech
Odborníci z FIT odhalují zákeřné chyby v počítačových programech
Ilustrační foto | Autor: Pixabay
Snaha minimalizovat výskyt chyb v počítačových programech je velmi aktuální téma. Chyby, které se nepodaří najít a odstranit před jejich nasazením, totiž mohou způsobit velké ekonomické ztráty, a dokonce v některých případech i ztráty na lidských životech. Zájem o
automatizované techniky odhalování chyb
proto roste ve všech sférách průmyslu, což stimuluje intenzivní vývoj nových metod a nástrojů pro hledání chyb. Verifikace a hledání chyb v pokročilém softwaru byly i tématem projektu
ROBUST
pod vedením
Tomáše Vojnara z FIT VUT a Jana Kofroně z Matematicko-fyzikální fakulty Univerzity Karlovy
.
"Automatické hledání chyb v programech je velmi těžký problém a v úplné obecnosti lze říci, že víme, že nemůže existovat automatický nástroj, který by v libovolném programu našel všechny chyby. V některých programech je hledat a případně nalézt chyby snazší, v jiných je to velmi těžké, a typicky se to odvíjí od složitosti a velikosti analyzovaného programu. Naším cílem je v tomto směru zejména první zmíněný aspekt, tedy umožnit analyzování složitějších programů, než jaké bylo možné analyzovat doposud,“ vysvětluje Tomáš Vojnar v
článku
publikovaném na webu
Grantové agentury ČR
, která projekt financovala.
Výzkumníci z FIT a MFF UK bádají v dané oblasti i nadále, mimo jiné v rámci navazujícího projektu GA ČR
Snappy
.
Publikováno
13.05.2021 13:00
Odkaz
https://www.vut.cz/vut/f19528/d212577
Fakulta informačních technologií
Nahoru