Lecture2Go
Catalog
F.6 - Mathematik, Informatik, Naturwissenschaften
Informatik
Modellbasierte Softwareentwicklung

Catalog

License: UHH-L2G

1261 Views

14.01.2021

Informatik

9.1 Modellbasiertes Testen - Konzepte

Prof. Dr. Matthias Riebisch

Inhalte

Die Komplexität der heute entwickelten Softwaresysteme nimmt stetig zu. Die Entwicklung wird dadurch immer aufwändiger und fehleranfälliger.
Die Entstehung von Fehlern bei Problembeschreibung und bei Lösungsumsetzung können weitgehend vermieden werden, wenn das angestrebte Systemverhalten auf abstrakter Ebene – als Modell – beschrieben und durch sukzessive Verfeinerungen bis zur Implementierungsebene konkretisiert wird. Der Themenbereich Modellbasierte Softwareentwicklung bezeichnet sämtliche softwaretechnischen Ansätze, die diese modellbasierte Vorgehensweise unterstützen, um
- durch Modelle komplexe Zusammenhänge für den Entwickler besser erfassbar zu machen - beispielsweise für Weitergabe und Konservierung von Wissen,
- werkzeuggestützte Verifikation und Validation zu ermöglichen – beispielsweise zur Fehlervermeidung und zur formalen Überprüfung von Konsistenzeigenschaften, sowie
- durch Automatisierung von Tätigkeiten – beispielsweise für Testfallgenerierung, Codegenerierung - den Aufwand zu verringern und die geforderten Eigenschaften von Systemen zu erreichen.
Im Rahmen dieses Moduls werden unterschiedliche modellbasierte Methoden, Modellierungssprachen, Techniken und Werkzeuge zur Unterstützung des gesamten Softwarelebenszyklus behandelt. Besonderes Gewicht haben Modelle der Softwaretechnik, insbesondere UML, SysML und Techniken der Modelltransformation sowie Domain Specific Languages (DSL). Darüber hinaus werden Querbezüge zu Modellierungstechniken für Informationssysteme, Verteilte Systeme, Workflowsysteme und Organisationen sowie zum Zweck der Systemanalyse hergestellt.
Im integrierten Seminar werden Modellierungswerkzeuge anhand von Fallbeispielen untersucht und bewertet.

Lernziel: Die Teilnehmer kennen verschiedene Methoden und Werkzeuge der modellbasierten Softwareentwicklung, ihre Einsatzbereiche und Möglichkeiten. Sie besitzen Kenntnisse und Fähigkeiten der Model-lierung und können diese in der Softwareentwicklung und zur Veri-fikation einsetzen. Sie sind in der Lage, Modelltransformationen und DSLs weiterzuentwickeln und einzusetzen. Sie kennen Werkzeuge zur Modelltransformation, Verifikation und Validation. Sie können Querbezüge zu Modellierungstechniken für Informationssysteme, Verteilte Systeme, Workflowsysteme und Organisationen sowie zum Zweck der Systemanalyse herstellen.

Lehrveranstaltungen

Das Modul InfM-MBSE Modellbasierte Softwareentwicklung besteht aus den Lehrveranstaltungen 64-440 Vorlesung Modellbasierte Softwareentwicklung und 64-441 Übungen/Seminar Modellbasierte Softwareentwicklung. Ein Zeitplan mit der konkreten Abfolge von Terminen mit Vorlesung, Übung bzw. Seminar wird in der Veranstaltung bekannt gegeben.

Einordnung ins Studium – Voraussetzungen

Das Modul InfM-MBSE Modellbasierte Softwareentwicklung ist

im Studiengang M.Sc. Informatik dem Bereich Vertiefung,
im Studiengang M.Sc. ITMC dem Wahlpflichtbreich IT-Entwicklung,
im Studiengang M.Sc. Wirtschaftsinformatik dem Wahlpflichtbereich sowie der Spezialisierung Informationssysteme,
im Studiengang M.Sc. Bioinformatik dem Wahlpflichtbereich Informatik

zugeordnet. Für die Teilnahme existieren keine formalen Voraussetzungen, aber inhaltlich sind Vorkenntnisse im Bereich der Softwaretechnik (z.B. im Rahmen des Bachelor-Moduls InfB-SWT Softwaretechnik) hilfreich.

Material

Die Vorlesung stützt sich auf das Buch:

Tim Weilkiens, Alexander Huwaldt, Jürgen Mottok, Stephan Roth, Andreas Willert:
Modellbasierte Softwareentwicklung für eingebettete Systeme verstehen und anwenden
Dpunkt.Verlag 2018, ISBN 978-3-86490-524-7

Mehrere Exemplare sowie die Online-Ausgabe sind in der Informatik-Bibliothek verfügbar.

Vorlesungsmaterialen werden im Moodle-Kurs bereitgestellt, die unter anderem Fragen zur Wiederholung und Prüfungsvorbereitung enthalten und die Basis für Mitschriften darstellen. Die Materialien enthalten in einzelnen Abschnitten Hinweise auf weiterführende Literatur.

Seitenfuss

Share
Download
Technical support
Captions

Download

Video

Audio

Subtitles

Video URL The link to this video.
IFrame Code This IFrame supports html5 and flash based embed code. It is dynamically generated and includes chapter marks within the video.
IFrame code for series Use this code to embed the video and the complete series with the Lecture2Go video player.
IFrame link (Fiona) Direct iFrame link for distribution to external web applications.
HTML5 code Use this code to embed the video with the browser-specific player on other web sites.
Mp4 download link Copy the download link of this video.
OpenOlat video course module Use this link to embed a video in the OpenOlat video module.
CommSy Use this code to embed the video in Commsy.
series URL The link to the series.

Citation2Go

Start Defines the starting point for Citation2Go. Please click in the field to select the current time.
end Defines the end point for Citation2Go. Please click in the field to select the current time.
Citation2Go link After selecting a start and end point, this link points to the excerpt of the video.
IFrame Code This IFrame is dynamically generated and contains the portion of this video that you selected using the start and end points defined above.

Technical support

Please click on the link bellow and then fill out the required fields to contact our Support Team! RRZ Support Link

Captions

Series

04.02.2021

13.2 Model-Driven Development MDD - 2

Prof. Dr. Matthias Riebisch
04.02.2021

13.1 Model-Driven Development MDD - 1

Prof. Dr. Matthias Riebisch
28.01.2021

12.2 Domain Specific Languages DSL-2

Prof. Dr. Matthias Riebisch
28.01.2021

12.1 Domain Specific Languages DSL-1

Prof. Dr. Matthias Riebisch
21.01.2021

11.3 Technologie des Metamodells

Prof. Dr. Matthias Riebisch
21.01.2021

11.2 Metamodelle

Prof. Dr. Matthias Riebisch
21.01.2021

11.1 Modellanpassung

Prof. Dr. Matthias Riebisch
21.01.2021

10.4 Werkzeug mit Erweiterungen / 10.5 Datenaustausch-Formate

Prof. Dr. Matthias Riebisch
21.01.2021

10.2 Synchronisation von Repositories / 10.3 Gemeinsames Repository mehrerer Werkzeuge

Prof. Dr. Matthias Riebisch
21.01.2021

10.1 Werkzeugintegration - Ziele und Herausforderungen

Prof. Dr. Matthias Riebisch
14.01.2021

9.2 Modellbasiertes Testen - UML Testing Profile

Prof. Dr. Matthias Riebisch
14.01.2021

9.1 Modellbasiertes Testen - Konzepte

Prof. Dr. Matthias Riebisch
07.01.2021

8.3 SysML weiteres

Prof. Dr. Matthias Riebisch
07.01.2021

8.2 SysML Blöcke

Prof. Dr. Matthias Riebisch
07.01.2021

8.1 SysML Einordnung, Anforderungen

Prof. Dr. Matthias Riebisch
17.12.2020

7.5 Modellbasierte Architekturbeschreibung

Prof. Dr. Matthias Riebisch
17.12.2020

7.4 Software-Entwurfsprinzipien

Prof. Dr. Matthias Riebisch
17.12.2020

7.3 Entwicklung einer fachlichen Architektur

Prof. Dr. Matthias Riebisch
17.12.2020

7.2 Beschreibung von Entscheidungen

Prof. Dr. Matthias Riebisch
17.12.2020

7.1.2 Kriterien für gute Modellierung

Prof. Dr. Matthias Riebisch
17.12.2020

7.1.1. Gute Modellierung - Sichten

Prof. Dr. Matthias Riebisch
15.12.2020

7.6 Entwicklung der technischen Architektur

Prof. Dr. Matthias Riebisch
10.12.2020

6. Matlab Simulink Stateflow

Prof. Dr. Matthias Riebisch
03.12.2020

5.9 UML Verteilungsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.8 UML Zustandsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.7 UML Kommunikationsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.5 UML Aktivitätsdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.4 UML Paketdiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.3 UML Kompontendiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.2 UML Klassendiagramm

Prof. Dr. Matthias Riebisch
03.12.2020

5.1 UML Überblick

Prof. Dr. Matthias Riebisch
30.11.2020

5.6 UML Sequenzdiagramm

Prof. Dr. Matthias Riebisch
26.11.2020

4.5 Ausführbare Spezifikation vs. Grafiken

Prof. Dr. Matthias Riebisch
26.11.2020

4.4 Szenario: Modellbasierte Spezifikation mit UML

Prof. Dr. Matthias Riebisch
26.11.2020

4.3 Anforderungen und Architektur im Zickzack

Prof. Dr. Matthias Riebisch
26.11.2020

4.2 Modellierung von Anforderungen

Prof. Dr. Matthias Riebisch
26.11.2020

4.1 Requirements Engineering

Prof. Dr. Matthias Riebisch
19.11.2020

3.2 Auswahl von Werkzeugen

Prof. Dr. Matthias Riebisch
19.11.2020

3.1 Paradigma, Methode und Werkzeug

Prof. Dr. Matthias Riebisch
18.11.2020

3.3 Einbindung in Vorgehensmodelle

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.3 Ziele Softwarequalität

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.2 Entscheidung Modellierungssprache

Prof. Dr. Matthias Riebisch
12.11.2020

MBSE2020 2.1 Modell-Begriff

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 1. Einführung T2

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 1. Einführung T1

Prof. Dr. Matthias Riebisch
05.11.2020

MBSE2020 0. Organisatorisches

Prof. Dr. Matthias Riebisch

9.1 Modellbasiertes Testen - Konzepte - Prof. Dr. Matthias Riebisch - University of Hamburg

Catalog

9.1 Modellbasiertes Testen - Konzepte

Links

Citation2Go

Series