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:
File | Description | Size | Format | |
---|---|---|---|---|
Data Race Tests fuer Software eines weltraumtauglichen GPS-Empfaengers.pdf | 490.41 kB | Adobe PDF | ![]() View/Open |
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.