Briefbogenvorlage der HUB

HUMBOLDT-UNIVERSITÄT ZU BERLIN
INSTITUT FÜR INFORMATIK
ARBEITSGRUPPE SPEZIFIKATION, VERIFIKATION UND TESTTHEORIE
SS 2013
ÜBUNGEN ZUR VORLESUNG
„QUALITÄT VON SOFTWARE“
Prof. Dr. Holger Schlingloff, Hartmut Lackner
Übungsblatt 6 – Statische Codeanalyse
Ausgabe:
11.06.2013
Abgabe:
18.06.2013
Lösungen an:
[email protected]
Vorbereitung: Bilden Sie Gruppen zu maximal drei Personen. Installieren sie Java Path Finder
in Eclipse.
Aufgabe 1
Untersuchen Sie das gegebene Projekt „DiningPhilosophers“ mit Java Path Finder.
a) Führen Sie das Programm mit Java Path Finder aus, um es auf DeadlockFreiheit zu prüfen. Für wie viele Philosophen kann ihr System in akzeptabler Zeit
eine Lösung berechnen?
b) Kann die Untersuchung mit denen in der Vorlesung vorgestellten
Abstraktionstechniken optimiert werden? Welche Techniken sind geeignet und
welche nicht? Wie hoch ist der Geschwindigkeitszuwachs?
(20 Punkte)
2