Bc. Martin Baňas

Master's thesis

Optimization of Complex Abstract Syntax Tree Processing

Optimization of Complex Abstract Syntax Tree Processing
Anotácia:
Táto diplomová práca skúma komponent systému Source Code Verifier (SCV), nástroja, ktorý spoločnosť Honeywell používa na zaistenie správnosti vývojových procesov overovaním prekladu zo Simulink blokových diagramov na spustiteľný C/C++ kód. Tento komponent identifikuje potenciálne problémy v preklade pomocou preddefinovaných výrazov na nájdenie problémových vzorov v Simulink modeloch. Tento komponent …viac
Abstract:
This thesis examines a component of a Source Code Verifier (SCV), a tool Honeywell uses to ensure the correctness of development processes by verifying the translation from block-based Simulink diagrams to executable C/C++ code. This component identifies potential translation issues using predefined expressions to find problematic patterns in Simulink models. However, the performance of this component …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 21. 5. 2024

Obhajoba závěrečné práce

  • Obhajoba proběhla 20. 6. 2024
  • Vedúci: doc. RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: RNDr. Martin Jonáš, Ph.D.

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky

Masaryk University

Faculty of Informatics

Master programme / odbor:
Software Engineering / Design and development of software systems

Práce na příbuzné téma

  • Žádné práce na příbuzné téma.