Graphische Testfallmodellierung mit UML Expertenwissen in Bildern?
|
|
- Ernst Busch
- vor 6 Jahren
- Abrufe
Transkript
1 Graphische Testfallmodellierung mit UML Expertenwissen in Bildern? Dipl.-Ing. Volker Knollmann Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie
2 Motivation Verbesserungspotential bei Testfallbeschreibungen Beispiel: Betrieb des Eisenbahnsimulationslabors RailSiTe interne Tests: notwendig bei Updates / Laborvalidierung externe Tests: Überprüfung von Kundengeräten Beispiel: Tests für das European Train Control System (ETCS) Testsequenzbeschreibung als Worddatei veröffentlicht Geschwindigkeitsprofil als Bitmap verfügbar Beispiel: Simulation bahnbetrieblicher Szenarien Betriebsregeln nur in Prosa definiert Validierung neuer Eisenbahnleit- und -sicherungssysteme aufwändig Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 2
3 Gliederung des Vortrags Anforderungen / Komponenten von Testfallbeschreibungen Das UML 2 Testing Profile (U2TP) Anwendung des U2TP im Rahmen einer Fallstudie Ausblick auf weitere Arbeiten Fazit Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 3
4 Abgrenzung des Kontextes Hier nur Betrachtung von Black-Box-Tests Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 4
5 Anforderungen an Testfallbeschreibungen Editierbar, automatisierbar, archivierbar, rückverfolgbar Verwendung von UML (Unified Modeling Language) Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 5
6 Komponenten einer Testbeschreibung Struktur, Verhalten, Daten und zeitliche Bedingungen Statische Anteile (Struktur): Aufbau und Konfiguration der Testumgebung Verwendete Schnittstellen Dynamische Anteile (Verhalten): Testschritte Sollergebnisse, Reaktion bei Abweichung vom Sollverhalten Ableitung der Testbewertung (bestanden / nicht bestanden) Daten und zeitliche Randbedingungen: Stimuli, Telegramme, Datenpakete Timer, Timeouts Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 6
7 Das UML 2 Testing Profile (U2TP) OMG -Standard seit Juli 2005 Definiert Symbole, Stereotypen und Tags für Testfallbeschr. Baut auf UML 2 auf Schafft semantische Eindeutigkeit der Beschreibung Deckt die vorgenannten Modellaspekte ab Anwendbar auf allen Testebenen (z. B. Modultest, Systemtest, ) Werkzeug- und plattformneutral Nicht domänenspezifisch Object Management Group Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 7
8 Komponenten des Moduls Test Architecture Testaufbau als Klassen- und Strukturdiagramm Prüfling ( System under Test, SUT) Testkomponenten: Sind Teil der Testumgebung Interagieren mit dem SUT (Stimuli / Reaktionen) Arbiter: Empfängt und bewertet Rückmeldungen der Testkomponenten Fällt Gesamturteil über Testergebnis Scheduler: Steuerung des zeitlichen Testablaufs Starten / Stoppen einzelner Testkomponenten Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 8
9 Zusammenspiel der Architektur-Komponenten Der Testkontext integriert Komponenten zum Testaufbau «SUT» System Under Test «Interface» General Arbiter «Interface» General Scheduler * sut «implement» «implement» «TestComponent» Test Component «TestComponent» Test Component n Specific Arbiter Specific Scheduler * component_ * component_n arbiter * scheduler «TestContext» Specific Test Context «TestCase» tc_ () «TestCase» tc_2 () «TestCase» tc_n () Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 9
10 Daten- und Steuersignalfluss in der Testumgebung Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 0
11 Beschreibung des Testverhaltens Nutzung von Sequenz-, Aktivitäts- und Zustandsdiagr. Nutzung der gängigen UML-Verhaltensdiagramme Testablauf beispielsweise als Sequenzdiagramm Einführung sogenannter defaults : Definieren Reaktion bei Abweichung vom Sollverhalten Entspricht dem Aufruf einer Fehlerbehandlungsroutine Fehlerbehandlung wird separat modelliert ( Übersichtlichkeit!) Mögliche Reaktionen: Wiederholung, Ignorieren, Abbruch Verhaltensdefinition von Scheduler und Arbiter Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie
12 Beispiel einer einfachen Arbiter-Implementierung Hier: fällt eine Worst-Case-Entscheidung / setverdict[v == fail]/ Overall result is "pass" setverdict[v == inconc]/ setverdict[v == error]/ Overall result is "fail" Overall result is "inconclusive" setverdict[v == error]/ Overall result is "error" setverdict[v == error]/ setverdict[v == fail]/ Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 2
13 Beispiel einer Testablaufbeschreibung Austausch synchroner und asynchroner Nachrichten «TestComponent» :Test Component «TestComponent» :Test Component n «SUT» :System Under Test Stimulus Stimulus : <Return Value> Message default HandleResponse Message 2 «validationaction» pass «validationaction» pass Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 3
14 Gegenstand der Fallstudie System zur Erzeugung von Transpondersignalen Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 4
15 Gegenstand der Fallstudie Eigenschaften des untersuchten RS232-Protokolls Transportierte Inhalte: Die per Transpondersignal zu übertragenden Daten Zeitprofil für die Datenübertragung Steuerkommandos (Reset, Statusabfragen, etc) Protokoll: Paketorientiertes Protokoll Zweischichtig: Link-Layer- und Applikationsebene Aufgaben des Link-Layers: Verwaltung von Sequenznummern Vollständigkeitsprüfung der Pakete (Längeninformation) Prüfsummenkontrolle Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 5
16 Vorgehen im Rahmen der Fallstudie Testfallableitung, Testdatenerzeugung, Modellierung Methodische Ableitung von Testfällen mit Klassifikationsbäumen Erzeugung zugehöriger Datenpakete (Testdaten) Modellierung der sog. Datenpools und der Testumgebung in UML (Prüflingsmodell lag bereits in UML vor) Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 6
17 Testfallableitung mit Klassifikationsbäumen Basiert auf Partitionierung des Zustandsraumes Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 7
18 Anordnen der Testdaten in einem Datenpool Insgesamt wurden 4 Testfälle erzeugt Smallest Valid Frame haslengthfield hasseqnumber haschksum payloadsize = 0x00 Invalid Checksum haslengthfield hasseqnumber haschksum payloadsize = 0x02 Oversized Length Indicator haslengthfield hasseqnumber haschksum payloadsize = 0x02 data = [ ] data = [ A FF... «DataPool» Link Layer Test Frames data = [ FF FF Undersized Length Indicator haslengthfield hasseqnumber haschksum payloadsize = 0x02 data = [ Single Byte payloadsize = 0x00 data = [00] Missing Checksum haslengthfield hasseqnumber payloadsize = 0x02 data = [ FF FF] Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 8
19 Integration aller Komponenten zum Testkontext Hier nur oberste Ebene dargestellt; Details sind hinterlegt Link Layer Test «TestContext» LinkLayer Context «TestCase» shortestvalidframe () : Verdict «TestCase» invalidchecksum () : Verdict «TestCase» missingchecksum () : Verdict «TestCase» oversizedlengthindicator () : Verdict «TestCase» undersizedlengthindicator () : Verdict «TestCase» singlebyte () : Verdict sut pc «SUT» Balise Simulation System «TestComponent» Stimulation PC Data Pools «import» «DataPool» Link Layer Test Frames Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 9
20 Beispiel einer Testsequenz Wiederverwendung anderer Sequenzen ist möglich «TestComponent» Instance /pc:stimulation PC ref ref short telegram storage long telegram storage «SUT» Instance /sut:balise Simulation System DefAndRunSeq «validationaction» pass Acknowledge( TRANSMISSION OK, 0x0000 ) Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 20
21 Ergebnisse und Bewertung der Fallstudie Die Vorteile überwiegen Vorteile: Modularer Aufbau, Wiederverwendung von Komponenten Übersichtliche, formale Darstellung; gute Editier- und Wartbarkeit Erfassung des Testaufbaus (wird häufig vergessen) Nahtlose Integration mit Systemmodell möglich Nachteile: Einarbeitung in UML und U2TP erforderlich Viele Diagramme, daher saubere Strukturierung notwendig Für komfortables Arbeiten ist gutes UML-Tool unerlässlich Initial höherer Aufwand als bei traditionellen Methoden Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 2
22 Ausblick: Übergang zur Testautomatisierung Verschiedene Ansätze sind denkbar Konvertierung UML XMI Testskript: Übersetzung in ein ausführbares Skript (z. B. Python oder Ruby) Ausführen des Skriptes in der Testumgebung Direktes Ausführen von XMI in der Testumgebung: Erstellung eines entsprechenden XMI-Interpreters Positiv: Erstellung eines ausführbaren Skriptes entfällt Konvertierung in alternative Datenformate: Nutzung von XSLT 2 zur Konvertierung in andere XML 3 -Formate Alternativ: Übergang auf TTCN-3 4 Mapping U2TP TTCN-3 existiert bereits XML Metadata Interchange; 2 extensible Stylesheet Language Transformation; 3 extensible Markup Language; 4 Testing and Test Control Notation, Version 3 Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 22
23 Fazit Expertenwissen in Bildern? U2TP-Darstellung von Testfällen ist übersichtlich, einheitlich, formal Nur für Black-Box-Tests vorgesehen Geeignete Grundlage für Testautomatisierung Aufbau von Bibliotheken möglich Konservierung, nicht Ersatz des Expertenwissens durch Bilder Entlastung des Testern von Routineaufgaben Kein Ersatz für die Kreativität des Testers Graphische Testfallmodellierung mit UML > 25. Oktober 2006 > Folie 23
Graphische Testfallbeschreibung mit UML Expertenwissen in Bildern?
Graphische Testfallbeschreibung mit UML Expertenwissen in Bildern? Dipl.-Ing. Volker Knollmann, Prof. Dr.-Ing. Karsten Lemmer, Institut für Verkehrsführung und Fahrzeugsteuerung (IFS), Deutsches Zentrum
MehrER-Modelle zur klaren Begrifflichkeit bei der Testentwicklung
ER-Modelle zur klaren Begrifflichkeit bei der Testentwicklung Dr. Matthias Hamburg, German Testing Board e.v. Dr. Baris Güldali, s-lab - Universität Paderborn Paderborn, 15. Oktober 2015 GI-TAV Konferenz
MehrU2TP UML Testing Profile Specification
U2TP UML Testing Profile Specification UML Unified Modeling Language UML- Unified Modelling Language der OMG- Object Management Group Familie graphischer Modellierungssprachen für komplexe, objektorientierte
MehrUnified Modeling Language 2
Unified Modeling Language 2 Marvin Frommhold 17.11.2008 Gliederung Einleitung Geschichte Strukturierung der Spezifikation Diagrammtypen Strukturdiagramme Verhaltensdiagramme CASE-Werkzeuge Quellen Was
MehrUML 2.0 als Architekturbeschreibungssprache? Seminar: Architekturbeschreibungssprachen Manuel Wickert
UML 2.0 als Architekturbeschreibungssprache? Seminar: Architekturbeschreibungssprachen Manuel Wickert Motivation UML 2.0 nicht als ADL im Sinne von Taylor/Medvidovic entworfen. Warum UML als ADL? weit
MehrUML (Unified Modelling Language) von Christian Bartl
UML (Unified Modelling Language) von Inhaltsverzeichnis Inhaltsverzeichnis... 2 1 UML Unified Modelling Language... 3 2 Diagrammtypen... 3 2.1 Aktivitätsdiagramm... 3 2.1.1 Notation... 4 2.1.2 Beispieldiagramm...
MehrVorlesung Programmieren
Vorlesung Programmieren Unified Modeling Language (UML) Dr. Dennis Pfisterer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/pfisterer Unified Modeling Language (UML)
MehrModel Driven Architecture (MDA)
Model Driven Architecture (MDA) Vortrag im Fach Software Engineering II BA Mannheim / Fachrichtung Angewandte Informatik Torsten Hopp Gliederung Einleitung Motivation Grundzüge der MDA Ziele & Potenziale
MehrComelio GmbH - Goethestr Berlin. Kurskatalog
Comelio GmbH - Goethestr. 34-13086 Berlin Kurskatalog 2 Inhaltsverzeichnis a. Standorte...3 1. BPMN...4 i. Business Process Model and Notation mit Altova UModel...4 ii. Business Process Model and Notation
MehrWerkzeugunabhängigkeit bei der Modellierung Schwierigkeiten und mögliche Lösungsansätze
Werkzeugunabhängigkeit bei der Modellierung Schwierigkeiten und mögliche Lösungsansätze Oliver Hofrichter (hofrichter@tzi.de) Lars Hamann (lhamann@tzi.de) Überblick Motivation Kontext Warum Werkzeugunabhängigkeit
MehrMulti-Tool Testlandschaft mit DDS
Multi-Tool Testlandschaft mit DDS MATLAB UND SIMULINK ALS ENABLER FÜR RAPID TOOL PROTOTYPING SEBASTIAN BEWERSDORFF ASSYSTEM GERMANY MATLAB EXPO 2017 MÜNCHEN 27.06.2017 EINFÜHRUNG Tools in Unternehmensprozessen
MehrAGEDIS Methode und Werkzeuge. 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit
AGEDIS Methode und Werkzeuge Gliederung: 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit A G E D I S Automated Generation and Execution of test suites for DIstributed component
MehrEINFÜ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
MehrOracle JDeveloper 10 g
Oracle JDeveloper 10 g Modellierung Evgenia Rosa Business Unit Application Server ORACLE Deutschland GmbH Agenda Warum Modellierung? UML Modellierung Anwendungsfall (Use Case)-Modellierung Aktivitätenmodellierung
MehrNACHRICHTENTECHNISCHER SYSTEME
Einführung UML COMPUTERSIMULATION NACHRICHTENTECHNISCHER SYSTEME 11. Unified Modeling Language UML 220 Standardsprache d zur Visualisierung, i Spezifikation, Konstruktion und Dokumentation komplexer (Software-)
MehrJason T. Roff UML. IT Tutorial. Übersetzung aus dem Amerikanischen von Reinhard Engel
Jason T. Roff UML IT Tutorial Übersetzung aus dem Amerikanischen von Reinhard Engel Inhaltsverzeichnis Inhaltsverzeichnis Einführung 11 Grundlagen der UML 15 Warum wir Software modellieren 16 Analyse,
MehrVortrag von: Ilias Agorakis & Robert Roginer
MDA Model Driven Architecture Vortrag von: Ilias Agorakis & Robert Roginer Anwendungen der SWT - WS 08/09 Inhalt Was ist MDA? Object Management Group (OMG) Ziele Konzepte der MDA Werkzeuge Vor- und Nachteile
MehrRapide An Event-Based Architecture Definition Language
Rapide An Event-Based Architecture Definition Language Ralf Bettentrup Seminar: Architekturbeschreibungssprachen Wozu Rapide? Computer mit Modem Provider Broker Client Broker PC Prov 1 Client 1 RS-232
MehrRequirements Engineering I
Martin Glinz Requirements Engineering I Kapitel 9 UML Unified Modeling Language Universität Zürich Institut für Informatik 2006, 2008 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe sind
MehrDie Unified Modeling Language UML
Informatik II: Modellierung Prof. Dr. Martin Glinz Kapitel 4 Die Unified Modeling Language UML Universität Zürich Institut für Informatik Inhalt 4.1 Hintergrund 4.2 Grundkonzepte der UML 4.3 Die Rolle
MehrNotationen zur Prozessmodellierung
Notationen zur Prozessmodellierung August 2014 Inhalt (erweiterte) ereignisgesteuerte Prozesskette (eepk) 3 Wertschöpfungskettendiagramm (WKD) 5 Business Process Model and Notation (BPMN) 7 Unified Modeling
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)
MehrTestautomatisierung für das Internet der Dinge
Testautomatisierung für das Internet der Dinge Workshop Sichere Plattformarchitekturen im Programm Smart Service Welt Berlin, 15.02.2017 IoT Testobjekte, -ziele und konfigurationen Agenda Testware Werkzeugkasten
MehrTesten mit Use Cases. Chris Rupp Dr. Stefan Queins
Testen mit Use Cases Chris Rupp Dr. Stefan Queins Das Problem Requirements- Engineering Was kann passieren? Was ist das gewünschte Verhalten? Was soll ich testen? Welche Eingaben benötigt mein Testpfad?
MehrTesten von SOA-Anwendungen mit dem BPEL Testframework
Testen von SOA-Anwendungen mit dem BPEL Testframework Stefan Kühnlein IBM Deutschland Enterprise Application Solution GmbH Hollerithstr. 1 81829 München 0160/8848611 Stefan.Kuehnlein@de.ibm.com IBM Deutschland
MehrINSPIRE - Modellierung
INSPIRE - Modellierung Inhalt Motivation Modellierung UML Diagramme INSPIRE-Schulung LKROS 2 Motivation Was ist ein Modell, und warum wollen wir modellieren? Warum brauchen wir eine Modellierungssprache
Mehrmodellzentrierter Test
modellzentrierter Test Systematisierung und Effizienzsteigerung durch den Einsatz von Modellen E. Herzog, G. Klebes, F. Prester sepp.med GmbH MDSD Today 2008, Über uns Metamethoden für innovative Software-
MehrSL PROVISOR Automation in der Qualitätssicherung sinnvoll erhöhen
SL PROVISOR Automation in der Qualitätssicherung sinnvoll erhöhen Christian Langmann langmann@softwareloft.de Stefan Kohrs kohrs@softwareloft.de Oktober 2013 SoftwareLoft IT-Solutions GmbH gegründet 2004
MehrUnified Modelling Language
Unified Modelling Language SEP 72 Software-Entwicklung Software-Entwicklung ist Prozess von Anforderung über Modellierungen zu fertigen Programmen Anforderungen oft informell gegeben fertige Programme
MehrTechniken der Projektentwicklungen
Dynamische Modellierung 8. Termin Rückblick auf statische Modellierung Dynamische Modellierung Basiskonzepte Beispiel Erweiterungen Eigenschaften Syntax Rückblick auf statische Modellierung Dynamische
MehrMDRE die nächste Generation des Requirements Engineerings
MDRE die nächste Generation des Requirements Engineerings Tom Krauß, GEBIT Solutions GmbH Copyright 2007 GEBIT Solutions Agenda Requirements Engineering heute eine Bestandsaufnahme Modell-Driven Requirements
MehrErstellen von PDF-Dokumenten für Business-Anwendungen mit XSL-FO
Erstellen von PDF-Dokumenten für Business-Anwendungen mit XSL-FO Ich über mich Rudi Gast (rgast@ghs-software.de) seit 2000 angestellt bei der GHS Tätigkeiten: Projektleitung Softwareentwicklung F&E ca.
MehrValidierung von System- Architekturen
Validierung von System- Architekturen Westsächsische Hochschule Zwickau, Fachgruppe Informatik André Pflüger, Christian Poßögel Motivation Schwierigkeit: Entwicklung schreitet stetig voran Ergebnisse sind
MehrRequirements Engineering I
Martin Glinz Requirements Engineering I Kapitel 9 UML Unified Modeling Language Universität Zürich Institut für Informatik 2006, 2009 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe für
MehrProgrammiertechnik II
Modultests Ziele Überprüfung der Korrektheit eines Moduls Korrektheit: Übereinstimmung mit (informaler) Spezifikation Modul: kleine testbare Einheit (Funktion, Klasse) Engl.: unit test White box testing
MehrModell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen
Modell zur Einflussanalyse Ein Modell zur Einflussanalyse von Methodenänderungen in Entwicklungsprozessen Roland Koppe, Stefan Häusler, Axel Hahn 2 Übersicht Einleitung und Motivation Ansatz und Methodik
MehrModel Driven Development im Überblick
Model Driven Development im Überblick Arif Chughtai Diplom-Informatiker (FH) www.digicomp-academy, Seite 1 September 05 Inhalt Motivation Überblick MDA Kleines Beispiel Werkzeuge www.digicomp-academy,
MehrWebbasiert und kollaborativ: ein Requirements Editor auf Basis von ReqIF
Webbasiert und kollaborativ: ein Requirements Editor auf Basis von Dennis van der Vlugt itemis AG Prof. Dr. Erik Kamsties FH Dortmund Axel Terfloth itemis AG itemis AG Gründung 2013 mit Schwerpunkt Modell-getriebener
Mehr1.4! Einführung. Systemmodellierung. Methoden und Werkzeuge
Einführung. Vorbemerkungen und Überblick. Die elektronischen e des Fahrzeugs. Prozesse in der Fahrzeugentwicklung im Überblick,.4 Grundlagen. Steuerungs- und regelungstechnische e (Prof. Schumacher). Diskrete
MehrUML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language
UML-Basics: Einführung in Objekt- Orientierte Modellierung mit der Unified Modeling Language ADV-Seminar Leiter: Ziel dieses Seminars Verständnis von Objekt-Orientierung Was sind Klassen? Was ist Vererbung?
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,
Mehr1 Copyright 2011, Oracle and/or its affiliates. All rights reserved.
1 Copyright 2011, Oracle and/or its affiliates. All rights reserved. Entwicklung von Services mit Oracle SOA Suite oder JEE Markus Lohn SOA/Integration Architect 2 Copyright 2011, Oracle and/or its affiliates.
MehrRegelbasierte Entwicklung betrieblicher Informationssysteme
Reihe: Wirtschaftsinformatik Band 45 Herausgegeben von Prof. (em.) Dr. Dietrich Seibt, Köln, Prof. Dr. Hans-Georg Kemper, Stuttgart, Prof. Dr. Georg Herzwurm, Stuttgart, Prof. Dr. Dirk Stelzer, Ilmenau,
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
MehrTesten mit dem UML Testing Profile
der autor Marc-Florian Wendland (E-Mail: marc-florian.wendland@fokus.fraunhofer.de) arbeitet seit 2008 im Kompetenzzentrum MOTION des Fraunhofer Institut FOKUS in Berlin. Seine aktuellen Forschungsschwerpunkte
MehrTemplatebasierter CDA-Generator mit ART-DECOR. Vortrag im Rahmen der HL7 Austria Jahrestagung 2017, Wien Dipl.-Inform. Med.
Templatebasierter CDA-Generator mit ART-DECOR Vortrag im Rahmen der HL7 Austria Jahrestagung 2017, Wien Dipl.-Inform. Med. Markus Birkle Praktische Herausforderungen bei der CDA Implementierung Implementierungsaufwand
MehrP23R4FLEX Das P23R-Prinzip in der Umweltdatenberichterstattung. Ulrike Schüler Forum Prozessketten, Mannheim, 16. Mai 2013
Das P23R-Prinzip in der Umweltdatenberichterstattung Ulrike Schüler Forum Prozessketten, Mannheim, 16. Mai 2013 1 Berichtsprozesse im Umweltbereich national, vielfach europäisch und international festgelegt
MehrUntersuchung der Sprachkonformität und Vollständigkeit von UML 2.0 Werkzeugen
Armin Bolz 5. März 2007 Institut für Programmiermethodik und Compilerbau Untersuchung der Sprachkonformität und Vollständigkeit von UML 2.0 Werkzeugen Seite 2 Motivation Teilweise eklatante Missachtung
MehrService Virtualisierung
Service Virtualisierung So bekommen Sie Ihre Testumgebung in den Griff! Thomas Bucsics ANECON Software Design und Beratung G.m.b.H. Alser Str. 4/Hof 1 A-1090 Wien Tel.: +43 1 409 58 90 www.anecon.com office@anecon.com
MehrInhaltsverzeichnis. a. Standorte BPMN...6. b. Impressum i. Business Process Model and Notation mit Altova UModel...
2 Inhaltsverzeichnis a. Standorte...3 1. BPMN...6 i. Business Process Model and Notation mit Altova UModel... 6 ii. Business Process Model and Notation mit Enterprise Architect... 8 iii. Notation und Konzepte...
MehrTest-Karussell. Automatisierte Qualitätssicherung im Round-Trip. Test-Karussell. Folie 1 08. November 2006
Automatisierte Qualitätssicherung im Round-Trip Folie 1 Test und Automatisierung Qualitätssicherung schafft (nur) Transparenz und ist aufwändig und teuer Testen kann die Qualität nicht verbessern 40-50%
Mehrtransportation SYMTES Testen mit System www.ics-ag.de
transportation SYMTES Testen mit System 1 Motivation Seit mehreren Jahrzehnten ist die ICS AG in Sachen Test in verschiedensten Projekten und bei zahlreichen Kunden unterwegs. Bei eingebetteten Anwendungen
MehrWorkflow Management: Workflow (1)
Workflow Management: Workflow (1) Abgrenzung: Geschäftsprozeß Vorgang (Aktivität) Arbeitsablauf (Workflow) Arbeitsschritt (Work Item) Otto-von-Guericke-Universität Magdeburg Fakultät für Informatik Institut
MehrAnalyse und Modellierung von Informationssystemen
Analyse und Modellierung von Informationssystemen Dr. Klaus Höppner Hochschule Darmstadt Sommersemester 2013 1 / 18 UML Einführung Klassendiagramme in der UML Relationen zwischen Klassen 2 / 18 UML: Grundsätzliches
MehrUML 2 glasklar Praxiswissen für die UML-Modellierung
Chris Rupp, Stefan Queins, Barbara Zengler UML 2 glasklar Praxiswissen für die UML-Modellierung ISBN-10: 3-446-41118-6 ISBN-13: 978-3-446-41118-0 Inhaltsverzeichnis Weitere Informationen oder Bestellungen
MehrFachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn. Testen. Tutorial im Rahmen des Software(technik)praktikums SS 2012
Testen Tutorial im Rahmen des Software(technik)praktikums SS 2012 Grundlagen (1) Software ist ein fundamentales Element in der Softwarequalitätssicherung Software wird am häufigsten eingesetzt Viele Organisationen
MehrDiplom Zwischenverteidigung
Diplom Zwischenverteidigung Entwicklung einer webbasierten Benutzerschnittstelle für des Netplan-Tool Bearbeiter: Betreuer: Verantwortlicher Hochschullehrer: Jens Kempe Dr.-Ing. Jörn Plönnigs Dipl.-Inf
MehrJochen Bauer 08.01.2010
08.01.2010 Um was geht s und wie läuft s ab? Eclipse-EMP-MDT: Standards unter einem Dach! Gliederung 1. der Model (MDT) 2. Model-Driven- (MDD) und MDT 3. Interne Domain-Specific-Languages (DSL) 4. 5. 6.,
MehrPoseidon for UML. Einführung. Andreas Blunk
Poseidon for UML Einführung Andreas Blunk Gliederung 1) Editionen/Lizenzen 2) Die Programmoberfläche 3) Modelle speichern 4) Einführung am lebenden Objekt 5) Generierung (Doc & Code) 6) Funktionsumfang
Mehr3. GI-Workshop EPK 2004 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten Luxemburg. ARIS meets RUP
3. GI-Workshop EPK 2004 Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten Luxemburg ARIS meets RUP Der ARIS Unified Information System Development Process Martin Plümicke Berufsakademie
MehrModellgetriebene Service-Entwicklung
Modellgetriebene Service-Entwicklung Service-orientierte Architekturen (SOA), Prof. Dr. M. Jäger Johannes Tietje 24. Juni 2010 1 / 13 Motivation konkrete Teile eines Dienstes Rahmenimplementierung der
MehrModel Driven Architecture Praxisbeispiel
1 EJOSA OpenUSS CampusSource Model Driven Architecture Praxisbeispiel 2 Situation von CampusSource-Plattformen Ähnliche Funktionen (Verwaltung von Studenten und Dozenten, Diskussionsforen,...), jedoch
MehrService Plattform Extrapol
Service Plattform Extrapol Rico.Apitz@init.de 14. Microsoft Polizeikongress Köln, 29. September 2009 1. Vorstellung Extrapol 2. PolizeiGenerator 3. PolizeiRepository 4. PolizeiGateway 5. Extrapol im Zentrum
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
MehrKonzeptionelle Modellierung von XML-Dokumenttypen
Konzeptionelle Modellierung von XML-Dokumenttypen Rainer Eckstein Institut für Informatik LFE DBIS Humboldt-Universität zu Berlin Rainer Eckstein 1 Konzeptionelle Modellierung von XML: XML (extensible
MehrTestframework für Eckelmann SFT
Testframework für Eckelmann SFT Prof. Dr. R. Kröger Kai Beckmann Marcus Thoss {Vorn.Nachn}@hs-rm.de Laborgespräch an der Hochschule RheinMain Wiesbaden, 16.10.2014 Labor für Verteilte Systeme http://wwwvs.cs.hs-rm.de
MehrStruktur der UML-Spezifikationen
Struktur der UML-Spezifikationen Udo Kelter 28.06.2016 Zusammenfassung dieses Lehrmoduls Dieses Lehrmodul liefert eine Einführung die Struktur der Version 2.5 der UML-Spezifikationen, in dem die Modellelemente
MehrBPMN. Suzana Milovanovic
BPMN Suzana Milovanovic 2 Übersicht Klärung von Begriffen, Abkürzungen Was ist BPMN? Business Process Diagram (BPD) Beispielprozess Entwicklung von BPMN BPMN in der Literatur 3 Grundlegende Begriffe Business
MehrModellbasiertes manuelles Testen: Techniken und Tücken
Modellbasiertes manuelles Testen: Techniken und Tücken 23.02.2015 Objektforum Dr. Andrea Herrmann Freiberufliche Trainerin für Software Engineering herrmann@herrmann-ehrlich.de Dr. Privat-Doz. Andrea Herrmann
Mehr4. Mentorium. UML-Modellierung (Lösungshinweise)
Wirtschaftsinformatik (PWIN) 4. Mentorium Objektorientierung & UML-Modellierung (Lösungshinweise) Wirtschaftsinformatik 2 (PWIN), SS 2009, Professur für Mobile Business & Multilateral Security 1 Objektorientierung
MehrCARL HANSER VERLAG. Mario Jeckle, Chris Rupp, Jürgen Hahn, Barbara Zengler, Stefan Queins. UML 2 glasklar
CARL HANSER VERLAG Mario Jeckle, Chris Rupp, Jürgen Hahn, Barbara Zengler, Stefan Queins UML 2 glasklar 3-446-22575-7 www.hanser.de Einleitung... 1 Liebe Leserin, lieber Leser... 1 Ihre Meinung ist uns
MehrSteigerung der Testeffizienz Von modellgetriebener Entwicklung zum modellgetriebenen Testen
Dr. Marc Lettrari (E-Mail: marc.lettrari@btc-es.de) ist Bereichsleiter Rhapsody & Statemate Testing Products bei der BTC Embedded Systems AG und leitet die Entwicklung und Pflege insbesondere der IBM Rational
MehrSpezifikation von Fachkomponenten mit UML 2.0
Spezifikation von Fachkomponenten mit UML 2.0 Jörg Ackermann Universität Augsburg Jörg Ackermann: Spezifikation von Fachkomponenten mit UML 2.0. WMSFK4 2003 / 1 Einleitung UML 2.0 bietet deutlich bessere
MehrAusführbare UML Modelle multimodaler Interaktionsanwendungen Marcel Dausend 1, Mark Poguntke 2 1
Quelle: http://geekandpoke.typepad.com Modellbasierte Entwicklung Komplexität von Software User Interface Entwicklung Ausführbare UML Modelle multimodaler Interaktionsanwendungen Marcel Dausend 1, Mark
MehrEntwicklungssysteme für Lernumgebungen am Beispiel des Essener-Lern-Modells
für Lernumgebungen am Beispiel des Essener-Lern-Modells Dipl.-Wirt.Inform. Jan M. Pawlowski Prof. Dr. Heimo H. Adelsberger Universität Essen Wirtschaftsinformatik der Produktionsunternehmen 31.10.2001
MehrSoftwaretest von verteilten Echtzeitsystemen im Automobil anhand von Kundenspezifikationen
Softwaretest von verteilten Echtzeitsystemen im Automobil anhand von Kundenspezifikationen S. Jovalekic 1), G. Martinek 1), Th. Okrusch 2) 1), 73458 Albstadt 2) Robert Bosch GmbH, Abstatt Gliederung Einleitung
MehrAnwendung der IEC 61850
FNN-Hinweis Anwendung der IEC 61850 Erstellung von Basic Application Profiles (BAP) Impressum Forum Netztechnik / Netzbetrieb im VDE (FNN) Bismarckstraße 33, 10625 Berlin Telefon: + 49 (0) 30 3838687 0
MehrX-Planung im. Amt Kleine Elster (Niederlausitz) Massen im Landkreis Elbe-Elster
X-Planung im Amt Kleine Elster (Niederlausitz) Massen im Landkreis Elbe-Elster Amt Kleine Elster Niederlausitz im Süden des Landes Brandenburg im Landkreis Elbe - Elster Amtsdirektor: Gottfried Richter
MehrDipl.-Inform. Lars Ebrecht
Konsistente Verknüpfung von Aktivitäts-, Sequenzund Zustandsdiagrammen Darstellungsunabhängige und formale Semantik zur Verhaltensbeschreibung von Echtzeit-Systemen Dipl.-Inform. Lars Ebrecht Mobilität
MehrJava Einführung Objektorientierte Grundkonzepte
Java Einführung Objektorientierte Grundkonzepte Inhalt Verständnis der grundlegenden Konzepte der Objektorientierung: Objekte Nachrichten Kapselung Klassen und Instanzen Vererbung Polymorphismus Darstellung
MehrZusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung
Zusicherungen und Laufzeit Überwachungen in der modellbasierten Software Entwicklung Methoden Design Integration STZ Softwaretechnik Andreas Rau STZ Softwaretechnik Im Gaugenmaier 20 73730 Esslingen Email:
MehrTest-Strategien CANopen
Insert picture and click Align Title Graphic. Test-Strategien CANopen Interaktiv Automatisiert? CANopen Techdays 26./28.01.09, München/Hamburg 2009. Vector Informatik GmbH. All rights reserved. Any distribution
MehrPragmatische Modellierung von Testfällen für Software im Automobil 1
Pragmatische Modellierung von Testfällen für Software im Automobil 1 Zoltán Ádám Mann sd&m AG Carl-Wery-Str. 42 D-81739 München zoltan.mann@sdm.de Abstract: Der Artikel berichtet von der Entwicklung und
Mehrdoit Software-Forschungstag 2006 Standardisierte Auszeichnungssprachen der Computergraphik für interaktive Systeme Martin Rotard
doit Software-Forschungstag 2006 Standardisierte Auszeichnungssprachen der Computergraphik für interaktive Systeme Martin Rotard Institut für Visualisierung und Interaktive Systeme Universität Stuttgart
MehrArchitektur in der Mechatronik. existierender Testwerkzeuge
Universelle Testsystem Architektur in der Mechatronik Ansatz zur Systematisierung Ansatz zur Systematisierung existierender Testwerkzeuge Gliederung Umfeld und Problemstellung Testsystem Architektur Funktionale
MehrIUG DRESDEN ERSTELLUNG VON ROBUSTEN NATURAL SERVICES Software AG. All rights reserved. For internal use only
IUG DRESDEN ERSTELLUNG VON ROBUSTEN NATURAL SERVICES 2016 Software AG. All rights reserved. For internal use only DIGITAL BUSINESS APPLICATIONS DRIVE THE DIGITAL BUSINESS Partner Lieferanten Kunden SaaS
MehrEclipse Modeling Framework
1 / 14 Eclipse Modeling Framework Stefan Berlik Fachgruppe Praktische Informatik FB 12, Elektrotechnik und Informatik Universität Siegen 14. November 2007 Was ist das Eclipse Modeling Framework (EMF)?
Mehrehealth Composite Plattform (ehc) FormsFramework Eine Schlüsseltechnologie zur Umsetzung semantischer Interoperabilität
ehealth Composite Plattform (ehc) FormsFramework Eine Schlüsseltechnologie zur Umsetzung semantischer Interoperabilität Dipl.-Inform. Med. Markus Birkle TELEMED 2015 Berlin HL7 Clinical Document Architecture
MehrGroße Simulink-Modelle mit Bus Objects effizienter gestalten
Große Simulink-Modelle mit Bus Objects effizienter gestalten Sebastian Bewersdorff Product Manager, TESIS DYNAware GmbH, München Matlab Expo 2015, 12.05.2015 TESIS DYNAware GmbH, www.tesis-dynaware.com
MehrGegenüberstellung und Anwendung verschiedener Testverfahren zur Sicherstellung der Interoperabilität von Netzelementen in Next Generation Networks
ITG-Fachtagung Mobilkommunikation 2009 Gegenüberstellung und Anwendung verschiedener Testverfahren zur Sicherstellung der Interoperabilität von Netzelementen in Next Generation Networks Matthias Bormann
MehrModell-basierte Entwicklung mit der Timing Definition Language (TDL)
Modell-basierte Entwicklung mit der Timing Definition Language (TDL) Prof. Dr. Wolfgang Pree Univ. Salzburg Inhalt Motivation für einen Paradigmenwechsel bisher: zuerst Plattform, dann Software => Software
MehrGraphische Modellanalyse am Beispiel von Geschäftsprozessmodellen unter Verwendung der Graph Markup Language (GraphML)
HOCHSCHULE HEILBRONN Hochschule für Technik Wirtschaft Informatik Studiengang Electronic Business (EB) Diplomarbeit (280000) Graphische Modellanalyse am Beispiel von Geschäftsprozessmodellen unter Verwendung
MehrBessere Service-Modellierung durch Kombination von BPMN und SoaML. Nürnberg, 24. Februar 2011
Bessere Service-Modellierung durch Kombination von BPMN und SoaML Nürnberg, 24. Februar 2011 Vorstellung Maria Deeg Project Manager, Leiterin der MID Akademie m.deeg@mid.de Studium Lehramt Gymnasium Mathematik
MehrSpezifikationsbasierter Softwaretest
Spezifikationsbasierter Softwaretest Seminartermin I (10.06.2006) Prof. Dr. H. Schlingloff Humboldt Universität, Fraunhofer FIRST Dr. M. Conrad The MathWorks GmbH Zeitplanung Vortragsdauer 30 Minuten (genau
MehrUML. Weiteres Vorgehen im Projekt
UML Download objectif Personal Edition (kostenlos): http://www.microtool.de/objectif/de/download.asp Weiteres Vorgehen im Projekt Komponenten, Klassen, Objekte Prozesse Nichtfunktionale Anforderungen Skizzen,
MehrCIM Common Information Model
CIM Common Information Model CIM Common Information Model André Göring OpenKONSEQUENZ Architecture&Quality Committees Workshop 19. 20.4.2016 - Dortmund 2 Inhalt 1. Einführung in CIM Historie Gegenüberstellung
MehrUnit Testing, SUnit & You
HUMBOLDT-UNIVERSITÄT ZU BERLIN MENSCH-TECHNIK-INTERAKTION ARBEITSGRUPPE SOFTWARETECHNIK (INSTITUT FÜR INFORMATIK) ARBEITSGRUPPE INGENEURPSYCHOLOGIE (INSTITUT FÜR PSYCHOLOGIE) Unit Testing, SUnit & You
MehrEinführung in die objektorientierte Programmierung
Einführung in die objektorientierte Programmierung Seminarunterlage Version: 4.04 Copyright Version 4.04 vom 17. Juni 2016 Dieses Dokument wird durch die veröffentlicht. Copyright. Alle Rechte vorbehalten.
MehrEinführung in das Eclipse Modeling Framework. 5. November 2014
Einführung in das Eclipse Modeling Framework 5. November 2014 Überblick Einführung in das Eclipse Modeling Framework: zur objektorientierten Modellierung von Datenstrukturen Welcher Teil einer mobilen
Mehr