by MaaMaa (nicht komplett und keine Gewähr, Ergänzungen willkommen…)

Korrekt oder inkorrekt? Bei inkorrekt Begründung!

• Der Vorteil einer formalen Sprache ist die eindeutige Interpretierbarkeit(?!)
• Ein fehlerhafter Zustand führt immer zum Versagen der Anwendung
• Verifikation ist die Überprüfung der Übereinstimmung eines Software-Produktes mit der Spezifikation
• Die Stelle (Platz) in einem Petrinetz entspricht einem Zustand
• Beim SW-Grobentwurf versucht man eine hohe Kopplung zu erreichen
• …

OCL-Aufgabe (Spiel, Person, Zeit als Klassen, verknüpft durch Start, Ende, Spieler, …)

a) Was ist der Unterschied zwischen strukturellem (White-Box) Testen und funktionalem (Black-Box) Testen?

b) Was ist Anweisungs-, Verzweigungs- und Pfadüberdeckung?

c)d)e) minimale Anweisungs-, Verzweigungs- und Pfadüberdeckung für gegebenes Struktogramm angeben

Anträge in Firma werden zuerst an Angestellten geleitet, der leitet, sofern er keine Befugnis hat, die Anträge an anderen Angestellten weiter. Wenn dieser auch keine hat, gehen die Anträge an den Chef.

a) Welches Entwurfsmuster passt? → Zuständigkeitskette

b) Art? → objektbasiert

c) Klassendiagramm mit gegebenen Klassen erstellen und Assoziationen und Methoden eintragen

d) Sequenzdiagramm für den Fall erstellen, dass ein Angestellter den Auftrag an anderen Angestellten weiterleitet, der ihn wieder zum Chef weitergibt.

a) Zustandsdiagramm in Zustandsautomat überführen

b) nicht erreichte Zustände angeben