Modellbasiertes Testen - Der ioco Ansatz
|
|
- Björn Hausler
- vor 7 Jahren
- Abrufe
Transkript
1 TAV 21 - Berlin 18. Juni 2004 Modellbasiertes Testen - Der ioco Ansatz Lars Frantzen Jan Tretmans {lf,tretmans}@cs.kun.nl Radboud University Nijmegen
2 Ideen, Systeme, uns der Human Factor Idee partiell spezifiziert ist konform System Fehlerzustand hat erstellt Fehlhandlung
3 Qualitätsaspekte ISO 9126: Funktionalität Zuverlässigkeit Benutzbarkeit Effizienz Änderbarkeit Übertragbarkeit Qualität beschreibt die Konformität mit Aspekten einer Systemidee. Um Qualität zu messen, müssen diese Aspekte formalisiert, d.h. modelliert werden. Aspekte können i.a. nicht vollständig modelliert werden. Abstraktion
4 Modellbasierte Entwicklung Verifikation Testen Idee spezifiziert spezifiziert Modell System ist konform ist konform hat erstellt modelliert
5 Testarten Statischer Test: Strukturierte Gruppenprüfung Reviews Statische Analyse Compiler Standards Datenflussanalyse Kontrollflussanalyse Metriken Dynamischer Test: Blackbox-Verfahren Äquivalenzklassenbildung Zustandsbezogener Test Whitebox-Verfahren Anweisungsüberdeckung Zweigüberdeckung Test der Bedingungen Zweigüberdeckung Intuitive Testfallermittlung!
6 Grenzen des Testens Systeme sind: Testen kann niemals die Fehlerfreiheit eines Systems zeigen, sondern nur dessen Fehlerbehaftung. Edsger W. Dijkstra Immer eine Black Box Experimentieren ist die einzige Methode, um Wissen zu erlangen. Komplex und nicht terminierend Sie entziehen sich vollständigem Testen. Testfall Selektion!
7 Reaktive Systeme Modell System!wasser
8 Test Hypothese Modell System!wasser
9 Modellbasiertes Testen Modell System spezifiziert!wasser ist konform
10 Modellbasiertes Testen Modell System!wasser ist konform!wasser!wasser!
11 Was ist Konformität? Erster Anzatz: Äquivalenz! Mealy Machine System
12 Was ist Konformität? Erster Anzatz: Äquivalenz! Mealy Machine Mealy Machine /!wasser /!wasser /! /!wasser Zwei Maschinen sind äquivalent, wenn sie gleiche Ausgaben für jede Eingabesequenz erzeugen.
13 Was ist Konformität? Erster Anzatz: Äquivalenz! Problem: Unendliche Eingabesequenzen! n!wasser n Dijkstra revisited: Systeme erlauben keinen vollständigen Test! Lösung 1: Annahme: Das System hat nicht mehr Zustände als das Modell Lösung 2: Äquivalenz aufgeben
14 Was ist Konformität? Zweiter Ansatz: Flexiblere Relationen LTS conf System
15 Was ist Konformität? Zweiter Ansatz: Flexiblere Relationen Labelled Transition Systems Eigenschaften Potentiell unendlicher Zustandsraum Potentiell nichtdeterministisch Kompositional Asynchrones I/O Verhalten Explizites Testen von Ruhezuständen des SUT
16 Was ist Konformität? Die ioco Relation LTS ioco IOTS!wasser!wasser!wasser!
17 Automatisches Testen mit dem TorX Tool Die ioco Theorie wird von dem Tool Torx implementiert: next input user: manual automatic offer input specification check output TorX observe output IUT pass fail inconclusive
18 Das TorX Tool
19 Das TorX Tool Fallstudien Conference Protocol EasyLink TV-VCR protocol Cell Broadcast Centre component Rekeningrijden Payment Box protocol V5.1 Access Network protocol Easy Mail Melder FTP Client Oosterschelde storm surge barrier-control academic Philips CMG Interpay Lucent CMG academic CMG
20 Interpay Mautsystem
21 Interpay Mautsystem Merkmale: Einfaches Protokoll Parallelität: viele KFZe gleichzeitig Verschlüsselung Echtzeitaspekte System hatte klassische Tests erfolgreich passiert
22 Interpay Mautsystem Onboard Unit Road Side Equipment Payment Box (PB) Wireless UDP/IP
23 Interpay Mautsystem Herausforderungen: Parallelismus: kein Problem Verschlüsselung: konnte nicht komplett umgesetzt werden Echtzeitaspekte: konnten nicht umgesetzt werden effiziente on-the-fly Implementation unklar Theorie nicht vorhanden Ruhezustand vs. time-out
24 Interpay Mautsystem Resultate: 1 Fehler gefunden während Verifikation (Designfehler) 1 Fehler gefunden durch Testen (Fehlerzustand) Automatisches Testen mit TorX: von enormem Nutzen hohe Testdichte und Zuverlässigkeit viele, lange Tests generiert (> test events) sehr flexibel adaptier- und konfigurierbar
25 Ausblick Aktuell wird die Theorie erweitert bezüglich: Symbolisches Testen Echtzeitbasiertes Testen Neue Fallstudien: ASML Wafer Stepper, Smart Cards
26 Literatur Broy, Jonsson, Katoen, Leucker, Pretschner (Eds.): Model-based Testing of Reactive Systems - A seminar volume LNCS, to appear in 2004 Brinksma, Tretmans: Testing Transition Systems: An Annotated Bibliography LNCS 2067: , 2001 Lee, Yannakakis: Principles and Methods of Testing Finite State Machines - a Survey Proc. IEEE, 48(8): , 1996
27 Vielen Dank!
Basiswissen Softwaretest
Basiswissen Softwaretest Aus- und Weiterbildung zum Certified Tester - Foundation Level nach ISTQB-Standard Bearbeitet von Andreas Spillner, Tilo Linz überarbeitet 2005. Buch. XX, 284 S. Hardcover ISBN
Mehr30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV) Thema: Testing meets Agility
Modellbasiertes Testen in Agiler Softwareentwicklung 17. Juni 2010 David Faragó (farago@kit.edu) 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV) Thema: Testing meets Agility
MehrBasiswissen Softwaretest
isqi-reihe Basiswissen Softwaretest Aus- und Weiterbildung zum Certified Tester Foundation Level nach ISTQB-Standard von Andreas Spillner, Tilo Linz 5., überarbeitete und aktualisierte Auflage Basiswissen
MehrRisikobasiertes Testen in der Praxis
Risikobasiertes Testen in der Praxis Impulsvortrag AK Testmanagement TAV 23 17./18. November 2005 by Maud Schlich - IT-PROJECT-SERVICE Seite 1 von 16 Beobachtungen in einem Unternehmen Neutrale Beobachtungen
MehrVU Qualitätssicherung in der Softwareentwicklung LV-Nr , SS Aufgabenblatt 3
VU Qualitätssicherung in der Softwareentwicklung LV-Nr. 716.066, SS 2017 Aufgabenblatt 3 ao. Univ.-Prof. Dr. Bernhard Aichernig Andrea Pferscher, andrea.pferscher@student.tugraz.at Christoph Rehbichler,
MehrExample Ptolemy Model of Comp.: Synchronous Reactive
Prinzip: Example Ptolemy Model of Comp.: Synchronous Reactive Annahme: unendlich schnelle Maschine Diskrete Ereignisse (DE) werden zyklisch verarbeitet (Ereignisse müssen nicht jede Runde eintreffen) Pro
MehrAufgabenblatt 3. 1 Code Contracts - ExamPreparation (2 Punkte)
VU Qualitätssicherung in der Softwareentwicklung LV-Nr. 716.066, SS 2018 Aufgabenblatt 3 ao. Univ.-Prof. Dr. Bernhard Aichernig Christoph Rehbichler, crehbichler@student.tugraz.at Stefan Kuhs, kuhs@student.tugraz.at
MehrSeminar Model-Based Testing - Preorder. Marcel Bosling
Seminar Model-Based Testing - Preorder Marcel Bosling 1 / 34 Inhaltsverzeichnis Systeme, Prozesse und LTS Ausgewählte Preorder Trace Preorder Observable Testing Preorder Testing Preorder Conformance Testing
MehrVerifikation in der Realität. In der Industrie wird der Begriff Verifikation häufig im Zusammenhang mit nicht formalen Methoden verwendet:
Verifikation in der Realität In der Industrie wird der Begriff Verifikation häufig im Zusammenhang mit nicht formalen Methoden verwendet: Testen, Strategien: 100% Befehlsabdeckung (Statement Coverage)
MehrSoftware Engineering II (IB) Testen von Software / Modultests
Fakultät für Informatik und Mathematik Hochschule München Letzte Änderung: 16.05.2017 21:17 Inhaltsverzeichnis Programm-Tests.................................. 2 Ziele des Testens..................................
MehrFormale Verifikation von Software. 10. Juli 2013
Formale Verifikation von Software 10. Juli 2013 Überblick Wann ist formale Softwareverifikation sinnvoll? Welche Techniken gibt es? Was ist Model Checking und wie kann man es zur Verifikation einsetzen?
MehrEinsatz automatischer Testvektorgenerierung im modellbasierten Test
Einsatz automatischer Testvektorgenerierung im modellbasierten Test Sadegh Sadeghipour, Meike Lim IT Power Consultants Gustav-Meyer-Allee 25 13355 Berlin sadegh.sadeghipour@itpower.de meike.lim@itpower.de
Mehr2 Marathon unsere Beispielanwendung 9
D3kjd3Di38lk323nnm xiii 1 Einführung 1 1.1 Der Aufbau dieses Buches............................... 2 1.2 Anforderungen an dieses Buch........................... 2 1.2.1 Vollständigkeit.................................
MehrSoftwarequalität und -test
2. Vorlesung (Erster Teil) www.beuth-hochschule.de Dipl.-Inform. Thomas Ziemer Genereller Ansatz zur Beschreibung von Qualität Qualität Softwarequalität Qualitätsmanagement (QM) Qualitätssicherung (QS)
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
MehrProjektmanagement und Softwareentwicklung. Nina Stodolka, WS2017/2018
Projektmanagement und Softwareentwicklung Nina Stodolka, WS2017/2018 Softwareentwicklung Anforderung Umsetzung Test Rollout Quelle: eigene Darstellung 2 Konstruktives Qualitätsmanagement Technische Maßnahmen
MehrTAV 31. Testing in modern IT-Contexts
Nondeterministic Coverage Metrics as Key Performance Indicator for Model- and Value-based Testing 03. Februar 2011 David Faragó (farago@kit.edu) Institute for Theoretical Computer Science; Logic and Formal
MehrC-to-CUDA-Compiler. Johannes Kölsch. October 29, 2012
October 29, 2012 Inhaltsverzeichnis 1 2 3 4 5 6 Motivation Motivation CUDA bietet extreme Leistung für parallelisierbare Programme Kompliziert zu programmieren, da multi-level parallel und explizit verwalteter
MehrVorhersage von nicht-funktionalen Feature-Interaktionen
Vorhersage von nicht-funktionalen Feature-Interaktionen Sergiy Kolesnikov, Semah Senkaya, Sven Apel Universität Passau Braunschweig 21.03.2012 In Kooperation mit: Norbert Siegmund, Stefan Sobernig, Jörg
MehrProzeß zur Qualifizierung von generiertem Code im NH90 SW - Projekt DGLR
Prozeß zur Qualifizierung von generiertem Code im NH90 SW - Projekt DGLR 11.10.2006 Überblick NH90 Varianten und Avionik Systemarchitektur CMC/MTC/NSS Entwicklungsprozess und Tools Test der generierten
MehrDie 4 glorreichen Fünf - Die (neue) Rolle des Testers im agilen Umfeld. Willkommen
Willkommen Die 4 glorreichen Fünf Die (neue) Rolle des Testers im agilen Umfeld Vorstellung Kinder: 2 Alter: Bekannt Lehrberuf: Koch Leidenschaft: Tester Werdegang: Interessant SW-Testerfahrung: Annähernd
MehrZeitlogik. Hardware Verifikation. Zeitlogik und Verifikation. Helmut Veith,
Zeitlogik und Verifikation Helmut Veith, veith@dbai.tuwien.ac.at 58801-18431 Abteilung f. Datenbanken und AI Zeitlogik Klassische Logik ist ungeeignet, die Dynamik veränderlicher Systeme zu beschreiben.
MehrBasiswissen Softwaretest
Andreas Spillner Tilo Linz Basiswissen Softwaretest Aus- und Weiterbildung zum Certified Tester Foundation Level nach ISTQB-Standard 3., überarbeitete und aktualisierte Auflage I Technische l'^vrau«! D~w.-iE*arit
MehrModellbasiertes Testen mit UTP
Modellbasiertes Testen mit UTP Daniel Löffelholz 16. Dezember 2008 Einführung Motivation Grundlagen Modellbasiertes Testen Einordnung Vorgehen Technologien UML Testing Profile Beispiel Ausblick Anwendungsbeispiel
MehrEinsatz automatischer Testvektorgenerierung im modellbasierten Test
Einsatz automatischer Testvektorgenerierung im modellbasierten Test Sadegh Sadeghipour, Meike Lim IT Power Consultants Gustav-Meyer-Allee 25 13355 Berlin sadegh.sadeghipour@itpower.de meike.lim@itpower.de
MehrModellbasierter Test mit der UML. Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest
Modellbasierter Test mit der UML Vortragender: Lars Westmeier Seminar: Spezifikationsbasierter Softwaretest Inhalt Einleitung und Motivation UML Testgenerierung Fazit Inhalt Einleitung und Motivation UML
MehrSeminar Programmierung Eingebetteter Systeme
Seminar Programmierung Eingebetteter Systeme Prof. Sabine Glesner Robert Reicherdt Dirk Tetzlaff Daniel Stöhr Paula Herber Marcel Pockrandt Wintersemester 2011/12 Organisation der Veranstaltung Blocktermine:
MehrReaktive Programmierung Vorlesung 16 vom 14.07.2015: Theorie der Nebenläufigkeit
18:13:55 2015-07-14 1 [16] Reaktive Programmierung Vorlesung 16 vom 14.07.2015: Theorie der Nebenläufigkeit Christoph Lüth & Martin Ring Universität Bremen Sommersemester 2015 2 [16] Organisatorisches
MehrPraxiswissen Softwaretest- Technical Test Analyst. Test Analyst und. dpunkt.verlag. Judy McKay. Advanced Level nach ISTQB-Standard
Graham Bath Judy McKay Praxiswissen Softwaretest- Test Analyst und Technical Test Analyst Aus- und Weiterbildung zum Certified Tester - Advanced Level nach ISTQB-Standard 3., überarbeitete Auflage r5 dpunkt.verlag
MehrSE Besprechung. Übung 6 Softwaretests. Irina Todoran & Nicolas Hoby
SE Besprechung Übung 6 Softwaretests SE, 20.12.11 Irina Todoran & Nicolas Hoby Tutoren für Informatik IIa Modellierung Voraussetzung Informatik IIa (oder vergleichbar) erfolgreich besucht Aufgaben Korrektur
MehrFormale Verifikation von Software. 8. Juli 2015
Formale Verifikation von Software 8. Juli 2015 Überblick Wann ist formale Softwareverifikation sinnvoll? Welche Techniken gibt es? Was ist Model Checking und wie kann man es zur Verifikation einsetzen?
MehrInhaltsverzeichnis. Teil I Handwerkszeug. 3 Begriffe zum Testen Definitionen zum Testen Box-Tests
1 Einleitung 1 1.1 Wieso dieses Buch? 1 1.2 Wem nutzt dieses Buch wie? 2 1.3 Wie ist dieses Buch zu lesen? 2 1.3.1 Zum Teil I: Handwerkszeug 2 1.3.2 Zum Teil II: Testarten 3 1.3.3 Zum Teil III: Testmanagement
MehrQualität, Fehler un Testvorgehen
, Fehler un Pieter van den Hombergh Fontys Hogeschool voor Techniek en Logistiek Software Engineering 20. Februar 2013 HOM/FHTeL, Fehler un 20. Februar 2013 1/23 , Fehler un Pieter van den Hombergh Fontys
MehrBasiswissen Testautomatisierung
Basiswissen Testautomatisierung Konzepte, Methoden und Techniken Bearbeitet von Richard Seidl, Manfred Baumgartner, Thomas Bucsics 1. Auflage 2011. Buch. XIV, 202 S. Hardcover ISBN 978 3 89864 724 3 Format
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
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
MehrErfahrungen mit der Einführung von modellbasierter Testspezifikation, Implementierung und Generierung bei einem deutschen Automotive OEM
Erfahrungen mit der Einführung von modellbasierter Testspezifikation, Implementierung und Generierung bei einem deutschen Automotive OEM MATHIAS HELMINGER 7. DEZ 2016 Vorstellung Seit 1979 450 Mitarbeiter
MehrGenerating Deterministic ω-automata for most LTL formulas by the Breakpoint Construction
Generating Deterministic ω-automata for most LTL formulas by the Breakpoint Construction Andreas Morgenstern, Klaus Schneider and Sven Lamberti März 2008 Übersicht Motivation Explizite Determinisierung
MehrOSEK-OS. Oliver Botschkowski. oliver.botschkowski@udo.edu. PG AutoLab Seminarwochenende 21.-23. Oktober 2007. AutoLab
OSEK-OS Oliver Botschkowski oliver.botschkowski@udo.edu PG Seminarwochenende 21.-23. Oktober 2007 1 Überblick Einleitung Motivation Ziele Vorteile Einführung in OSEK-OS Architektur Task Management Interrupt
MehrDr. Klaus Lamberg, Michael Beine
$6,0)DFKWDJXQJ 6LPXODWLRQV XQG7HVWPHWKRGHQI U6RIWZDUH LQ)DKU]HXJV\VWHPHQ 7HVWPHWKRGHQXQG±WRROV WRROV LQ GHUPRGHOOEDVLHUWHQ )XQNWLRQVHQWZLFNOXQJ Dr. Klaus Lamberg, Michael Beine $JHQGD Modellbasierte Funktionsentwicklung
MehrEntwicklung des Softwareengineerings im Bereich der IT-TK-Technologie. Stefan Bläsius und Gregorio Roper Berlin,
Entwicklung des Softwareengineerings im Bereich der IT-TK-Technologie Stefan Bläsius und Gregorio Roper Berlin, 05.05.2004 1 ServiceForce Die ServiceForce GmbH hat engagierte Mitarbeiter in den Bereichen
MehrAn Overview of the Signal Clock Calculus
An Overview of the Signal Clock Calculus, Jennifer Möwert Inhaltsverzeichnis Synchrone Programmiersprachen Clock Calculus Synchrone Paradigmen SLTS Clocks SIGNAL Definitionen Endochrony Bäume, Jennifer
MehrModulare Plattformen für Ladestationen in der Elektromobilität
Modulare Plattformen für Ladestationen in der Elektromobilität Moritz Thümmler, Andreas Pretschner Institut für Prozessautomation und eingebettete Systeme (PAES) HTWK Leipzig Energiecluster trifft Wissenschaft
MehrT. Schneider: Datensparsamkeit durch effizientes Rechnen unter Verschlüsselung
Reden ist Silber Schweigen ist Gold: Datensparsamkeit durch effizientes Rechnen unter Verschlüsselung Dr.-Ing. Thomas Schneider Center for Advanced Security Research Darmstadt (CASED) Aufbau Effizientes
MehrEinführung Arten von Softwaretests Prinzipien Continuous Integration Tests in FLOSS-Projekten Quellen. Softwaretests. Christoph Betschart
Softwaretests Christoph Betschart 27. Oktober 2014 Inhaltsverzeichnis Einführung Arten von Softwaretests Prinzipien Seven Principles of Software Testing Continuous Integration Tests in FLOSS-Projekten
MehrFunktionales Testen. Software-Praktikum Andreas Zeller Universität des Saarlandes
Funktionales Testen Software-Praktikum Andreas Zeller Universität des Saarlandes Testen Testen Noch mehr Testen Testen Software ist vielfältig Software ist vielfältig Software ist vielfältig Software ist
Mehr8 Grundsätze der Darstellung von Anforderungen
8 Grundsätze der Darstellung von Anforderungen Darzustellende Aspekte Funktionalität Attribute: Leistungen, Qualitäten, Randbedingungen Freiheitsgrade in der Darstellung Wahl der Mittel Art der Gliederung
MehrSoftware Engineering. Besprechung zur Uebung 6 Softwaretests. Reinhard Stoiber HS 07
Software Engineering Besprechung zur Uebung 6 Softwaretests Reinhard Stoiber HS 07 Allgemeines, Formelles Für alle Gruppen Abholung der Übungen: BIN 2.B.17 Abschluss der Übungen - Gesamtpunkteliste Bitte
MehrModellbasierter Akzeptanztest für Scrum. Renate Löffler, Baris Güldali, Silke Geisen TAV 30, Testing meets Agility, 18.06.2010
Modellbasierter Akzeptanztest für Scrum Renate Löffler, Baris Güldali, Silke Geisen TAV 30, Testing meets Agility, 18.06.2010 Testing meets Agility Agilität People over Processes Flexibel User Stories
MehrAlgorithmus. Was ist ein Algorithmus? Ibn Musa Al-Chwarismi persischer Mathematikers 9. Jahrhundert Buch: Regeln der Wiedereinsetzung und Reduktion.
Algorithmus Was ist ein Algorithmus? Ibn Musa Al-Chwarismi persischer Mathematikers 9. Jahrhundert Buch: Regeln der Wiedereinsetzung und Reduktion. Hier einige informelle Erklärungen zum Algorithmus P
MehrStrategien zur Testfallgenerierung aus UML-Zustandsautomaten
Strategien zur Testfallgenerierung aus UML-Zustandsautomaten Dipl.-Ing. Carsten Paulus (FKFS), Dipl.-Ing. Michael Wolff (ZF Friedrichshafen AG), Prof. Dr.-Ing. Hans-Christian Reuss (FKFS) Gliederung Motivation
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
MehrSoftwaretechnik-Praktikum SS 2007 Aufgabenblatt 3. Gruppe: HK-07-4 Gruppenleiter: Stanley Hillner Lastenheft. (Editor für Eclipse GMF)
Lastenheft (Editor für Eclipse GMF) Inhaltsverzeichnis 1.Zielbestimmung... 2 2.Produkteinsatz...2 3.Produktübersicht...2 4.Produktfunktionen...3 4.1.Muss-Funktionen...3 4.2.Kann-Funktionen...4 5.Produktdaten...
MehrKorrektheit durch modulare Konstruktion. Wie kann man die Korrektheit reaktiver Systeme gewährleisten?
Korrektheit durch modulare Konstruktion Wie kann man die Korrektheit reaktiver Systeme gewährleisten? Ansatz: Durch systematische Konstruktion (Schlagwort: strukturierte Programmierung für parallele Programmiersprachen)
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
MehrAlexander Piehl Grundseminar WS14/15
Alexander Piehl Grundseminar WS14/15 Inhaltsverzeichnis Motivation Model-Based Testing Aktueller Stand der Forschung Aufgaben und Zielsetzung 27.11.2014 2 27.11.2014 3 Motivation Beruflich mit Software
MehrWie kann man die Korrektheit reaktiver Systeme gewährleisten?
Korrektheit durch modulare Konstruktion Wie kann man die Korrektheit reaktiver Systeme gewährleisten? Ansatz: Durch systematische Konstruktion (Schlagwort: strukturierte Programmierung für parallele Programmiersprachen)
MehrEffiziente Überwachung von Laufzeiteigenschaften in Soft- und Hardware
Effiziente Überwachung von Laufzeiteigenschaften in Soft- und Hardware Normann Decker 1 Philip Gottschling 2 1 Institut für Softwaretechnik und Programmiersprachen Universität zu Lübeck decker@isp.uni-luebeck.de
MehrDigitalisierung in der Medizinprodukte-Welt
Digitalisierung in der Medizinprodukte-Welt Wie wirkt sich die Digitalisierung auf Produktkonzepte und auf die Entwicklung von zukünftigen Medizinprodukten aus? Monika Strasser, Roche Diabetes Care Dr.
MehrTesten. SEPR Referat: Testen - Oliver Herbst
Testen Inhalt 1. Grundlagen des Testens 2. Testen im Softwarelebenszyklus 3. Statischer Test 4. Dynamischer Test 5. Besondere Tests 2 1. Grundlagen des Testens 3 Grundlagen des Testens Motivation erfüllt
MehrComputergestützte Gruppenarbeit
Computergestützte Gruppenarbeit 3. Gruppenprozesse Dr. Jürgen Vogel European Media Laboratory (EML) Heidelberg SS 2005 0 CSCW SS 2005 Jürgen Vogel Inhalt der Vorlesung 1. Einführung 2. Grundlagen von CSCW
MehrSimulink PLC Coder für sichere IEC Steuerungen bei MAGIRUS GmbH
Simulink PLC Coder für sichere IEC 61131 Steuerungen bei MAGIRUS GmbH Eine Fallstudie über die Verwendung, die Instrumentierung und die Anpassungen des Simulink PLC Coders für sichere und nicht sichere
MehrService Modelle in der Industrie IoT Plattform für neue Anwendungen
Service Modelle in der Industrie IoT Plattform für neue Anwendungen Dr. Andreas Danuser (dipl. El. Ing. ETH), Professor für Computer Science Berner Technik Fachhochschule & Informatik Haute école spécialisée
MehrAussagenlogische Testspezifikation
Seminar Spezifikationsbasierter Softwaretest Aussagenlogische Testspezifikation Peer Hausding (10.06.2006) 1 Gliederung Einführung Begriffe Test Modellspezifikation AutoFocus Transformation Spezifikation
MehrWintersemester 2007/2008 Helmut Seidl Institut für Informatik TU München
Informatik 1 Wintersemester 2007/2008 Helmut Seidl Institut für Informatik TU München 1 0 Allgemeines Inhalt dieser Vorlesung: Einführung in Grundkonzepte der Informatik; Einführung in Denkweisen der Informatik;
MehrAnforderungen. Was ist eine Anforderung? Formulierungsschablonen Das Anforderungsdiagramm Glossar. Dr. Beatrice Amrhein
Anforderungen Was ist eine Anforderung? Formulierungsschablonen Das Anforderungsdiagramm Glossar Dr. Beatrice Amrhein Was ist eine Anforderung? 2 Anforderungen an ein System Funktionale Anforderungen o
Mehr1 Vom Problem zum Program
Ein Problem besteht darin, aus einer Menge von Informationen eine weitere (unbekannte) Information zu bestimmen. mathematisch: Ein Problem beschreibt eine Funktion f : E A, mit E = zulässige Eingaben und
MehrProgrammierung von Smart Cards mit Hilfe von Java
Java Card 2.1.2 Programmierung von Smart Cards mit Hilfe von Java Übersicht 1. Einführung Smart Cards 2. Java Card Spezifikationen 3. Java Card Development Kit 4. Java Card in der Praxis und Fazit 1. Einführung
Mehr1 Vom Problem zum Programm
1 Vom Problem zum Programm Ein Problem besteht darin, aus einer Menge von Informationen eine weitere (unbekannte) Information zu bestimmen. mathematisch: Ein Problem beschreibt eine Funktion f : E A, mit
MehrEreignisdiskrete Systeme
2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. Ereignisdiskrete Systeme Modellierung und Analyse dynamischer Systeme
MehrTabellarischer Vergleich der. für modellbasiertes Testen aus Managementsicht. Dominik Beulen, Barış Güldalı, Michael Mlynarski
Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht Dominik Beulen, Barış Güldalı, Michael Mlynarski TAV 29, Stralsund 12.11.2009 Überblick Wie sieht der Prozess
MehrMicrosoft Office SharePoint 2007
Inhalt 1 Erstellen von Workflows für Microsoft Office SharePoint 2007 15 June 2009 Sebastian Gerling Sebastian.gerling@spiritlink.de COPYRIGHT 2003 SPIRIT LINK GMBH. ALL RIGHTS RESERVED Inhalt 1 Dipl.
MehrDomain-Independent Support for Computer- Based Education of Argumentation Skills
Domain-Independent Support for Computer- Based Education of Argumentation Skills Institut für Informatik - Research Group Human-Centered Information Systems St. Andreasberg, 08.03.2011 Argumentationsfertigkeiten
MehrSoftwaretests Testgetriebene Entwicklung (TDD) vs wissenschaftliche Methode TDD Case Study Zusammenfassung
Antonia Bücklers Softwaretests Testgetriebene Entwicklung (TDD) vs wissenschaftliche Methode TDD Case Study Zusammenfassung - Antonia Bücklers 2 prüft und bewertet Software auf Erfüllung der spezifischen
MehrSpecmate Auf Knopfdruck von Anforderungen zu Tests
Specmate Auf Knopfdruck von Anforderungen zu Tests Dr. Maximilian Junker at a Glance We are experts for: High quality RE & tests High quality methodology (e.g. MBSE) We offer: Audits & Continuous Quality
MehrModellbasierter Akzeptanztest für Scrum
Modellbasierter Akzeptanztest für Scrum Renate Löffler, Baris Güldali, Silke Geisen TAV 30, Testing meets Agility, 18.06.2010 Der Scrum-Prozess Iteratives Vorgehen : eine laufende Iteration Inkrement:
MehrDrei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich
Drei Methoden, ein Ziel: Testautomatisierung mit BDD, MBT und KDT im Vergleich C. Brandes, B. Eberhardinger, D. Faragó, M. Friske, B. Güldali, A. Pietschker 15. Oktober 2015 Zukunftsmeile Fürstenallee,
Mehr1 Einleitung 1. 2 Grundkonzepte 11
Inhalt 1 Einleitung 1 1.1 Softwarequalität betrifft viele 1 1.2 Für wen dieses Buch gemacht ist 1 1.3 Was Sie von diesem Buch erwarten können 2 1.4 Das Abenteuer von Q 3 1.5 Themen und Anspruch 3 1.5.1
MehrSystemanalyse I Software-Entwicklung. Qualitätssicherung.? Prof. Dr. Susann Kowalski
Qualitätssicherung Qualitätsmerkmale von... Programmen Anpassbarkeit Benutzbarkeit Effizienz Funktionsabdeckung Korrektheit Instandsetzbarkeit Portabilität... Zuverlässigkeit Dokumenten Änderbarkeit Aktualität
MehrMathematische Beweise und Symbolische Tests
Mathematische Beweise und Symbolische Tests Arne Meier Universität Hannover Institut für praktische Informatik Fachgebiet Software Engineering Seminar Werkzeuggestützte Softwareprüfungen 19. April 2006
MehrBig Data und die Energiewende: Kann man genug Daten haben?
Big Data und die Energiewende: Kann man genug Daten haben? Malek Alouini Fachgespräch BigData Konzepte zur Analyse komplexer Infrastrukturen 16. Mai 2017 Was ist Big Data? Technologien zur Verarbeitung
MehrGDI-Südhessen: The INSPIRE laundry
GDI-Südhessen: The INSPIRE laundry INSPIRE Conference 2017 - INSPIRE a digital Europe: Thinking out of the box 08.09.2017 Martin Domeyer GDI-Südhessen coordination office c/o Amt für Bodenmanagement Heppenheim
MehrSE Besprechung. Übung 6 Softwaretests
SE Besprechung Übung 6 Softwaretests SE, 15.12.09 Dustin Wüest Tutoren für Informatik IIa Modellierung Voraussetzung Informatik IIa (oder vergleichbar) erfolgreich besucht Aufgaben Korrektur der Aufgaben
Mehr2.4.3 Zustandsgraphen
2.4.3 Zustandsgraphen Folie 2-1+45 Paradigma der Zustandsmodellierung Zustandsmodellierung betrachtet ein System als Zustandsautomaten beschreibt die Zerlegung in Zustände und Zustandsübergänge orientiert
MehrMathematik Seminar WS 2003: Simulation und Bildanalyse mit Java. Software-Architektur basierend auf dem Plug-in-Konzept
Mathematik Seminar WS 2003: Simulation und Bildanalyse mit Java Software-Architektur basierend auf dem Plug-in-Konzept Aufteilung: Probleme mit normaler/alter Software Ziele des Software Engineerings Die
Mehr2.4.3 Zustandsgraphen
2.4.3 Zustandsgraphen Folie 2-1+45 Paradigma der Zustandsmodellierung Zustandsmodellierung betrachtet ein System als Zustandsautomaten beschreibt die Zerlegung in Zustände und Zustandsübergänge orientiert
MehrComputergestützte Modellierung und Verifikation
Computergestützte Modellierung und Verifikation Vorlesung mit Übungen SS 2007 Prof. F. von Henke mit Dr. H. Pfeifer Inst. für Künstliche Intelligenz Organisatorisches Vorlesung: Mi 14 16 Raum 3211 Do 14
MehrEinleitung und Motivation Code Review-Arten Tools Live Demo Best Practices Zusammenfassung. Code Review. Seminar Effiziente Programmierung
Code Review Seminar Effiziente Programmierung Jan Ole Wellnitz Arbeitsbereich Wissenschaftliches Rechnen Fachbereich Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften Universität Hamburg
MehrDas a. Franz Zieris Institut für Informatik, FU Berlin Bachelorarbeit
Bachelorarbeit Das a Franz Zieris Institut für Informatik, FU Berlin Gliederung 1. Inhalt der Arbeit Motivation Aufgabenstellung 2. Vorgehensweise Voraussetzungen Technische Umsetzung Probleme und deren
MehrVermittlungsschicht ( network layer )
Vermittlungsschicht ( network layer ) ggf. Auswahl eines Subnetzes für die folgende Übertragungsstrecke Auswahl eines guten Transportweges (Routing) im gewählten Subnetz statisch: fest für alle Pakete
Mehr1. Einführung in Temporallogik CTL
1. Einführung in Temporallogik CTL Temporallogik dient dazu, Aussagen über Abläufe über die Zeit auszudrücken und zu beweisen. Zeit wird in den hier zunächst behandelten Logiken als diskret angenommen
MehrModellierung verteilter Systeme (Grundlagen der Programm- und Systementwicklung II)
Modellierung verteilter Systeme (Grundlagen der Programm- und Systementwicklung II) 02 Grundlagen Dr. Sebastian Voss fortiss GmbH Kompetenzfeldleiter Model-based Systeme Engineering Themenübersicht - Gesamtvorlesung
MehrSo testen Sie ein selbstorganisiertes System
GI TAV 37 A Framework for Testing Self-organisation Algorithms Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert und Wolfgang Reif Ausbau erneuerbarer Energien in Bayern Offenheit:
MehrAbnahme leicht gemacht
Pascal Moll Stefan Ludwig Abnahme leicht gemacht Anforderungen das Laufen beibringen 1 NovaTec Consulting GmbH Standorte in Stuttgart, Frankfurt, München, Berlin und Zweibrücken. ca. 100 Berater Zahlreiche
MehrM.Sc. Informatik, Studium angewandte Informatik M.Sc. Ing. Lasertechnik, Studium Laser und Photonik B.Sc. Elektrotechnik, Studium der Elektrotechnik
Profil T. D. Test Consultant Jahrgang 1991 Wohnort Nationalität Nürnberg / Köln Bangladesch Ausbildung M.Sc. Informatik, Studium angewandte Informatik M.Sc. Ing. Lasertechnik, Studium Laser und Photonik
MehrSafer Software Formale Methoden für ISO26262
Safer Software Formale Methoden für ISO26262 Dr. Stefan Gulan COC Systems Engineering Functional Safety Entwicklung Was Wie Wie genau Anforderungen Design Produkt Seite 3 Entwicklung nach ISO26262 Funktionale
MehrÜberblick. Modellbildung in der Entwicklung mit Schwerpunkt Architekturen Schnittstellen. Schnittstelle. Schnittstelle
Überblick Modellbildung in der Entwicklung mit Schwerpunkt Architekturen Schnittstellen Motivation Syntaktische Schnittstellen Dynamische Schnittstellen Modellbildung in der Entwicklung Prof. Dr. Dr. h.c.
MehrHaifeng Liu Martin Seidel
Haifeng Liu Martin Seidel Wichtige Faktoren für den Energieverbrauch: WLAN Hardware Design Software- und Protokolldesign Power Management Power Control Hardware Interaktionen (NIC CPU) Treiber/CPU Interaktion
Mehr