Titelaufnahme

Titel
Data Race Tests für Software eines weltraumtauglichen GPS-Empfängers / von Klaus Zandl
Weitere Titel
Data Race Tests for Software of a spaceborne GPS Receiver
Verfasser / Verfasserin Zandl, Klaus
Begutachter / BegutachterinKaindl, Hermann ; Grünfelder, Stephan
Erschienen2008
Umfang64 Bl. : Ill.
HochschulschriftWien, Techn. Univ., Dipl.-Arb., 2009
Anmerkung
Abweichender Titel laut Übersetzung der Verfasserin/des Verfassers
SpracheDeutsch
DokumenttypDiplomarbeit
Schlagwörter (DE)Data Race / Test eines Echtzeitbetriebssystem / Threads / Thread Analyzer / ARTOS / Eraser / Happens-Before / GPS-Empfänger
Schlagwörter (EN)Data Race / Test / Threads / Thread Analyzer / Eraser / ARTOS / RTOS / Happens-Before
URNurn:nbn:at:at-ubtuw:1-25470 Persistent Identifier (URN)
Zugriffsbeschränkung
 Das Werk ist frei verfügbar
Dateien
Data Race Tests für Software eines weltraumtauglichen GPS-Empfängers [0.47 mb]
Links
Nachweis
Klassifikation
Zusammenfassung (Deutsch)

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.

Statistik
Das PDF-Dokument wurde 37 mal heruntergeladen.