VYSOKÉ UČENÍ TECHNICKÉ V BRNĚ
Antonínská 548/1, Brno 601 90
telefon: viz nejčastější čísla
e-mail: vut@vutbr.cz
www.vutbr.cz
www.vut.cz
Virtuální prohlídka
IČ 00216305
DIČ CZ00216305
- Pravděpodobně máte vypnutý JavaScript. Některé funkce portálu nebudou funkční.
Odborníci z FIT odhalují zákeřné chyby v počítačových programech
"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
Zkrácený odkaz: https://www.vut.cz/old/f19528/d212577
