Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-10084
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Quack, Daniel | - |
dc.date.accessioned | 2018-10-31T14:22:22Z | - |
dc.date.available | 2018-10-31T14:22:22Z | - |
dc.date.issued | 2018 | de |
dc.identifier.other | 512512264 | - |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-101012 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/10101 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-10084 | - |
dc.description.abstract | Das Projekt Bauhaus besteht aus zahlreichen verketteten Werkzeugen für eine Vielzahl von Programmanalysen. Innerhalb der Werkzeugkette wird die proprietäre Zwischendarstellung, die Intermediate Language (IML), als Serialisierungssprache zwischen den Werkzeugen verwendet. In einer Vorgängerarbeit wurden die generierten IML-Implementierungen des Bauhaus-Projektes in das SKilL-Binärformat angepasst. Die quelloffene Serialization Killer Language (SKilL) wurde an der Universität Stuttgart entwickelt und besitzt gegenüber der IML zahlreiche Vorteile. Die vorliegende Arbeit integriert ein Werkzeug der Data Race Analyse in die neu entstandene SKilL-Implementierung des Bauhaus-Projektes. Neben der erfolgreichen Portierung werden Konvertierungsregeln für weitere Migrationsprojekte erarbeitet. Die Ergebnisse wurden mithilfe einer eigens entwickelten Testumgebung validiert. | de |
dc.language.iso | de | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 004 | de |
dc.title | Data Race Analyse in SKilL/Bauhaus | de |
dc.title.alternative | Data race analysis in SKilL/Bauhaus | en |
dc.type | masterThesis | de |
ubs.fakultaet | Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Softwaretechnologie | de |
ubs.publikation.seiten | 63, XV | de |
ubs.publikation.typ | Abschlussarbeit (Master) | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
Masterthesis_Daniel_Quack.pdf | 925,98 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.