Browsing 2017 by Author "Dítě, Viktor"
Now showing items 1-1 of 1
-
Analýza kódu v jazyce C pro účely testování zpětného překladu
Dítě, ViktorCílem této práce je rozšíření aplikačního rámce pro tvorbu regresních testů o novou funkcionalitu pro analýzu kódu v jazyce C . Tento aplikační rámec je vytvořen v jazyce Python a pro analýzu zdrojového kódu využívá překladač ...