Lösungshinweis Übung 8

[Mojito Mix]

Hallo,
ich hab mal par Fragen zur Übung 8.

1) Aufgabe 1a) Wieso fehlt beim flachen Automaten bei der Transition von "Sucher" nach "Karte" die Bedingung [~A ] ? Wurde das einfach vergessen, oder kommt das hier nicht hin? Selbe Frage für "Karte "-> "Sucher", "nicht Verbunden" -> "Sucher"...

2) Aufgbae 1b) Auch hier im Transitionsbaum fehlt die zusätzliche Bedingung [~A], zB. "Menü" -> "Sucher". Wieder übersehen oder gehört sie hier nicht rein?

3) Aufgabe 1b) Von "Routenberechnung" nach "Zieleingabe" gibts im ursprünglichen Automaten die Bedingung "z | [Zu]". Im flachen Automaten teilt man die komplexe Bedingung auf in 2 Transitionen: z und [Zu]. Wieso wird im Transitionsbaum die ereignislose Transition [Zu] nicht weiter aufgeteilt zu [Zu]==True und [Zu] ->True? Liegt das an der OR-Verknüpfung im ursprünglichen Statechart?

Vielen Dank schon mal

[oren78]

Hallo,
ich hab mal par Fragen zur Übung 8.

1) Aufgabe 1a) Wieso fehlt beim flachen Automaten bei der Transition von "Sucher" nach "Karte" die Bedingung [~A ] ? Wurde das einfach vergessen, oder kommt das hier nicht hin? Selbe Frage für "Karte "-> "Sucher", "nicht Verbunden" -> "Sucher"...

Das sieht für mich nach einem kleinen Typo in der MuLo aus...

3) Aufgabe 1b) Von "Routenberechnung" nach "Zieleingabe" gibts im ursprünglichen Automaten die Bedingung "z | [Zu]". Im flachen Automaten teilt man die komplexe Bedingung auf in 2 Transitionen: z und [Zu]. Wieso wird im Transitionsbaum die ereignislose Transition [Zu] nicht weiter aufgeteilt zu [Zu]==True und [Zu] ->True? Liegt das an der OR-Verknüpfung im ursprünglichen Statechart?

Genau wie du's gesagt hast, Ver-Oderungen scheinen immer in zwei (oder mehr) Transistionen aufgebrochen zu werden, ich denke der hauptgrund liegt darin das du sonst ein Problem bei deinen resultierenden Testsequenzen haben wirst. Daher betrachtet man jeden "atomaren" Teil eines ODER-Ausdrucks als eigene Transition zu einem Zielzustand, woraus sich dementsprechend unterschiedliche Testsequenzen ergeben. Bin mir nicht 100% sicher, aber es würde (denke ich mal) sinn machen

[Mojito Mix]

3) Aufgabe 1b) Von "Routenberechnung" nach "Zieleingabe" gibts im ursprünglichen Automaten die Bedingung "z | [Zu]". Im flachen Automaten teilt man die komplexe Bedingung auf in 2 Transitionen: z und [Zu]. Wieso wird im Transitionsbaum die ereignislose Transition [Zu] nicht weiter aufgeteilt zu [Zu]==True und [Zu] ->True? Liegt das an der OR-Verknüpfung im ursprünglichen Statechart?

Genau wie du's gesagt hast, Ver-Oderungen scheinen immer in zwei (oder mehr) Transistionen aufgebrochen zu werden, ich denke der hauptgrund liegt darin das du sonst ein Problem bei deinen resultierenden Testsequenzen haben wirst. Daher betrachtet man jeden "atomaren" Teil eines ODER-Ausdrucks als eigene Transition zu einem Zielzustand, woraus sich dementsprechend unterschiedliche Testsequenzen ergeben. Bin mir nicht 100% sicher, aber es würde (denke ich mal) sinn machen

Ja und wieso wird dann [Zu] nicht aufgeteilt zu [Zu]==True und [Zu]-->True?

[s_n]

Das gleiche müsste dann ja auch bei der Transition

Routenberechnung ---- [Zb] ----> Routenführung

passieren... also:

Routenberechnung ---- [Zb]==true ----> Routenführung
Routenberechnung ---- [Zb]=>true ----> Routenführung

[saller]

Hallo Zusammen,

Routenberechnung ---- [Zb] ----> Routenführung

Genau - da habt ihr recht - eine Transition OHNE einen Trigger muss immer aufgespalten werden. Das bedeutet wir haben ein Blatt mehr und damit auch einen Testfall mehr. Tja, das kommt davon, wenn man den Trigger entfernt um diesen Spezialfall zu Üben und das dann nicht nachkorrigiert Also danke für den Hinweis.

Gruß
Karsten