download - SPES 2020

Weitere Magazine

Empfehlungen

Info

Inhalt • Funktionale Spezifikation ist eine Menge einzelner Szenarien; • Ein Szenario ist ein zeitlicher Ablauf von Ein- und Ausgabeereignissen; • Black-Box-Sicht: Szenarien sind an der Systemgrenze sichtbar; • Adressierte Fragenstellungen: – Validierung: Entsprechen Szenarien den Anforderungen? – Konsistenzprüfung: Gibt es Widersprüche in Anforderungen? – Feature Interaction: Alle Wechselwirkungen berücksichtigt? Umgebung System Umgebung 14
Funktionshierarchie Funktionshierarchie besteht aus • Atomaren Funktionen • Kombinierten Funktionen • Querbeziehungen Querbeziehung A B C D E F G H K L M Kombinierte Funktion Atomare Funktion 15
Seite 1 und 2: Umfassendes Architekturmodell - Dur
Seite 3 und 4: Einführung: Architekturmodell
Seite 5 und 6: Abstraktionsebenen-Systematik - Zie
Seite 7 und 8: Probleme • Ein umfangreiches Syst
Seite 9 und 10: Zwei Dimensionen der Matrix • 1.
Seite 11 und 12: Dekompositionsebenen 11
Seite 13: Ziele • Modellierung des Systemve
Seite 17 und 18: Funktion (2) • Mögliche Notation
Seite 19 und 20: Metamodell 19
Seite 21 und 22: ACC: Funktionshierarchie 21
Seite 23 und 24: ACC: Funktionsspezifikation 23
Seite 25 und 26: Logische Perspektive
Seite 27 und 28: Netzwerk von Komponenten Communicat
Seite 29 und 30: ACC 29
Seite 31 und 32: Component Hierarchy of ACC ACC ACC
Seite 33 und 34: Technische Perspektive
Seite 35 und 36: ACC 35
Seite 37 und 38: Generated Code 37
Seite 39 und 40: Geometrische Perspektive • Geomet
Seite 41 und 42: Zwei Dimensionen der Beschreibung 4
Seite 43 und 44: Zickzack-Vorgehen 43
Seite 45 und 46: Analyse der Modelle
Seite 47 und 48: Formal Specification - Example Prop
Seite 49 und 50: Test Case Generation and Execution
Seite 51 und 52: Random Tests with Usage Profile •
Seite 53 und 54: Summary: Verification Different kin
Seite 55 und 56: High Abstraction Low Abstraction V

download - SPES 2020

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?