Modellbasierter Test mit der UML. Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest
|
|
- Victor Zimmermann
- vor 6 Jahren
- Abrufe
Transkript
1 Modellbasierter Test mit der UML Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest
2 Inhalt Einleitung und Motivation UML Testgenerierung Fazit
3 Inhalt Einleitung und Motivation UML Testgenerierung Fazit
4 Was ist die UML? Unified Modeling Language Booch: UML ist eine grafische Sprache... [zum] Visualisieren, Spezifizieren, Konstruieren und Dokumentieren eines softwareintensiven Systems. Booch, Rumbaugh, Jacobson: Das UML-Benutzerhandbuch
5 Diagrammarten in UML UML-Diagramm Strukturdiagramm Klassendiagramm - zeigt Klassen und ihre Beziehungen untereinander Objektdiagramm - zeigt Objekte mit beispielhaften Werten / Inhalten Anwendungsfalldiagramm - zeigt Akteure, Anwendungsfälle und ihre Beziehungen Paketdiagramm - zeigt Ablagestruktur und Abhängigkeiten der Modellelemente Zusammenarbeits- Diagramm - Zusammenarbeit und Rollen von Klassen Architekturdiagramm Kompositionsstrukturdiagramm - Zusammensetzung und Schnittstellengruppierung von Komponenten Komponentendiagramm - zeigt Komponenten und ihre Verbindungen Subsystemdiagramm - zeigt architektonische Zusammenhänge von Komponenten u. Ä. Einsatz- und Verteilungsdiagramm - zeigt Artefakte und ihre Verteilung auf Knoten und Komponenten Verhaltensdiagramm Aktivitätsdiagramm - beschreibt Abläufe mit Hilfe von Aktionen, Transitionen, Verzweigungen u. a. Zustandsdiagramm - beschreibt Objektzustände und mögliche Zustandsübergänge Protokollautomat -definiert zulässige Reihenfolge von Operationen Interaktionsdiagramm Sequenzdiagramm - zeigt zeitlich geordnet den Nachrichtenaustausch zwischen Objekten Kommunikationsdiagramm - zeigt topologisch geordnet den Nachrichtenaustausch zwischen Objekten Zeitdiagramm - beschreibt zeitliche Bedingungen im Kontext von Objektzuständen Interaktionsübersicht - Kombination von Sequenz- und Aktivitätsdiagramm
6 Diagrammarten in UML
7 Definition: Zustandsdiagramm State Chart Mathematische Definition: (Σ,S,s 0,δ,F) UML-Definition: Behavior (from BasicBehaviors) Namespace (from Kernel) NamedElement (from Kernel) StateMachine Region Vertex Transition State PseudoState ConnectionPointReference FinalState
8 Zustandsdiagramm State Chart Besonderheiten von UML-State-Charts: Hierarchie Vererbung Parallelität Historisierung
9 Notation Zustandsdiagramm State Chart
10 Inhalt Einleitung und Motivation UML Testgenerierung Fazit
11 Methoden Model-Checking (Labelled Transition Systems)...
12 Übersicht: Testgenerierung mit Model-Checking Temporallogik CTL symbolischer Model Checker SMV Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
13 Testgenerierung mit Model-Checking
14 Testgenerierung mit Model-Checking Spezifikation: Statechart-Semantik als Kripke Struktur K = (Q, Q 0, L, R) Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
15 Testgenerierung mit Model-Checking gs 1 : ({OFF}, m=0, {power-on}, Ø) step gs 2 : ({IDLE, EMPTY}, m=0, {light-on},{t 1 }) tick gs 3 : ({IDLE, EMPTY}, m=0, {inc},ø) step gs 4 : ({IDLE, NOTEMPTY}, m=1, Ø, {t 5 }) tick gs 5 : ({IDLE, NOTEMPTY}, m=1, {coffee},ø) step gs 6 : ({BUSY, EMPTY}, m=1, {start, dec}, {t 3 }) step gs 7 : ({BUSY, EMPTY}, m=0, Ø, {t 8 })
16 Überdeckungskriterien Kontrollfluss: Zustandsüberdeckung Konfigurationsüberdeckung Transitionsüberdeckung Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
17 Überdeckungskriterien Datenfluss: def(m), c-use(m), p-use(m) all-def-coverage, all-use-coverage Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
18 Testgenerierung mit Model-Checking
19 Überdeckungskriterien als CTL-Formeln: Zustandsüberdeckung { EF( in( s) EFstable) s BS} All-def-Überdeckung: { EF( t EX E[ d( v) U( u( v) EF exit)]) v V, t def ( v) } Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
20 Testgenerierung mit Model-Checking Test Suites für CVM z. B. Konfigurationsüberdeckung Statecharts specification translate SMV program SMV Test suite Test coverage criterion Instantiate CTL formulas
21 Inhalt Einleitung und Motivation UML Testgenerierung Fazit
22 Fazit......
23 FRAGEN?
24 Literatur Booch, Rumbaugh, Jacobson: Das UML-Benutzerhandbuch. München: Addison- Wesley, Weilkiens: UML 2 Zertifizierung. Intermediate-Stufe. Dpunkt Verlag, Gnesi, Latella, Massink: Formal Test-case Generation for UML Statecharts. In: 9th IEEE International Conference on Engineering of Complex Computer Systems Proceedings. S Latella, Massink: A Formal Testing Framework for UML Statechart Diagram Behaviors: From Theory to Automatic Verification. In: Proceedings of the 6th International Symposium on High Assurance Systems Engineering (HASE 01)
EINFÜHRUNG IN DIE WIRTSCHAFTSINFORMATIK -ÜBUNGEN- Marina Tropmann-Frick mtr@is.informatik.uni-kiel.de www.is.informatik.uni-kiel.
EINFÜHRUNG IN DIE WIRTSCHAFTSINFORMATIK -ÜBUNGEN- Marina Tropmann-Frick mtr@is.informatik.uni-kiel.de www.is.informatik.uni-kiel.de/~mtr FRAGEN / ANMERKUNGEN Vorlesung Neue Übungsaufgaben MODELLIERUNG
MehrGuido de Melo 5.2.2007 Fachvortrag, Uni Ulm UML 2.0. Für den Einsatz in der Praxis
Guido de Melo 5.2.2007 Fachvortrag, Uni Ulm UML 2.0 Für den Einsatz in der Praxis Seite 2 Überblick 1. Ziele 2. Warum das alles? 3. Was ist UML 4. Diagrammarten 5. Umfeld Seite 3 1. Ziele 1. Ziele dieses
Mehr09.01.14. Vorlesung Programmieren. Unified Modeling Language (UML) Unified Modeling Language (UML) Unified Modeling Language (UML)
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrVorlesung Programmieren
Vorlesung Programmieren Unified Modeling Language (UML) Prof. Dr. Stefan Fischer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/fischer Unified Modeling Language (UML)
MehrSoftware-Engineering
FH Wedel Prof. Dr. Sebastian Iwanowski SWE43 Folie 1 Software-Engineering Sebastian Iwanowski FH Wedel Kapitel 4: Systemanalyse Teil 3: Der Systemanalysestandard UML FH Wedel Prof. Dr. Sebastian Iwanowski
MehrGliederung des Vortrages
Gliederung des Vortrages Unified Modeling Language Rational Rose Sergej Schwenk Oktober 1999 0. Einführung 1. Historie 2. Der Entwicklungsprozeß 3. UML 3.1 Anwendungsfalldiagramme 3.2 Klassendiagramme
MehrModellbasierter Test mit der UML
Modellbasierter Test mit der UML Hausarbeit zum Seminar Spezikationsbasierter Softwaretest am Institut für Informatik der Humboldt-Universität zu Berlin von............... Lars Westmeier Datum.................
MehrRequirements Engineering I
Norbert Seyff Requirements Engineering I UML Unified Modeling Language! 2006-2012 Martin Glinz und Norbert Seyff. Alle Rechte vorbehalten. Speicherung und Wiedergabe für den persönlichen, nicht kommerziellen
MehrSoftware Engineering in der Praxis
Software Engineering in der Praxis Praktische Übungen Meitner, Spisländer FAU Erlangen-Nürnberg Objektorientiertes Design 1 / 16 Objektorientiertes Design Matthias Meitner Marc Spisländer Lehrstuhl für
MehrSoftware Engineering in der Praxis
Inhalt Nachlese Aufgaben Literatur Software Engineering in der Praxis Praktische Übungen Inhalt Nachlese Aufgaben Literatur Marc Spisländer Dirk Wischermann Lehrstuhl für Software Engineering Friedrich-Alexander-Universität
MehrModellierung von Web Anwendungen mit UML
Web Engineering-Seminar Modellierung von Web Anwendungen mit UML Yu Gan Yihui He 1 Gliederung 1. UML Grundlagen 1.1 Einführung 1.2 UML-Bausteine 1.3 Darstellung in Diagrammen 2. Modellierung von Web Anwendung
MehrModellierung von Verhalten OOPM, Ralf Lämmel
Wer ist das dann wieder? Modellierung von Verhalten OOPM, Ralf Lämmel 878 Strukturelle Modellierung vs. Verhaltensmodellierung Klassendiagramm für die Modellierung einer Universität Aktivitätsdiagramm
MehrVorlesung Software-Engineering I
Vorlesung Software-Engineering I im 3. und 4. Semester 05. Basiskonzepte Sichten auf das Produkt PD-TES/Hoyer, Frank-Michael SWE1: 05. Basiskonzepte - Sichten 16. Juli 2010 geändert: 4. Oktober 2013 SW-Architektur
MehrEinführung in die Informationsverarbeitung Teil Thaller. Stunde VII: Planen und Realisieren
Einführung in die Informationsverarbeitung Teil Thaller Stunde VII: Planen und Realisieren Manfred Thaller, Universität zu Köln Köln 18. Dezember 2014 Rekapitulation Der Gang der Argumentation 1. Der Rohstoff:
MehrJ.2 Objektorientiertes Modellieren mit UML
Modellieren mit UML Objektorientiertes Modellieren mit UML 2002 Prof. Dr. Rainer Manthey Informatik II 1 UML: Übersicht in den 1980er Jahren: Entstehen einer Vielzahl objektorientierter Entwurfsmethoden
MehrUML mit Enterprise Architect
Matthias Fritz UML mit Enterprise Architect Trainingsunterlage - 6. überarbeitete Auflage XEN Information Systems GmbH, Wien Der Autor Dipl.-Ing. (FH) Matthias FRITZ hat ein Studium der Informationstechnik
MehrFolien zum Textbuch. Kapitel 2: Planung, Entwicklung und Betrieb von IS. Teil 4: Modellierung von betrieblichen Informationssystemen
Folien zum Textbuch Kapitel 2: Planung, Entwicklung und Betrieb von IS Teil 4: Modellierung von betrieblichen Informationssystemen Textbuch-Seiten 209-245 WI Planung, Entwicklung und Betrieb von IS IS-Modellierung
Mehr2. Vorgehensmodelle Softwaretechnik (CNAM) Wintersemester 2009 / 2010 Prof. Dr. Bernhard Humm Hochschule Darmstadt, FB Informatik
2. Vorgehensmodelle Softwaretechnik (CNAM) Wintersemester 2009 / 2010 Prof. Dr. Bernhard Humm Hochschule Darmstadt, FB Informatik 1 Prof. Dr. Bernhard Humm, Hochschule Darmstadt, FB Informatik: Softwaretechnik
Mehr12. Vorgehensmodelle Softwaretechnik (CNAM)
12. Vorgehensmodelle Softwaretechnik (CNAM) Wintersemester 2011 / 2012 Prof. Dr. Bernhard Humm Hochschule Darmstadt, FB Informatik 1 Einordnung in den gesamten Kurs 1. Einführung 2. Analyse: Anforderungen
MehrSoftware-Architektur-Modellierung mit UML
Software-Architektur-Modellierung mit UML Prof. Mario Jeckle Fachhochschule Furtwangen mario@ http://www. GI Arbeitskreis Software-Architekturen, Oldenburg, 2004-02-11 Vert.- Diagramm Komm.- Diagramm Modellierung
MehrAnalyse und Modellierung von Informationssystemen
Analyse und Modellierung von Informationssystemen Dr. Klaus Höppner Hochschule Darmstadt Wintersemester 2014/2015 1 / 29 UML Einführung Klassendiagramme in der UML Relationen zwischen Klassen Einführung:
MehrModellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer
Modellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer Holger Sinnerbrink Einführung Firmenentwicklung Gründung von Telelogic 1983 als Forschungs- und Entwicklungsabteilung
MehrÜbersicht der UML Diagramme
Dieser Fachbeitrag ist ein Service der InfraSoft Profis für Ihre professionelle Softwareentwicklung. Übersicht der UML Diagramme Die Unified Modeling Language (UML) ist eine Sprache zur Beschreibung von
MehrUnified Modeling Language. Lerneinheit 2. UML - Diagramme. Prof. Dr. D. Frosch-Wilke Prof. Dr. U. Samberg. überarbeitet UML 2.0
Lerneinheit 2 UML - Diagramme Diagramme in der UML Wesentlicher Bestandteil der Modellbildung Graphen, wobei fundamentale Modellelemente (z.b. Klassen, Objekte, Zustände) die Knoten und Beziehungen zwischen
MehrObjektorientierter Softwareentwurf mit UML. Ricardo Hernández Garcia, Joachim Palmer 1. Ausgabe, Januar 2010. Grundlagen. Neubearbeitung 2010
Ricardo Hernández Garcia, Joachim Palmer 1. Ausgabe, Januar 2010 Objektorientierter Softwareentwurf mit UML Grundlagen Neubearbeitung 2010 PGOS2010 I Objektorientierter Softwareentwurf mit UML - Grundlagen
MehrBEDEUTUNG VON AUSGANGSZUSTÄNDEN BEIM TESTEN VON OBJEKTORIENTIERTER SOFTWARE IMPORTANCE OF INITIAL STATES BY TESTING OF OBJECT-ORIENTED SOFTWARE
CO-MAT-TECH 2004 14-15 October 2004 BEDEUTUNG VON AUSGANGSZUSTÄNDEN BEIM TESTEN VON OBJEKTORIENTIERTER SOFTWARE IMPORTANCE OF INITIAL STATES BY TESTING OF OBJECT-ORIENTED SOFTWARE Roman NAGY External doctorand
MehrInhaltsverzeichnis. Literatur. 4 Rational Unified Process [JBR98, Kru03] und UML [BRJ02, FS00, Bal01]
Inhaltsverzeichnis 1 Einleitung 4 1.1 CVS (Concurrent Version System) [Pru03, Zee02, Ced05]....... 5 1.2 Eclipse als Java Entwicklungsumgebung................. 22 2 Planungsmethoden 29 2.1 Definitionsphase..............................
MehrSoftware Engineering (SE)
Software Engineering (SE) 1) Einführung Prof. Dr. Anja Metzner Hochschule Augsburg, Fakultät für Informatik Kontakt: anja.metzner@hs-augsburg.de Studiengang WiBac 4 (Stand: 15.03.2014), Hochschule Augsburg,
MehrEinführung in UML. Überblick. 1. Was ist UML??? 2. Diagrammtypen. 3. UML Software. Was ist ein Modell??? UML Geschichte,...
Vorlesung GIS Einführung in UML Stephan Mäs 28. Mai 2009 Überblick 1. Was ist UML??? Was ist ein Modell??? UML Geschichte,... 2. Diagrammtypen Schwerpunkt: Klassendiagramme 3. UML Software Arbeitsgemeinschaft
MehrSoftwaretechnik SS 2006
Softwaretechnik SS 2006 7. Vorlesungseinheit Prof. Dr. Urs Andelfinger Darmstadt, 22. Mai 2006 Softwaretechnik (SWT) Vorlesung und Praktikum SS 2006 Inhaltsübersicht SW-Management SW-Entwicklung SW-Qualitätsmgmt.
MehrDas UML Benutzerhandbuch
Grady Booch James Rumbaugh Ivar Jacobson Das UML Benutzerhandbuch Aktuell zur Version 2.0 7 Diagramme In diesem Kapitel: Diagramme, Sichten und Modelle Verschiedene Sichten eines Systems modellieren Verschiedene
Mehr3. Tutorium zu Softwaretechnik I
3. Tutorium zu Softwaretechnik I Aktivitäts-, Sequenz- & Zustandsdiagramme Michael Hoff 20.05.2014 INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION KIT Universität des Landes Baden-Württemberg und
MehrKlassendiagramm. (class diagram)
: Klassendiagramm http:///topic95.html Klassendiagramm (class diagram) Klassendiagramm Objektdiagramm Komponentendiagramm Kompositionsstrukturdiagramm Verteilungsdiagramm Einstieg Paketdiagramm Aufbau
MehrSoftwaretechnik Unified Modeling Language (UML)
Softwaretechnik Unified Modeling Language () Karsten Weicker, Nicole Weicker HTWK Leipzig, FHTW Berlin David Shayne: She s so charismatic, and she s brilliant and beautiful. I mean, a real artist, and,
MehrEinführung in die Unified Modeling Language (UML)
Einführung in die Unified Modeling Language (UML) Hausarbeit zum Proseminar Datenbanken Wintersemester 2002/03 Seminarleitung: Dr. Christoph Draxler Verfasserin: Michaela Geierhos Centrum für Informations-
MehrUnified Modeling Language (UML)
Kirsten Berkenkötter Was ist ein Modell? Warum Modellieren? Warum UML? Viele, viele Diagramme UML am Beispiel Was ist ein Modell? Ein Modell: ist eine abstrakte Repräsentation eines Systems, bzw. ist eine
MehrVorlesung "Praktische Softwaretechnik" Teil 8: Einführung in die Systemanalyse
Vorlesung "Praktische Softwaretechnik" Teil 8: Einführung in die Systemanalyse Vortragender: Prof. Dr. Dirk Riehle Folien: Prof. Dr. Ing. Detlef Kips, develop group Praktische Softwaretechnik Informatik
MehrProgrammieren in Java
FG TECHNISCHE INFORMATIK V JV A00 00 TH 0 Programmieren in Java Anhang A A. Modellierung von OOP-Programmen A.. Klassenkategorien A.2. Klassembeziehungen A.3. Klassendiagramm und Sequenzdiagramm der UML
MehrSoftware Engineering 5. UML. Franz-Josef Elmer, Universität Basel, HS 2012
Software Engineering 5. UML Franz-Josef Elmer, Universität Basel, HS 2012 Software Engineering: 5. UML 2 Unified Modeling Language (UML) Standardisierte grafische Notationen um Strukturen und Abläufe eines
MehrARTiSAN Software Tools
ARTiSAN Software Tools Der neue Modellierungsstandard UML 2: Besser geeignet für Eingebettete Systeme? Andreas Korff, Principal Consultant Workshop Eingebettete Systeme der GI-Fachgruppe Echtzeitsysteme
MehrProtocol Engineering
Brandenburgische Technische Universität Cottbus Lehrstuhl Rechnernetze und Kommunikationssysteme Entwurf und Validierung von Protokollen und Verteilten Systemen Prof. Dr.-Ing. Hartmut König http://www-rnks.informatik.tu-cottbus.de/
Mehr1 Überblick 1. 4 Literatur 21
Dieses Dokument befasst sich mit ausgewählten Diagrammen der UML. Inhaltsverzeichnis 1 Überblick 1 2 Strukturdiagramme 2 2.1 Klassendiagramm....................................... 2 2.2 Objektdiagramm........................................
MehrObjektorientierte Geschäftsprozessmodellierung mit der UML
Bernd bestereich Christian Weiss Claudia Schröder Tim Weilkiens Alexander Lenhard 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com
MehrKlausurvorbereitung Software Engineering I @ TFH Berlin
Teil 1 Einführung in Software Engineering Definition: Was ist Software Engineering? Unter Software Engineering (SE) versteht man den systematischen, disziplinierten und in seiner Größe abschätzbaren Ansatz,
MehrInhalte der Veranstaltung
Inhalte der Veranstaltung 5. Anwendungssysteme 5-4 6. Entwurf von Anwendungssystemen 6.1 Datenmodellierung 6-1 6.2 Geschäftsprozessmodellierung 6-32 6.3 Entwurf von Datenbanken 6-79 6.4 Nutzung von Datenbanken
MehrSoftwareentwicklung mit UML
Softwareentwicklung mit UML Die Unified Modeling Language im Projekteinsatz 2.12.2003, Seite 1 Übersicht 1 Einleitung 2 Die Unified Modeling Language (UML) 3 Vorgehensmodelle und UML 4 Ausblick 4.1 UML
MehrRhapsody in J Modellierung von Echtzeitsystemen
Rhapsody in J Modellierung von Echtzeitsystemen Tobias Schumacher tobe@uni-paderborn.de Rhapsody in J - Modellierung von Echtzeitsystemen p.1/17 Anspruch des Tools Einsatzbereiche/Features Modellierung
MehrInsight 2011 Power Workshop kh Whiteboard Diagramm: Modellzusammenhänge visualisieren. Nürnberg, 29.11.2011
Insight 2011 Power Workshop kh Whiteboard Diagramm: Modellzusammenhänge visualisieren Nürnberg, 29.11.2011 Gliederung Whiteboard Diagramm: Modellzusammenhänge visualisieren Der Power Workshop im Überblick.
MehrOrientierte Modellierung mit der Unified Modeling Language
UML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language Michael Hahsler Ziel dieses Seminars Verständnis von Objekt-Orientierung Was sind Klassen? Was ist Vererbung?
MehrSoftwaretechnik. Fomuso Ekellem WS 2011/12
WS 2011/12 Inhalt Wiederholung Weitere Begriffe Programmierung im Großem (Programmierung von Software als Ganzes) Prozess-Modelle 2 Wiederholung: Prozesse Prozesse sind hierarchische Gruppierungen von
MehrMotivation. Motivation
Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2012 Universität Duisburg-Essen Was sind nebenläufige Systeme? Ganz allgemein: Systeme, bei denen mehrere Komponenten/Prozesse nebenläufig arbeiten
MehrUML Notation für objektorientierte Systeme
UML Notation für objektorientierte Systeme Die Unified Modeling Language (UML) ist eine graphische Notation, eine visuelle Modellierungssprache [UML Referenz], die es erlaubt die Artefakte eines Softwaresystems
MehrSoftware-Design. Definition Der Prozess Prinzipien Strategien und Methoden Notationen. Aufgabe. HS Mannheim
Software- Der Strategien und ist der zum Definieren der Architektur, der Komponenten, der Schnittstellen und anderer Charakteristika (Datenstrukturen, Algorithmen etc.) eines Systems oder einer Komponente
MehrHochschule Darmstadt Fachbereich Informatik. Softwaretechnik II. 4.1 Darstellung der Architektur
Hochschule Darmstadt Fachbereich Informatik Softwaretechnik II 4.1 Darstellung der Architektur Darstellung der Architektur Was macht ein Architekt? Viele Pläne! Endkunde Elektro Bauarbeiter Sanitär Softwaretechnik
MehrSysML Die Zukunft des Systems Engineering?
ECC 2012 Winterthur 5. Juni 2012 SysML Die Zukunft des Systems Engineering? Omar Naas, Senior Consultant, EVOCEAN GmbH 1934 Citroën 2CV Citroën Direktor Pierre-Jules Boulanger definierte 7 Anforderungen,
MehrModellierungstechniken im Softwaredesign. Praxisprojekt [ai] Control WS 2011/2012 Lara Baschour und Anne Heiting
Modellierungstechniken im Softwaredesign Praxisprojekt [ai] Control WS 2011/2012 Lara Baschour und Anne Heiting Was ist Modellierung? Modell = Ein Modell ist eine Repräsentation eines Systems von Objekten,
MehrUML-Glossar 1. UML-Glossar
UML-Glossar 1 UML-Glossar Vorwort Die nachfolgenden Seiten waren bisher Buchbestandteil von Projektabwicklung mit UML und Enterprise Architect bis zur Version 10.0 ISBN-10:3-9502692-0-8. Mit dem Release
MehrSoftware Engineering und Projektmanagement
Software Engineering und Projektmanagement Motivation! Fachliche Sicht trifft auf technische Realisierung Entwurf 2009W - 5. November 2009 Andreas Mauczka Email: andreas.mauczka@inso.tuwien.ac.at Web:
MehrObjektorientierter Software-Entwurf Die Unified Modeling Language 4 1
Objektorientierter Software-Entwurf Die Unified Modeling Language 4 1 Die Unified Modeling Language Die UML (hier in der Version 0.9) ist ein Satz von Notationen zur Beschreibung objektorientierter Softwaresysteme.
MehrBei Sitzungen im Team oder mit dem Kunden erleichtert eine grafische Darstellung des Software-Systems die Kommunikation.
UML Was ist UML UML (=Unified Modeling Language) ist eine weit verbreitete, standardisierte Notationsschrift, die das grafische Darstellen von Software-Systemen ermöglicht und dadurch eine grosse Unterstützung
MehrUML 2.0 Quelltextgenerierung
UML 2.0 Quelltextgenerierung Seminararbeit im Fach Informatik im Rahmen des Seminars Sicherheitskritische Systeme an der Universität Siegen, Fachgruppe für Praktische Informatik eingereicht bei Dr. Jörg
MehrModeling Security Aspects of Network Aggregation Protocols. Fachgespräch Sensornetze 2009 14. August 2009
Modeling Security Aspects of Network Aggregation Protocols Frank Werner Raoul Steffen Fachgespräch Sensornetze 2009 14. August 2009 Motivation Formale Methoden: Einsatz mathematischer Modelle und Techniken
MehrModellieren für den Test bei Embedded Systemen Chancen und Herausforderungen
Modellieren für den Test bei Embedded Systemen Chancen und Herausforderungen Gerhard Baier, AFRA GmbH, Erlangen 1.) Motivation Zunehmende Qualitätsanforderungen und steigende Systemkomplexität bei reduzierten
MehrMethodische objektorientierte Softwareentwicklung
Methodische objektorientierte Softwareentwicklung Eine Integration klassischer und moderner Entwicklungskonzepte von Mario Winter 1. Auflage Methodische objektorientierte Softwareentwicklung Winter schnell
MehrObjektorientierte Analyse
Objektorientierte Analyse 1) Systemanalyse Einführung Prof. Dr. rer. nat. habil. Uwe Aßmann Institut für Software- und Multimediatechnik Lehrstuhl Softwaretechnologie Fakultät für Informatik TU Dresden
Mehr1. Anforderungen und Anwendungsfälle Software Engineering (WIng)
1. Anforderungen und Anwendungsfälle Software Engineering (WIng) Wintersemester 2008 / 2009 Prof. Dr. Bernhard Humm Hochschule Darmstadt, FB Informatik 1 Prof. Dr. Bernhard Humm, Hochschule Darmstadt,
MehrVorwort. Tag des Systems Engineering. The Value of Systems Engineering - Der Weg zu den technischen Systemen von morgen
Vorwort Tag des Systems Engineering The Value of Systems Engineering - Der Weg zu den technischen Systemen von morgen Herausgegeben von Maik Maurer, Sven-Olaf Schulze ISBN (Buch): 978-3-446-43915-3 ISBN
MehrKapitelübersicht. Was ist So#waretechnik? Historische Entwicklung der So9waretechnik Prinzipien, Methoden, Werkzeuge. Was bedeutet Objektorien+erung?
Kapitelübersicht Was ist So#waretechnik? Historische Entwicklung der So9waretechnik Prinzipien, Methoden, Werkzeuge Was bedeutet Objektorien+erung? ObjektorienCerte Analyse und Design die Objektmodellierung
MehrInhaltsverzeichnis. a. Standorte...3 1. Sparx Systems...4 A. UML... 4. iv. Projektabwicklung mit UML und Enterprise Architect...
2 Inhaltsverzeichnis a. Standorte...3 1. Sparx Systems...4 A. UML... 4 i. Enterprise Architect...4 ii. Enterprise Architect... 7 iii. Projektabwicklung mit UML und Enterprise Architect...10 iv. Projektabwicklung
MehrErfahrungsbericht: Einsatz objektorientierter Methoden in Flugkörper-Software
Erfahrungsbericht: Einsatz objektorientierter Methoden in Flugkörper-Software Michael Erskine LFK-Lenkflugkörpersysteme GmbH KOM-0253 Erwartungen OOA/OOD sind standardisierte Methoden UML eignet sich als
MehrUnternehmensmodellierung
Josef L. Staud Unternehmensmodellierung Objektorientierte Theorie und Praxis mit UML 2.0 4ü Springer Inhaltsverzeichnis EINLEITUNG 1 1.1 Unternehmensmodellierung 1 1.2 Objektorientierung als solche 6 1.3
MehrWorkflows: Anforderungserhebung und analyse
Workflows: Anforderungserhebung und analyse Tutorium 4 9. März 2009 Svetlana Matiouk, Uni Bonn Ferientutorien zur Vorlesung Softwaretechnologie WS 2008 4. Treffen, Aktivitäten bei der Softwareentwicklung
MehrInformationsmanagement in Organisationen Überblick
Informationsmanagement in Organisationen Überblick Wolfgang H. Janko Andreas Geyer-Schulz Stefan Koch Edward Bernroider Abteilung für Informationswirtschaft Institut für Informationsverarbeitung und Informationswirtschaft
MehrMethoden zur Visualisierung von ereignisdiskreten Analysedaten
Fakultät Informatik, Institut für Angewandte Informatik, Professur Technische Informationssysteme Methoden zur Visualisierung von ereignisdiskreten Analysedaten Referent: Hendrik Freund Betreuer: Vladimir
MehrModellieren mit der Unified Modeling Language: Klassen- und Objektdiagramme. 11. November 2014
Modellieren mit der Unified Modeling Language: Klassen- und Objektdiagramme 11. November 2014 Überblick Was ist die Unified Modeling Language (UML)? die Standardmodellierungssprache für Softwaresysteme
MehrSoftware Engineering I
Vorlesung Software Engineering I Dynamische Basiskonzepte 2 Kontrollstrukturen Aktivitätsdiagramme Sequenzdiagramme 1 Basiskonzepte Beschreiben die feste Struktur des Systems, die sich während der Laufzeit
MehrDie Inhalte der Vorlesung wurden primär auf Basis der Vorlesung Software Engineering von Prof. Dr. Faustmann (FHW Berlin Fachbereich II) erstellt.
Software Engineering Dokumentation von Softwarearchitekturen Die Inhalte der Vorlesung wurden primär auf Basis der Vorlesung Software Engineering von Prof. Dr. Faustmann (FHW Berlin Fachbereich II) erstellt.
MehrABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker
ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird modellbasiert mit Simulink/TargetLink entwickelt & DO331/DO-178C ermöglicht modellbasierte
MehrRequirements Management mit RequisitePro. Rational in der IBM Software Group. Der Rational Unified Process als Basis für die Projektarbeit
IBM Software Group IBM Rational mit RequisitePro Hubert Biskup hubert.biskup@de.ibm.com Agenda Rational in der IBM Software Group Der Rational Unified Process als Basis für die Projektarbeit mit Rational
MehrObligatorische Literatur. Überblick Teil III: Objektorientierte Analyse (OOA) 35.1 Anwendungsfalldiagramme
35 Szenarienanalyse mit Anwendungsfalldiagrammen (Querschneidende dyn. Modellierung) Obligatorische Literatur Zuser, Kap. 7-9, insbes. 7.3+7.5 Störrle Kap 9, Kap 12 Prof. Dr. rer. nat. Uwe Aßmann Institut
MehrStrategien zur Testfallgenerierung aus SysML Modellen
Strategien zur Testfallgenerierung aus SysML Modellen Sebastian Schlecht Technische Universiät Darmstadt Fachgebiet Echtzeitsysteme Merckstrasse 25 D-64283 Darmstadt schlecht@es.tu-darmstadt.de OliverAlt
MehrVorlesung "Software-Engineering"
Vorlesung "Software-Engineering" Rainer Marrone, TUHH, Arbeitsbereich STS Vorige Vorlesung Pflichtenheft (requirements specification document) Charakterisierung von Software-Qualität Detaillierte Anforderungsanalyse
MehrÜbersetzung von UML-Software-Spezifikationen in Simulationsmodelle
Übersetzung von UML-Software-Spezifikationen in Simulationsmodelle Stefan Walter swalter@dspace.de Lehrstuhl für Informationstechnik, insb. Realzeitsysteme FernUniversität in Hagen Fachtagung Echtzeit
MehrVorwort... 11. 1 Einführung... 13
Inhalt Vorwort... 11 TEIL I Strukturdiagramme 1 Einführung... 13 1.1 Weshalb muss Software modelliert werden?... 13 1.2 Was ist die UML?... 15 1.3 Die Geschichte der UML... 16 1.4 Von der UML 1.x zur UML
Mehr6. Modellierung von Informationssystemen. 6.1 Einleitung 6.2 Konzeptuelles Modell 6.3 OASIS Spezifikation 6.4 Execution Model 6.
6. Modellierung von Informationssystemen Spezialseminar Matr. FS 2000 1/10 Volker Dobrowolny FIN- ITI Quellen: Oscar Pastor, Jaime Gomez, Emilio Insfran, Vicente Pelechano The OO-Method approach for information
MehrSoftware Engineering in der Praxis Praktische Übungen
Software Engineering in der Praxis Praktische Übungen Pinte, Spisländer FAU Erlangen-Nürnberg Objektorientierte Analyse 1 / 14 1 Inhalt 2 Überblick 3 Werkzeuge 4 Aufgaben Pinte, Spisländer FAU Erlangen-Nürnberg
MehrJava Enterprise Anwendungen und UML 2.0 - ein starkes Team?
TU Wien Business Informatics Group Institut für Softwaretechnik und Interaktive Systeme Java Enterprise Anwendungen und UML 2.0 - ein starkes Team? Diplomarbeit zur Erlangung des akademischen Grades eines
MehrUnified Modeling Language (UML) Eine Einführung
Unified Modeling Language (UML) Eine Einführung Christian Kanhäuser Matrikelnummer: 9625088 c.kanhaeuser@gmx.at Seminararbeit zum Thema Systemarchitektur am Institut für Technische Informatik, Technische
MehrObjektorientierte Spezifikation mit UML
Objektorientierte Spezifikation mit UML Was ist objektorientierte Spezifikation? Modellierung der funktionalen Anforderungen Klassenmodell Szenarien/Anwendungsfallmodell Glossar Keine speziellen Verfahren/Darstellungsmittel
MehrModellgetriebene Entwicklung von grafischen Benutzerschnittstellen
Modellgetriebene Entwicklung von grafischen Benutzerschnittstellen Stefan Link, Thomas Schuster, Philip Hoyer, Sebastian Abeck Institut für Telematik, Fakultät für Informatik Universität Karlsruhe (TH)
MehrSOFTWARETECHNIK. Kapitel 2 Modellierungskonzepte
SOFTWARETECHNIK Kapitel 2 Modellierungskonzepte Vorlesung im Wintersemester 2012/13 FG System- und Software-Engineering Prof. Dr.-Ing. Armin Zimmermann Inhalt Einführung Klassische Modelle Objektorientierung
MehrThema Nr. 2a. Referat im Rahmen des Seminars Objektorientierte Softwareentwicklung mit UML im Sommersemester 2000. eingereicht bei
Thema Nr. 2a Vergleich von UML mit traditionellen Modellierungssprachen Schwerpunkt: Ablauforientiert (Zustandsdiagramme, Aktivitätsdiagramme, Use Case vs. Petri-Netze, EPK`s) Referat im Rahmen des Seminars
MehrTelling TestStories Modellbasiertes Akzeptanz Testen Serviceorientierter Systeme
Telling TestStories Modellbasiertes Akzeptanz Testen Serviceorientierter Systeme Michael Felderer Workshop Requirements Engineering meets Testing Bad Honnef, 5. Juni 2008 1 Überblick Grundbegriffe Motivation
MehrYAKINDU Requirements. Requirements Engineering, Management and Traceability with Eclipse. Lars Martin, itemis AG. itemis AG
YAKINDU Requirements Requirements Engineering, Management and Traceability with Eclipse Lars Martin, itemis AG Agenda YAKINDU Requirements Motivation: Warum Requirements Engineering? Grundlagen: Requirements
MehrSoftwaretechnik. Fomuso Ekellem WS 2011/12
WS 2011/12 Weiteren Verlauf der Vorlesung 31.10.2011(2 Std) OO Vorgehensmodelle, UML, Teamarbeit, Gruppenbildung,. 07.11.2011(2,5Std) Projektvorstellung, Planungsphase 14.11.2011(2 Std) Angebotspräsentation,
MehrSemester: -- Workload: 300 h ECTS Punkte: 10
Modulbezeichnung: Modulnummer: BWIT IT Management Semester: -- Dauer: Minimaldauer 1 Semester Modultyp: Wahlpflicht Regulär angeboten im: WS, SS Workload: 300 h ECTS Punkte: 10 Zugangsvoraussetzungen:
MehrObjektorientierte Systementwicklung mit der Unified Modeling Language (UML) Vorgehensmodelle für die objektorientierte Systementwicklung
Objektorientierte Systementwicklung mit der Unified Modeling Language (UML) (Dr. Markus Nüttgens, Dipl.-Hdl. Michael Hoffmann, Dipl.-Inform. Thomas Feld, Institut für Wirtschaftsinformatik (IWi), Universität
MehrGeschäftsabläufe und Beziehungen zwischen. (Mitarbeitende / Geschäftsobjekte)
BusinessModel Geschäftsabläufe und Beziehungen zwischen Mitarbeitenden und Geschäftsobjekten: Arbeitsabläufe, Mitarbeitende, Hilfsmittel und Organisationsstruktur. Was läuft manuell, was IT-gestützt, wer
MehrKlausurvorbereitung Software Engineering I @ TFH Berlin
Teil 1 Einführung in Software Engineering Definition: Was ist Software Engineering? Unter Software Engineering (SE) versteht man den systematischen, disziplinierten und in seiner Größe abschätzbaren Ansatz,
MehrKlausurvorbereitung Software Engineering I @ TFH Berlin
Teil 1 Einführung in Software Engineering Definition: Was ist Software Engineering? Unter Software Engineering (SE) versteht man den systematischen, disziplinierten und in seiner Größe abschätzbaren Ansatz,
Mehr