download - SPES 2020

Weitere Magazine

Empfehlungen

Info

Software Development Perspectives Akademisches Vorgehen: User Functionality Logical Architectuer Technical Architecture Refinement Deployment Low details High details 6
Probleme • Ein umfangreiches System (Auto, Flugzeug) aus der Black-Box- Sicht zu beschreiben ist unmöglich • Man geht in der Praxis nicht strikt Top-Down vor: – Bestimmte Teilsysteme existieren bereits – HW-Topologie ist oft vorgegeben – Ein größeres System wird zunächst nicht formal sondern „aus Erfahrung“ in Teilsysteme unterteilt (Flugzeug besteht aus Flügen, Cockpit, Kabine, etc.) Lösungsvorschlag: Zweidimensionale Systembeschreibung 7
Seite 1 und 2: Umfassendes Architekturmodell - Dur
Seite 3 und 4: Einführung: Architekturmodell
Seite 5: Abstraktionsebenen-Systematik - Zie
Seite 9 und 10: Zwei Dimensionen der Matrix • 1.
Seite 11 und 12: Dekompositionsebenen 11
Seite 13 und 14: Ziele • Modellierung des Systemve
Seite 15 und 16: Funktionshierarchie Funktionshierar
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?