SWT-Übung WS 11/12 04.01.2012 SA-SA/RT.

Präsentation zum Thema: "SWT-Übung WS 11/12 04.01.2012 SA-SA/RT."—  Präsentation transkript:

1 SWT-Übung WS 11/12 SA-SA/RT

2 Strukturierte Analyse
Bestandteile: Hierarchisch angeordnete DFDs Data Dictionary-Einträge Mini-Specs (Mini-Spezifikationen)

3 Bestandteile SA „Kontextdiagramm“ = oberstes DFD
Beschreibung der Beziehung zur Umwelt genau 1 Prozess („0.“) Keine Speicher Mindestens 1 Schnittstelle DFD 0 – Verfeinerung des Kontextdiagrammes Zerlegung von „0“ in Teilprozesse Verfeinerung der Datenflüsse Speicher DFD 1, DFD 2, DFD Verfeinerung von Prozessen zu Weiteren Diagrammen (|Prozesse| < 7) oder MiniSpecs

4 Strukturierte Analyse
Data Dictionary-Einträge Alle Datenflüsse und Speicher Zusammenhang zwischen Datenflüssen verschiedener Ebenen Namen aller Datenflüsse müssen Identisch zu 1 Ebene höher oder Teilkomponenten eines „höheren“ Datenflusses (balancing) sein. MiniSpec EAV-Beschreibung Pseudocode, Entscheidungsbaum, -tabelle

5 Entscheidungstabelle
Tabellenname Namen der Regeln Bedingungen Bedingungskombinationen Aktionsnamen Aktionszuordnungen Quelle: Balzert

6 Entscheidungsbaum Quelle: Balzert

7 Funktionsbaum konstruiert aus den hierarchischen DFDs
DFD-Ebenen abgebildet auf FB-Ebenen

8 SA/RT Strukturierte Analyse, Real Time
Hierarchische Flussdiagramme (Update: Kontrollflüsse) Requirements Dictionary-Einträge (RDs, DD plus Kontrollflüsse) Prozess-Spezifikationen (PSpecs) Kontrollflußspezifikationen (CSpecs) Zeitspezifikationen

9 Kontrollflüsse in Flussdiagrammen
Steuern die Verarbeitung Meist diskret und nehmen eine Anzahl bekannter Werte an Dargestellt als gestrichelte Linien, im RD spezifiziert Signal_1 lösche Betrag Druckknopf 1 Modelliert wird die Steuerung der Verarbeitung von Daten Datenfluß prüfe PIN PIN EC-Karte Modelliert wird die Verarbeitung von Daten

10 CSpecs Durch Balkennotation im Flussdiagramm beschrieben
Kontrollflusseingänge, Kontrollflussausgänge ET / Zustandsautomaten ET:

11 Beispiel Modellierung eines Geldwechselautomatens
Geld rein (100, 50, 20, 10, 5, 2, 1) Stückelung bestimmen Geld raus Abbruch Schritt 1: Kontextdiagramm Schritt 2: Kontrollspezifikation, Flussdiagramm 0 Schritt 3: Requirements Dictionary Schritt 4: CSpec

12 Beispiel Kontextdiagramm Funktion „.0 Geld wechseln“
Schnittstellen zur Umwelt Eingabe- und Ausgabeinformationsgruppen Schnittstelle Datenfluss Kontrollfluss Eingabeöffnung Geld eingegeben Display Betrag  Displayrefresh Geldausgabe Geld geliefert, Geld genommen Abbruchknopf Abbruch gedrückt Wechselknopf Wechseln gedrückt Betreiber Anfrage_Stückelung, Stückelung

13 Beispiel Kontrollspezifikation „Inputschnittstellen“ Eingabeöffnung
Geldausgabe Wechselknopf Abbruchknopf „Outputschnittstellen“ Display

14 Beispiel Schnittstelle Datenfluss Kontrollfluss
Eingabeöffnung Geld eingegeben Display Betrag  Displayrefresh Geldausgabe Geld geliefert, Geld genommen Abbruchknopf Abbruch gedrückt Wechselknopf Wechseln gedrückt Betreiber Anfrage_Stückelung, Stückelung Beispieleinträge im RD Abbruch gedrückt [Ja | Nein] Wechseln gedrückt [Ja | Nein] Displayrefresh [Betrag | Stückelung | Abbruchmeldungen] Geld eingegeben [Ja | Nein] Geldfehler [Ja | Nein] Break [Ja | Nein] Geld geliefert [Ja | Nein] Geld genommen [Ja | Nein] ...

15 Beispiel – Flussdiagramm 0
Abbruch gedrückt Geld geliefert Display- refresh Geld genommen .5 Vorgang abbrechen Geld eingegeben Geld_Fehler .1 Geld prüfen Break .4 Geld ausgeben Betrag Betragsspeicher Wechselweg Wechseln gedrückt .3 Vorschlag Stückelung anzeigen .2 Wechselweg suchen Anfrage Display- refresh Stückelungs-vorschlag Stückelungen

16 Beispiel Requirements Dictionary (Kontroll- und Datenflüsse)
Abbruch gedrückt [Ja | Nein] Wechseln gedrückt [Ja | Nein] Displayrefresh [Betrag | Stückelung | Abbruchmeldungen] Geld eingegeben [Ja | Nein] Geldfehler [Ja | Nein] Break [Ja | Nein] Geld geliefert [Ja | Nein] Geld genommen [Ja | Nein] Anfrage [Betrag] Betrag [100 | 50 | 20 | 10 | 5] Stückelungsvorschlag [( ) | ( ) | ( ) | *Eingabe 100* ( ) | ( ) | *Eingabe 50* ( ) | ( ) | *Eingabe 20* (5 + 5) | ( ) | ( ) | ( ) | *Eingabe 10* ( )|( )|( )] *Eingabe 5*

17 Beispiel - CSpec Start Initialisierung Geld entnommen Wartezustand
Geld eingegeben Geld prüfen Geld ausgegeben [Geld_Fehler] Vorgang abbrechen _____________ Geld ausgeben Geld geprüft Vorgang abgebrochen [Geld ist korrekt] Ermittlung vorbereiten Abbruch gedrückt Vorgang abbrechen Time Out Vorgang abbrechen Abbruch gedr. Vorgang abbrechen Betrag ermitteln Stückelung anzeigen Geld ausgegeben Wechseln gedr. Geld ausgeben ____________ Stückelung suchen

18 Zusammenfassung Strukturierte Analyse, Real Time
Hierarchische Flussdiagramme (Update: Kontrollflüsse) Requirements Dictionary-Einträge (RDs, DD plus Kontrollflüsse) Prozess-Spezifikationen (PSpecs) Kontrollflußspezifikationen (CSpecs) Zeitspezifikationen