|
|
Extrakce grafu toku řízení z formátu LLVM IR
Kondula, Václav ; Šoková, Veronika (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl tento extraktor implementován jako samostatný nástroj. Výstup programu odpovídá požadavkům platformy Testos, jemuž poskytuje data pro automatické generování testovacích požadavků na základě specifického pokrytí.
|
|
|
Podpora vývoje a testování interpretů jednoduchých jazyků
Mazancová, Lenka ; Láznička, Stanislav (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tento práce je zaměřena na analýzu, návrh a implementaci referenčního interpretu, který má sloužit jako pomůcka při vypracovávání a opravování projektů do předmětu Formální jazyky a překladače. Řešení tohoto problému se skládá z vytvoření instrukční sady, knihovny na čtení a zápis navržené instrukční sady a interpretu navržené instrukční sady. Zvláštní pozornost je věnována samotnému interpretu, jehož důležitou vlastností se rozšiřitelnost pomocí konfiguračních XML souborů a zdrojových souborů v jazyce C# nebo Visual Basic. Na závěr je popsáno testování interpretu navržené instrukční sady včetně možností přizpůsobení na různé typy víceúrovňových jazyků.
|
|
|
Extrakce grafu toku řízení z formátu LLVM IR
Kondula, Václav ; Šoková, Veronika (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl tento extraktor implementován jako samostatný nástroj. Výstup programu odpovídá požadavkům platformy Testos, jemuž poskytuje data pro automatické generování testovacích požadavků na základě specifického pokrytí.
|
|
|
Podpora vývoje a testování interpretů jednoduchých jazyků
Mazancová, Lenka ; Láznička, Stanislav (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tento práce je zaměřena na analýzu, návrh a implementaci referenčního interpretu, který má sloužit jako pomůcka při vypracovávání a opravování projektů do předmětu Formální jazyky a překladače. Řešení tohoto problému se skládá z vytvoření instrukční sady, knihovny na čtení a zápis navržené instrukční sady a interpretu navržené instrukční sady. Zvláštní pozornost je věnována samotnému interpretu, jehož důležitou vlastností se rozšiřitelnost pomocí konfiguračních XML souborů a zdrojových souborů v jazyce C# nebo Visual Basic. Na závěr je popsáno testování interpretu navržené instrukční sady včetně možností přizpůsobení na různé typy víceúrovňových jazyků.
|
host ::
RSS.