Title: Data Race Tests für Software eines weltraumtauglichen GPS-Empfängers
Language: Deutsch
Authors: Zandl, Klaus 
Qualification level: Diploma
Keywords: Data Race; Test eines Echtzeitbetriebssystem; Threads; Thread Analyzer; ARTOS; Eraser; Happens-Before; GPS-Empfänger
Data Race; Test; Threads; Thread Analyzer; Eraser; ARTOS; RTOS; Happens-Before
Advisor: Kaindl, Hermann
Assisting Advisor: Grünfelder, Stephan 
Issue Date: 2008
Number of Pages: 64
Qualification level: Diploma
Abstract: 
Data Races sind sporadisch auftretende Softwarefehler, die durch ungeordnete, das heißt "gleichzeitige", Zugriffe auf gemeinsame Daten entstehen, wenn mindestens einer der Zugriffe die Daten verändert.
Fehler aufgrund von Data Races sind schwer reproduzierbar, daher wurden und werden Verfahren und Werkzeuge entwickelt, die Data Races aufspüren.
Diese Diplomarbeit beschreibt die werkzeugunterstützte Suche nach Data Races in der Software eines weltraumtauglichen GPS-Empfängers. Die Software beinhaltet das Echtzeitbetriebssystem ARTOS und eine auf ARTOS aufbauende Applikationssoftware.
Zu Beginn wurde ARTOS unter Nutzung der Microsoft Windows-Thread-API im Intel Thread Checker untersucht und die Ergebnisse dieser Analysen bewertet. Ausgehend von den Untersuchungs-ergebnissen, erfolgte die Auswahl eines Testansatzes zur Untersuchung der Applikationssoftware mit dem Werkzeug Thread Analyzer der Firma Sun Microsystems. Dazu wurde der Testansatz für Solaris, ein UNIX-Derivat, portiert. Neben der Beschreibung der Testansätze selbst und deren Auswahl, zeigt die vorliegende Arbeit die notwendigen Schritte, um von der Windows-Thread-API auf die POSIX-Thread-API im Thread Analyzer umzustellen.
Die Diplomarbeit schließt mit einer Bewertung der 152 gefundenen potentiellen Data Races im Thread Analyzer.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-25470
http://hdl.handle.net/20.500.12708/14676
Library ID: AC05039746
Organisation: E384 - Institut für Computertechnik 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

16
checked on Feb 18, 2021

Download(s)

61
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.