Studienarbeit STUD-2108

Bibliograph.
Daten
Stach, Christoph: Schwierigkeiten für statische Programmanalysen in der Praxis.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Studienarbeit Nr. 2108 (2007).
102 Seiten, deutsch.
CR-Klassif.D.2.8 (Software Engineering Metrics)
D.3.3 (Programming Language Constructs and Features)
D.3.4 (Programming Languages Processors)
Keywordsstatische Programmanalysen; empirische Untersuchung von Programmen
Kurzfassung

Da Fehler in Programmen nicht nur ärgerlich, sondern mitunter auch sehr gefährlich sein können, muss versucht werden, diese frühzeitig zu finden und zu eliminieren. Dafür gibt es neben der dynamischen Analyse, die auf dem compilierten Code zur Ausführungszeit arbeitet, auch die statische, die den Quelltext untersucht. Bei dieser handelt es sich um ein falsifizierendes Verfahren, welches je nach der Genauigkeit mit der die einzelnen Analysen durchgeführt werden, einen Großteil der Fehler finden, aber nicht ihre Absenz garantieren kann.

Das Problem der statischen Analysen liegt aber darin, dass im Vorfeld keinerlei Informationen über das zu untersuchende Programm vorliegen und nicht festgestellt werden kann, ob durch die Verwendung eines teureren, dafür aber genaueren Algorithmuses auch bessere Vorhersagen geliefert werden, mit denen Fehler weiter eingegrenzt und besser korrigiert werden können. Ziel dieser Arbeit sollte es sein, mittels empirischer Untersuchungen Maßzahlen aus C und C++ Programmen zu gewinnen und mit deren Hilfe Ansätze zu finden, wie der Aufwand der Analysen minimiert und gleichzeitig ihre Genauigkeit maximiert werden kann.

Volltext und
andere Links
PDF (869061 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Abteilung(en)Universität Stuttgart, Institut für Softwaretechnologie, Programmiersprachen und Übersetzerbau
Eingabedatum22. Dezember 2007
   Publ. Informatik