download - SPES 2020

Weitere Magazine

Empfehlungen

Info

Vorteile einer formalen Spezifikation • Anforderungsmodell ist simulierbar validierbar; • Automatisch analysierbar konsistent (widerspruchfrei); • Generierung von Testfällen; • Formale Basis für den Übergang zum Design: – Mapping; – Traceability; – Verifikation; • Formal aber handhabbar wegen Abstraktion von allen technischen Details. 24
Logische Perspektive
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 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: ACC: Funktionsspezifikation 23
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

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?