Thomas Ruhroth
Lehrstuhl 14 - Software Engineering Fakult¨at f¨ur Informatik
LSys– 14.05.2015
Deadline: 27.5.2015 (12:00)
Softwareengineering f¨ ur langlebige Systeme – Ubung 3 ¨
AUFGABE 1 (Semantik) (4LP):
Definieren Sie formal f¨ur die Apfelsemantik die Operationen Subtraktion, Multiplikation und Division. Beschreiben Sie diese m¨oglichst formal und nicht als Beispiel. F¨ur welche Zahlenbereiche ist die Semantik nutzbar?
AUFGABE 2 (ANT) (12LP):
Erstellen Sie ein Ant-Script, welches folgende Tragets bietet und eine sinnvolle Includierung der Targets untereinander beinhalten:
• compile : Kompiliert den Code
• compiletest : Compiliert die Testf¨alle
• test : F¨uhrt die Testf¨alle aus
• jar : Erstellt ein Jar
• run: F¨uhrt das Programm aus
• clean : R¨aumt generierte Dateien auf
Den Code f¨ur die Aufgabe finden Sie auf der Webseite.
Das resultierende Jar sollte mit dem Aufruf java -jar SieveOfEratosthenes.jar 20 aufgerufen werden k¨onnen.
Die Abgabe soll den Inhalt der build.xml sowie die Ausgaben bei folgenden Aufrufen (in der gegebenen Reihenfolge) enthalten:
• ant clean
• ant compile
• ant test
• ant clean
• ant run
Softwareengineering f¨ur langlebige Systeme– ¨Ubung 3 1
Thomas Ruhroth
Lehrstuhl 14 - Software Engineering Fakult¨at f¨ur Informatik
LSys– 14.05.2015
Deadline: 27.5.2015 (12:00)
AUFGABE 3 (Vergleich von Transitionssystemen) (14LP):
Vergleichen Sie die folgenden Paare von Transitionssystemen mit den Vergleichsformalis- men aus der Vorlesung. Begr¨unden Sie warum ein Paar gleich ist bzw. wieso nicht.
a a
a a
b
a a
b
c a
a a
b b
d a
c
b
c d
b b c
a a
c b b
a
b
b b
b a
b a a
a
b
a)
b)
c)
d)
a a
b
a a
c a
b c
b a
c b b
a
b
e)
Softwareengineering f¨ur langlebige Systeme– ¨Ubung 3 2