Einsatz automatischer Testdatengenerierung im modellbasierten Test

Größe: px
Ab Seite anzeigen:

Download "Einsatz automatischer Testdatengenerierung im modellbasierten Test"

Transkript

1 Einsatz automatischer Testdatengenerierung im modellbasierten Test Sadegh Sadeghipour Gustav-Meyer-Allee 25 / Gebäude Berlin

2 Modellbasierte Software-Entwicklung Frühe Validierung der Anforderungen durch Simulation eines ausführbaren Modells Vorverlegung von Prüfaktivitäten in frühe Entwicklungsphasen Einsatz neuer Prüftechniken (Model Checking, Model Coverage, ) Automatische Code-Generierung, Durchgängigkeit von Testszenarien Frühe Fehlerentdeckung Kostengünstige Fehlerbeseitigung Effiziente Software-Entwicklung

3 Modellbasierte Qualitätssicherung Analyse von System-Anforderungen Strukturmodell Systemtest Kalibrierung Analyse von Software-Anforderungen Funktionsmodell HiL-Test HW/SW-Integration Modelltest, Modellanalyse Modellierung Umgebungsmodell Implementierungsmodell Integrationstest SiL - Test Software-Integration Softwareanforderungen Systemanforderungen Unittest, Codeanalyse Codierung Generierter Code

4 Charakteristika des modellbasierten Tests Nutzung des ausführbaren Modells als zusätzliche, reichhaltige Informationsquelle für den Test: Modell als Testbasis für die Ermittlung der Testszenarien Modell als Testobjekt (Modelltest / MiL) Wiederverwendung der Testszenarien aus Modelltest (MiL SiL HiL) Modell als Testorakel Modell als Basis für strukturorientierte Überdeckungsmessungen (Model Coverage) und Generierung von überdeckenden Testdaten

5 Modellüberdeckung Tools Tools zur Messung der Modellüberdeckung während der Testdurchführung Beispiel: Simulink Verification and Validation Tool Tools zur automatischen Generierung von überdeckenden Testdaten Beispiel 1: ATG (basiert auf Statecharts von Statemate) Beispiel 2: Conformiq Test Generator (basiert auf Statecharts von UML) Beispiel 3: Reactis (basiert auf Simulink / Stateflow)

6 Automatische Testdatengenerierung und das Orakel-Problem? Automatischer Testdatengenerator Testdaten Testergebnis Modell Eine funktionale Interpretation der automatisch generierten Testdaten meist sehr aufwändig Beurteilung des Testergebnisses problematisch Geeignete Einsatzszenarien

7 Einsatzszenario 1: Back-To-Back- und Regressionstests Back-to-Back-Tests dienen dem Nachweis der Äquivalenz zwischen verschiedenen Repräsentationsformen der Software, z.b. zwischen Modell und dem aus dem Modell generierten Programmcode. Regressionstests stellen sicher, dass die Modifikationen im Modell oder im Code die schon korrekt umgesetzte Funktionalität der älteren Version ebenfalls erfüllen. Testauswertung durch den Vergleich der Ausgangssignale; keine funktionale Testauswertung erforderlich.

8 Einsatzszenario 1: Testauswertung durch Signalvergleich Automatischer Testdatengenerator Automatische Testauswertung Testergebnis Automatische Testauswertung möglich, z.b. durch das Tool MEval OK NOK

9 Einsatzszenario 2: Entwicklungsbegleitende Tests Test kleiner Modellierungseinheiten durch die Entwickler Entwickler kennen die Struktur ihrer Artefakte sehr gut und sind in der Lage, die Ergebnisse der generierten Tests zu beurteilen. Automatischer Testdatengenerator Testdaten Testergebnis OK NOK Modul

10 Einsatzszenario 3: Effektive Teststrategie 1. Schritt: Funktionaler Test auf der Basis von Anforderungen; Messung der Modellüberdeckung während des Tests 2. Schritt: Struktureller Test zur Überdeckung der nicht durch den Black-Box-Test überdeckten Elemente (White-Box-Test) black-box test monitoring % white-box test requirements specification model test model coverage measurement model test

11 Einsatzszenario 3: Effektive Teststrategie: Testdatengenerierung Automatische Generierung von Testdaten beim 2. Schritt Funktional interessante Testfälle werden im 1. Schritt durchgeführt, deshalb keine funktionale Testauswertung im 2. Schritt erforderlich, nur Overflows, Deadlocks, toter Code,... black-box test monitoring % automatic test vector generation white-box test requirements specification model test model coverage measurement model test Testergebnis OK NOK

12 Einsatzszenario 4: Funktionale Tests Erstellung von Modellen zur Beschreibung des Testverhaltens (test objectives) Generierung von Testdaten zur Überdeckung von Testverhaltensmodellen Testverhalten Testergebnis Automatischer Testdatengenerator Testdaten OK NOK Testobjekt

13 Zusammenfassung Es gibt diverse Möglichkeiten zum Einsatz automatischer Testdatengenerierung im modellbasierten Test Der Einsatz automatischer Testdatengenerierung im modellbasierten Test führt zu: Erhöhung der Testeffizienz Reduzierung der Testkosten Verbesserung der Testqualität

Testautomatisierung: Ein akademisches Thema?

Testautomatisierung: Ein akademisches Thema? Testautomatisierung: Ein akademisches Thema? Sadegh Sadeghipour sadegh.sadeghipour@itpower.de Agenda Hintergrund Testautomatisierung aus der Sicht der Industrie Testautomatisierung in der akademischen

Mehr

Dr. Klaus Lamberg, Michael Beine

Dr. 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

Mehr

Testmethoden und tools in der modellbasierten Funktionsentwicklung

Testmethoden und tools in der modellbasierten Funktionsentwicklung Testmethoden und tools in der modellbasierten Funktionsentwicklung Dr.-Ing. Dipl.-Math. Klaus Lamberg Dipl.-Math. Michael Beine dspace GmbH, Paderborn Technologiepark 25 33100 Paderborn Phone +49 5251

Mehr

Systematisches Testen von Software

Systematisches Testen von Software Programmierung Systematisches Testen von Software Markus Eckstein Systematika Information Systems GmbH Kurfürsten-Anlage 36 69115 Heidelberg markus.eckstein@systematika.com Zusammenfassung Die wichtigsten

Mehr

Modellbasierte Softwareentwicklung

Modellbasierte Softwareentwicklung CD OCL OD Statechart SD Modellbasierte Softwareentwicklung 7. Evolutionäre Methodik 7.1. Vorgehensmodell Vorlesungsnavigator: Prof. Dr. Bernhard Rumpe Sprache Codegen. http://www.se-rwth.de/ Testen Evolution

Mehr

Test modellbasiert entwickelter Steuergeräte

Test modellbasiert entwickelter Steuergeräte Seite 1 von 31 26. Treffen der GI-Arbeitsgruppe Test, Analyse und Verifikation von Software Stuttgart, den 06.12.2007 Systematischer Test modellbasiert entwickelter Steuergeräte Dipl.-Ing. Matthias Wiese

Mehr

Testen - Konzepte und Techniken

Testen - Konzepte und Techniken Testen - Konzepte und Techniken Magdalena Luniak 21.11.2007 Magdalena Luniak () Testen - Konzepte und Techniken 21.11.2007 1 / 42 Übersicht 1 Motivation 2 Grundbegrie 3 Testen im Softwareentwicklungsprozess

Mehr

Entwicklungsbegleitender Test mechatronischer Systeme

Entwicklungsbegleitender Test mechatronischer Systeme Entwicklungsbegleitender Test mechatronischer Systeme Dr. Olaf Maibaum Folie 1 Übersicht Test von Regelungssoftware Testansätze MiL SiL PiL HiL Vergleich der Testansätze Testautomatisierung Testfälle Simulation

Mehr

T1 - Fundamentaler Testprozess

T1 - Fundamentaler Testprozess AK 2 am Armin Beer, Support Center Test der Software- Entwicklung 1 für einen erfolgreichen Test? Projektteam strebt nach Qualität Aufwände sind eingeplant (Richtwerte) 20 bis 30% des Gesamtaufwandes In

Mehr

Testautomatisierung. Lessons Learned. qme Software. Gustav-Meyer-Allee 25 13355 Berlin. Telefon 030/46307-230 Telefax 030/46307-649

Testautomatisierung. Lessons Learned. qme Software. Gustav-Meyer-Allee 25 13355 Berlin. Telefon 030/46307-230 Telefax 030/46307-649 Testautomatisierung Lessons Learned qme Software GmbH Gustav-Meyer-Allee 25 13355 Berlin Telefon 030/46307-230 Telefax 030/46307-649 E-Mail qme Software info@qme-software.de GmbH Testautomatisierung Lessons

Mehr

intence automotive electronics Ausführbare Spezifikation Der Weg zu besseren Anforderungen

intence automotive electronics Ausführbare Spezifikation Der Weg zu besseren Anforderungen intence automotive electronics Ausführbare Spezifikation Der Weg zu besseren Anforderungen Kurzvorstellung intence Agenda KURZVORSTELLUNG intence automotive electronics Wurde 2007 gegründet und ist Entwicklungspartner

Mehr

Erfolgreicher entwickeln durch systematisches Testen

Erfolgreicher entwickeln durch systematisches Testen Erfolgreicher entwickeln durch systematisches Testen Testen ist eine zentrale Maßnahme bei der Qualitätssicherung von Automobilelektronik. Nur durch systematisches und automatisiertes Testen kann eine

Mehr

T2 Fundamentaler Testprozess

T2 Fundamentaler Testprozess T2 Fundamentaler Siemens AG Österreich 2005 All Rights Reserved Institut f. Software Technology, TU-Graz Armin Beer, PSE Support-Center Test Overview der Software- Entwicklung 2 1 Wasserfall-Modell Analyse

Mehr

Techniken im Software-Test

Techniken im Software-Test Techniken im Software-Test München, 4. Juli 2000 Heiko Lötzbeyer Institut für Informatik Lehrstuhl für Technische Universität München Inhalt Ziele des Software Tests Überblick Teststufen Unit-Test Integrationstest

Mehr

Telling TestStories Modellbasiertes Akzeptanz Testen Serviceorientierter Systeme

Telling 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

Mehr

Requirement Engineering. in der Steuergeräteentwicklung

Requirement Engineering. in der Steuergeräteentwicklung Requirement Engineering in der Steuergeräteentwicklung A.User A.User IAV IAV GmbH GmbH Geschäftsfeld Geschäftsfeld Automobilelektronik Automobilelektronik Abteilung Abteilung Softwareentwicklung Softwareentwicklung

Mehr

Automotive Software Engineering

Automotive Software Engineering Automotive Software Engineering Dr.-Ing. Mirko Conrad DaimlerChrsler AG Research and Technolog Mirko.Conrad @ DaimlerChrsler.com +49 3 39982-263 Gliederung Automotive Software Engineering Teil I: Teil

Mehr

Deliverable D_MT_4.1_1. Konzept zum Test medizinisch-technischer Systeme am Beispiel des Notrufsystems für hilfsbedürftige Menschen, Phase 1

Deliverable D_MT_4.1_1. Konzept zum Test medizinisch-technischer Systeme am Beispiel des Notrufsystems für hilfsbedürftige Menschen, Phase 1 Deliverable D_MT_4.1_1 Konzept zum Test medizinisch-technischer Systeme am Beispiel des Notrufsystems für hilfsbedürftige Version 1.0 Projektbezeichnung SPES 2020 Verantwortlich Dr. Hans-Werner Wiesbrock

Mehr

Hauptseminar Automotive Software Engineering Testen, Rapid Prototyping und x in the loop

Hauptseminar Automotive Software Engineering Testen, Rapid Prototyping und x in the loop Hauptseminar Automotive Software Engineering Testen, Rapid Prototyping und x in the loop Christoph Niedermayr 20.01.2005 Überblick 1 2 X in the loop Rapid Prototyping Begriffe Was versteht man unter statischem

Mehr

Absicherung von Automotive Software Funktionen

Absicherung von Automotive Software Funktionen GI Themenabend "Automotive" Absicherung von Automotive Software Funktionen 27.02.2013 Jürgen Schüling Überblick Berner & Mattner Gründung: 1979 Mitarbeiter: 400 Umsatz 2011: Standorte: Angebot: Branchen:

Mehr

Software-Test für Embedded Systems

Software-Test für Embedded Systems Software-Test für Embedded Systems Ein Praxishandbuch für Entwickler, Tester und technische Projektleiter von Stephan Grünfelder 1. Auflage Software-Test für Embedded Systems Grünfelder schnell und portofrei

Mehr

Durchgängiger Software- und Systemtest einer hochdynamischen Antriebsregelung

Durchgängiger Software- und Systemtest einer hochdynamischen Antriebsregelung Durchgängiger Software- und Systemtest einer hochdynamischen Antriebsregelung mit Hilfe des Testwerkzeuges Time Partition Testing (TPT) Norbert Büttner PikeTec GmbH Übersicht Integration von TPT in den

Mehr

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker

ABSICHERUNG 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

Mehr

Software Qualitätssicherung durch systematischen Softwaretest

Software Qualitätssicherung durch systematischen Softwaretest Software Qualitätssicherung durch systematischen Softwaretest Innovative Techniken und aktuelle Herausforderungen Dr. Bernhard Peischl Softnet Austria Institut für Softwaretechnologie Technische Universität

Mehr

"Spezifikationsbasierter Softwaretest" Test mit Matlab/Simulink/Stateflow

Spezifikationsbasierter Softwaretest Test mit Matlab/Simulink/Stateflow "Spezifikationsbasierter Softwaretest" Test mit Matlab/Simulink/Stateflow Übersicht Überblick über Matlab-Produktfamilie Systematischer Test Effektive teststrategie für den modell-basierten test Testverfahren

Mehr

Software Testen 2.0 VL

Software Testen 2.0 VL Software Testen 2.0 VL Software Testen VO3 2009W http://www.inso.tuwien.ac.at/lectures/software_testen INSO - Industrial Software Institut für Rechnergestützte Automation Fakultät für Informatik Technische

Mehr

Testkonzept eines UAV Missionsplaners

Testkonzept eines UAV Missionsplaners Testkonzept eines UAV Missionsplaners Christoph Torens, Florian Adolf German Aerospace Center (DLR) Institute of Flight Systems, Dept. Unmanned Aircraft DGLR Workshop 2013 Durchgängige Entwicklung von

Mehr

Code Generator Certification: A Test Suite-oriented Approach

Code Generator Certification: A Test Suite-oriented Approach Code Generator Certification: A Test Suite-oriented Approach DaimlerChrysler AG, Research E/E and Information Techlogy {Mirko.Conrad Ingo.Stuermer@DaimlerChrysler.com Überblick Motivation Ziele der Arbeiten

Mehr

Praktikum Software Engineering: Verfahren und Werkzeuge

Praktikum Software Engineering: Verfahren und Werkzeuge Praktikum Software Engineering: Verfahren und Werkzeuge Lehrstuhl für Software Engineering (Informatik 11) Verfahren und Werkzeuge Seite 1 Software Engineering Absichten, Aufgaben Systemnutzung Anforderungsspezifikation

Mehr

ALLG. METHODEN DES SOFTWAREENGINEERING

ALLG. METHODEN DES SOFTWAREENGINEERING Test und Testdokumentation ALLG. METHODEN DES SOFTWAREENGINEERING Agenda Maßnahmen zur Qualitätssicherung und Steigerung Tests, Testkategorien und Fehlerarten Teststufen und Testplanung Testdokumentation

Mehr

Vector Software. Test Automation mit VectorCAST während der gesamten Softwareentwicklung W H I T E P A P E R

Vector Software. Test Automation mit VectorCAST während der gesamten Softwareentwicklung W H I T E P A P E R Vector Software W H I T E P A P E R Test Automation mit VectorCAST während der gesamten Softwareentwicklung VectorCAST Produktfamilie Die VectorCAST Produktfamilie automatisiert Testaktivitäten über den

Mehr

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Insert picture and click Align Title Graphic. Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Dr. Dieter Lederer, Geschäftsführer Vector Consulting Services GmbH

Mehr

Vector Software W H I T E P A P E R. Mit VectorCAST die FDA-Anforderungen an Softwaretests erfüllen

Vector Software W H I T E P A P E R. Mit VectorCAST die FDA-Anforderungen an Softwaretests erfüllen Vector Software W H I T E P A P E R Mit VectorCAST die FDA-Anforderungen an Softwaretests erfüllen Einführung Die VectorCAST Produktfamilie automatisiert Testaktivitäten über den gesamten Software Entwicklungszyklus.

Mehr

1 Einleitung...1. Teil I Handwerkszeug...11. 2 Definitionen zur Qualität...13

1 Einleitung...1. Teil I Handwerkszeug...11. 2 Definitionen zur Qualität...13 Inhaltverzeichnis 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?...3 1.4 Welche Testwerkzeuge werden genannt?...5 1.5 Was liefert dieses

Mehr

Einführung von Testautomatisierung reflektiert. Erkenntnisse eines Linienmanagers zu Herausforderungen und Fallgruben

Einführung von Testautomatisierung reflektiert. Erkenntnisse eines Linienmanagers zu Herausforderungen und Fallgruben Einführung von Testautomatisierung reflektiert Erkenntnisse eines Linienmanagers zu Herausforderungen und Fallgruben Matt Young Leiter Test Acquiring Inhaltsverzeichnis Einleitung Testautomatisierung PostFinance

Mehr

Einführung in die ISO 26262

Einführung in die ISO 26262 Einführung in die ISO 26262 Herausforderungen für das Management von Verifikations- und Validationsdaten Dr. Ralf Nörenberg HighQSoft GmbH 19.08.2012 HighQSoft GmbH www.highqsoft.de Einführung in die ISO

Mehr

Constraintbasierte Testdatenanalyse für eingebettete Steuerungssoftware

Constraintbasierte Testdatenanalyse für eingebettete Steuerungssoftware Universität Stuttgart Institut für Automatisierungs- und Softwaretechnik Prof. Dr.-Ing. Dr. h. c. P. Göhner Constraintbasierte Testdatenanalyse für eingebettete Steuerungssoftware Paul Linder Simulations-

Mehr

Durchgängigkeit und Traceability in der Entwicklung ISO 26262-konformer Systeme mit Model-Based Design

Durchgängigkeit und Traceability in der Entwicklung ISO 26262-konformer Systeme mit Model-Based Design Durchgängigkeit und Traceability in der Entwicklung ISO 26262-konformer Systeme mit Model-Based Design Dr. Marc Born, Dr. Olaf Kath; ikv++ technologies ag Dr. Mirko Conrad, Guido Sandmann; MathWorks Abstract

Mehr

Qualitätssicherung und Testen

Qualitätssicherung und Testen Qualitätssicherung und Testen Dr. Friederike Nickl friederike.nickl@sepis.de Softwareentwicklung, Produkt- und Informations- Service GmbH Berliner Straße 85, 80805 München Gliederung 1. Qualitätsmanagement

Mehr

DER SYSTEMTEST VON DEN ANFORDERUNGEN ZUM QUALITÄTSNACHWEIS

DER SYSTEMTEST VON DEN ANFORDERUNGEN ZUM QUALITÄTSNACHWEIS harry m. SNEED manfred BAUMGARTNER richard SEIDL DER SYSTEMTEST VON DEN ANFORDERUNGEN ZUM QUALITÄTSNACHWEIS 3. Auflage EXTRA: Mit kostenlosem E-Book Onlinebonus: Nützliche Systemtest-Tools zum (teils)

Mehr

Systemen - Testprozess. Testprozess. Testprozess: Aktivitäten. Testplanung und Teststeuerung. Testplanung und Teststeuerung

Systemen - Testprozess. Testprozess. Testprozess: Aktivitäten. Testplanung und Teststeuerung. Testplanung und Teststeuerung 2007 Dr. Klaudia Dussa-Zieger P r a k t I s c h e Testprozess - Inhalt Testprozess Testen von Software-Systemen Systemen - Testprozess Lehrplan 2003 Testplanung Testausführung ierung Testendebewertung

Mehr

Modellbasierte Funktionsentwicklung für Komfortsteuergeräte

Modellbasierte Funktionsentwicklung für Komfortsteuergeräte Modellbasierte Funktionsentwicklung für Komfortsteuergeräte Vorgehensweise, Ergebnisse und Potenziale Torsten Klein Business Team Manager Modellbasierte Entwicklung Internationale Zuliefererbörse, Wolfsburg,

Mehr

Systemen - Testprozess. Testprozess. Testprozess: Aktivitäten. Testplanung und Teststeuerung. Lehrplan 2003 Testplanung

Systemen - Testprozess. Testprozess. Testprozess: Aktivitäten. Testplanung und Teststeuerung. Lehrplan 2003 Testplanung P r a k t I s c h e Testprozess - Inhalt Testprozess Testen von Software-Systemen Systemen - Testprozess Lehrplan 2003 Testplanung Testausführung ierung Testendebewertung Testberichterstattung Lehrplan

Mehr

IT-Arbeitskreis OWL. Testautomatisierung 2.0. Modellbasiertes Testen. Baris Güldali 08.12.2010

IT-Arbeitskreis OWL. Testautomatisierung 2.0. Modellbasiertes Testen. Baris Güldali 08.12.2010 IT-Arbeitskreis OWL Testautomatisierung 2.0 Baris Güldali 08.12.2010 Modellbasiertes Testen Agenda Warum Testautomatisierung 2.0? Was ist MBT? Wie soll ich mit MBT anfangen? Wann ist MBT geeignet? 2 Fundamentaler

Mehr

Testmanagement in IT-Projekten

Testmanagement in IT-Projekten Teil 1: Projektmagazin 05/20009 Teil 2: Projektmagazin 06/2009 1 Test: Prozess, bei dem ein Programm oder ein Software-System ausgeführt wird, um Fehler zu finden Teil 1: Projektmagazin 05/20009 Teil 2:

Mehr

your engineering partner boost your development

your engineering partner boost your development boost development Individuelle Lösungen von Ihrem Engineering Partner Luft- und Raumfahrt Wir realisieren Ihre Visionen und setzen unser ganzes Know-How ein, damit Ihre Ziele praxisgerecht, zeitnah und

Mehr

Lebendige Sicherheit: Entwicklung von Secure Software im dynamischen Umfeld

Lebendige Sicherheit: Entwicklung von Secure Software im dynamischen Umfeld Lebendige Sicherheit: Entwicklung von Secure Software im dynamischen Umfeld Prof. Dr. Ruth Breu Quality Engineering Laura Bassi LaB Institut für Informatik Universität Innsbruck Quality Engineering Projekte

Mehr

dspace (1/3) dspace: Gegründet 1988 in Paderborn Mitarbeiter: Über 650 Mitarbeiter weltweit, davon über 70 % Ingenieure Ständiges Mitarbeiterwachstum

dspace (1/3) dspace: Gegründet 1988 in Paderborn Mitarbeiter: Über 650 Mitarbeiter weltweit, davon über 70 % Ingenieure Ständiges Mitarbeiterwachstum Agenda dspace und das V-Modell für Steuergeräte- Entwicklung Wie funktioniert Rapid Control Prototyping TargetLink: Vom Model zum Code Ein Wort zu HIL Praxisbeispiele dspace (1/3) dspace: Gegründet 1988

Mehr

Qualitätsmanagement im Projekt

Qualitätsmanagement im Projekt Software-Engineering Qualitätsmanagement im Projekt Vorlesung im Wintersemester 2008/2009 Fakultät Wirtschaftsinformatik Klaus Mairon, M.Sc. Inhalte Messen und Bewerten: Metriken in der Qualitätssicherung

Mehr

Korrektheitsbegriffe für modellbasierte Codegeneratoren

Korrektheitsbegriffe für modellbasierte Codegeneratoren Korrektheitsbegriffe für modellbasierte Codegeneratoren Institut für Informatik Martin-Luther-Universität Halle-Wittenberg 9.IT 2 22.06.2006 Dr. Mirko Conrad The MathWorks München Prof. Dr. Wolf Zimmermann

Mehr

Kooperatives Testen Basis auch zur Testautomatisierung während der Softwareentwicklung. Dipl. Inform. Hans-Josef Eisenbach

Kooperatives Testen Basis auch zur Testautomatisierung während der Softwareentwicklung. Dipl. Inform. Hans-Josef Eisenbach Kooperatives Testen Basis auch zur Testautomatisierung während der Softwareentwicklung Dipl. Inform. Hans-Josef Eisenbach Der rote Faden Motivation zum Testen während der Softwareentwicklung Das Testkonzept

Mehr

Entwicklungsprozess Verbesserung:

Entwicklungsprozess Verbesserung: Standardisierte Entwicklungsumgebung für die Softwareeigenentwicklung bei Audi Gerhard Kiffe und Thomas Bock (Audi Electronics Venture GmbH) EnProVe - Intension Entwicklungsprozess Verbesserung: Projekt

Mehr

Notwendigkeit der Testautomatisierung? Neue Ideen, Konzepte & Werkzeuge

Notwendigkeit der Testautomatisierung? Neue Ideen, Konzepte & Werkzeuge i.s.x. Software GmbH & Co. KG Notwendigkeit der Testautomatisierung? Neue Ideen, Konzepte & Werkzeuge i.s.x. Software GmbH & Co. KG Dresden, 19. Februar 2013 Karin Eisenblätter Die i.s.x. Software GmbH

Mehr

Einführung Arten von Softwaretests Prinzipien Continuous Integration Tests in FLOSS-Projekten Quellen. Softwaretests. Christoph Betschart

Einfü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

Mehr

Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung

Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung Gegenseitige Beeinflussungen von Testautomatisierung, Testmanagement und Entwicklung Jan Düttmann Archimedon Software + Consulting GmbH & Co. KG Marienstraße 66 32427 Minden Stephan Kleuker Hochschule

Mehr

Testen von Produkten und Softwareproduktlinien

Testen von Produkten und Softwareproduktlinien Testen von Produkten und Softwareproduktlinien Jan-David Hof Universität Siegen 16.02.15 1 Allgemein 2 Testen von Software Testartefakte Domain und Application Testing 3 Testverfahren Test-Level Kriterien

Mehr

we keep you ahead Ihr leistungsstarker und zuverlässiger Partner für computerunterstützte Prozesse.

we keep you ahead Ihr leistungsstarker und zuverlässiger Partner für computerunterstützte Prozesse. we keep you ahead electronics vehicle engineering solutions Zukunft CAx Methoden, ist ein steuerbarer Training & Support. Gedanke. Ihr leistungsstarker und zuverlässiger Partner für computerunterstützte

Mehr

Testen II. (Management, Tools) Daniela Rose. Software Engineering Projekt WS07/08 Fachgebiet Softwaretechnik und Systemgestaltung

Testen II. (Management, Tools) Daniela Rose. Software Engineering Projekt WS07/08 Fachgebiet Softwaretechnik und Systemgestaltung Testen II (Management, Tools) Daniela Rose Fachgebiet Softwaretechnik und Systemgestaltung 12.12.2007 Gliederung 1. Motivation 2. Der grundlegende Testprozess 3. Testen im Softwareentwicklungsprozess 4.

Mehr

Embedded Software Systeme systematisch und durchgängig Testen

Embedded Software Systeme systematisch und durchgängig Testen Embedded Software Systeme systematisch und durchgängig Testen Stefan Lachmann, PikeTec GmbH stefan.lachmann@piketec.com Kurzfassung Sicherheitskritische eingebettete Systementwicklungen erfordern besondere

Mehr

vorne Nach dspace Magazin 1/2014 dspace GmbH, Paderborn, Germany info@dspace.com www.dspace.com

vorne Nach dspace Magazin 1/2014 dspace GmbH, Paderborn, Germany info@dspace.com www.dspace.com Seite 64 Kommentar EntwicklungsTREnD Nach vorne Die Produktivität der automotiven Software-Entwicklung profitiert seit vielen Jahren von der modellbasierten Entwicklung mit automatischer Seriencode- Generierung

Mehr

Sicherheit. Höchste. Nord-Micro: TargetLink seit dem Jahr 2000 in unterschiedlichsten Flugzeugtypen im Einsatz. Seite 6.

Sicherheit. Höchste. Nord-Micro: TargetLink seit dem Jahr 2000 in unterschiedlichsten Flugzeugtypen im Einsatz. Seite 6. Seite 6 nord-micro Höchste Sicherheit Nord-Micro: TargetLink seit dem Jahr 2000 in unterschiedlichsten Flugzeugtypen im Einsatz Seite 7 In Flugzeugen mit Druckkabine muss der Luftdruck über spezielle Ventile

Mehr

Programmieren I. Übersicht. Vorlesung 12. Handout S. 1. Martin Schultheiß. Hochschule Darmstadt Wintersemester 2010/2011

Programmieren I. Übersicht. Vorlesung 12. Handout S. 1. Martin Schultheiß. Hochschule Darmstadt Wintersemester 2010/2011 Programmieren I Martin Schultheiß Hochschule Darmstadt Wintersemester 2010/2011 1 2 Übersicht Testen ist eine der wichtigsten, aber auch eine der Zeitaufwändigsten Arbeitsschritte der Softwareentwicklung.

Mehr

Vorwort. Harry M. Sneed, Manfred Baumgartner, Richard Seidl. Der Systemtest. Von den Anforderungen zum Qualitätsnachweis ISBN: 978-3-446-42692-4

Vorwort. Harry M. Sneed, Manfred Baumgartner, Richard Seidl. Der Systemtest. Von den Anforderungen zum Qualitätsnachweis ISBN: 978-3-446-42692-4 Vorwort Harry M. Sneed, Manfred Baumgartner, Richard Seidl Der Systemtest Von den Anforderungen zum Qualitätsnachweis ISBN: 978-3-446-42692-4 Weitere Informationen oder Bestellungen unter http://www.hanser.de/978-3-446-42692-4

Mehr

Modellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer

Modellierung 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

Leistungsportfolio. embeddeers GmbH

Leistungsportfolio. embeddeers GmbH Firmenüberblick Die ist ein Unternehmen für Entwicklungsdienstleistung und Beratung mit derzeit 40 erfahrenen Mitarbeitern. Hauptkunden sind Zulieferer der Automobilindustrie mit den Schwerpunkten sicherheitsrelevante

Mehr

Senior Consulting. Senior Consulting Strategical, Conceptual and Technical Consulting. 30.01.2011 Seite 1

Senior Consulting. Senior Consulting Strategical, Conceptual and Technical Consulting. 30.01.2011 Seite 1 30.01.2011 Seite 1 This flyer is exclusively for the use of client personnel. No part of it may be distributed, quoted or reproduced outside the client organisation without the prior written approval of

Mehr

Modellbasierte Entwicklung im Kontext von Medizingeräten

Modellbasierte Entwicklung im Kontext von Medizingeräten up FPGA Modellbasierte Entwicklung im Kontext von Medizingeräten Gemeinsamer Ausgangspunkt für Software- und Hardwareentwicklung Osnabrück, 06.02.2014, Wanja Schöpfer Agenda 1 Einleitung 2 Modellbasierte

Mehr

Softwaretechnik. Vertretung von Prof. Dr. Blume Fomuso Ekellem WS 2011/12

Softwaretechnik. Vertretung von Prof. Dr. Blume Fomuso Ekellem WS 2011/12 Vertretung von Prof. Dr. Blume WS 2011/12 Inhalt Test, Abnahme und Einführung Wartung- und Pflegephase gp Vorlesung Zusammenfassung Produkte und Recht (Folien von Prof. Blume) 2 , Abnahme und Einführung

Mehr

Leistungen - Anforderungsanalyse

Leistungen - Anforderungsanalyse Firmenprofil / Leistungen TÄTIGKEITSFELD Wir, die verstehen uns als Spezialisten im Bereich der Embedded Elektronik Entwicklung. Unsere Kernkompetenz resultiert aus nahezu 20 Jahren Entwicklungstätigkeit,

Mehr

Testphase. Das Testen

Testphase. Das Testen Testphase VIS Projekt Freie Universität Berlin N.Ardet - 17.4.2001 Das Testen Testen ist das Ausführen eines Software- (Teil)systems in einer definierten Umgebung und das Vergleichen der erzielten mit

Mehr

Ein Testprozess für Modellbasiertes Testen

Ein Testprozess für Modellbasiertes Testen Ein Testprozess für Modellbasiertes Testen Seminar: Software-Qualitätssicherung Tobias Eckardt 8. Juli 2008 Testen von Softwaresystemen Fehler in einer adaptiven Geschwindigkeitsregelung (engl. adaptive

Mehr

Benutzungsorientiertes und modellzentriertes Testen im HiL-Testing. Testing

Benutzungsorientiertes und modellzentriertes Testen im HiL-Testing. Testing SOFTWARE Testing Benutzungsorientiertes und modellzentriertes Testen im HiL-Testing Das Finden der richtigen Testfälle ist für Tester, Testmanager und Projektverantwortliche eine entscheidende Aufgabe.

Mehr

Übungen zu. Kraftfahrzeugmechatronik II

Übungen zu. Kraftfahrzeugmechatronik II Übungen zu Kraftfahrzeugmechatronik II Software-Entwicklung nach dem V-Modell Übungen Rapid Prototyping und Target Link Quelle: Schäuffele/Zurawka Automotiv Software Engineering vieweg Verlag Umsetzung

Mehr

Software - Testung ETIS SS05

Software - Testung ETIS SS05 Software - Testung ETIS SS05 Gliederung Motivation Was ist gute Software? Vorurteile gegenüber Testen Testen (Guidelines + Prinzipien) Testarten Unit Tests Automatisierte Tests Anforderungen an Testframeworks

Mehr

Testen Prinzipien und Methoden

Testen Prinzipien und Methoden Testen Prinzipien und Methoden ALP 2 SS2002 4.7.2002 Natalie Ardet Definition Im folgenden gilt: Software = Programm + Daten + Dokumentation Motivation Software wird immer mehr in Bereichen eingesetzt,

Mehr

Peter Liggesmeyer. Software-Qualität. Testen, Analysieren und Verifizieren von Software. 2. Auflage. Spektrum k-/l AKADEMISCHER VERLAG

Peter Liggesmeyer. Software-Qualität. Testen, Analysieren und Verifizieren von Software. 2. Auflage. Spektrum k-/l AKADEMISCHER VERLAG Peter Liggesmeyer Software-Qualität Testen, Analysieren und Verifizieren von Software 2. Auflage Spektrum k-/l AKADEMISCHER VERLAG 1 Inhaltsverzeichnis 1 Einführung 1 1.1 Motivation 2 1.2 Terminologie

Mehr

Systematischer Test des kontinuierlichen Verhaltens automobiler Software Systeme

Systematischer Test des kontinuierlichen Verhaltens automobiler Software Systeme Systematischer Test des kontinuierlichen Verhaltens automobiler Software Systeme Stefan Lachmann, Andreas Krämer Kurzfassung Das Time Partition Testing (TPT) ist ein spezialisiertes Testverfahren und ein

Mehr

Testanalyse und Testautomation bei der ImmobilienScout24

Testanalyse und Testautomation bei der ImmobilienScout24 www.immobilienscout24.de Testanalyse und Testautomation bei der ImmobilienScout24 Stuttgart 02.10.2009 Katrin Jähn / Eric Hentschel Inhalt Ausgangssituation Motivation Projekt Ganzheitliche Teststrategie

Mehr

Effiziente Qualitätssicherung und Testen mit Microsoft Visual Studio 2010

Effiziente Qualitätssicherung und Testen mit Microsoft Visual Studio 2010 Effiziente Qualitätssicherung und Testen mit Microsoft Visual Studio 2010 Dieses Whitepaper gibt einen Einblick in die Möglichkeiten der Qualitätssicherung mit Microsoft Visual Studio 2010 (Beta2) mit

Mehr

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Einleitung Modell-basierte Entwicklung bei Silver Atena Erfahrung mit Modell-basierter Entwicklung

Mehr

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser Qualification-Kit für Testwell CTC++ In der sicherheitskritischen Softwareentwicklung müssen die im Projekt eingesetzten Werkzeuge zunächst klassifiziert werden (Tool Classification). Diese Klassifizierung

Mehr

Auszug aus der Studie Kosten und Nutzen der modellbasierten Entwicklung eingebetteter Softwaresysteme im Automobil"

Auszug aus der Studie Kosten und Nutzen der modellbasierten Entwicklung eingebetteter Softwaresysteme im Automobil Auszug aus der Studie Kosten und Nutzen der modellbasierten Entwicklung eingebetteter Softwaresysteme im Automobil" Dr. Jens Zimmermann & Sascha Kirstan Bernhard - Wicki - Str.3 80636 München Studienergebnisse

Mehr

Automatische Testfallgenerierung aus Modellen. 8. Neu-Ulmer Test-Engineering-Day 2013 06.06.2013 Martin Miethe

Automatische Testfallgenerierung aus Modellen. 8. Neu-Ulmer Test-Engineering-Day 2013 06.06.2013 Martin Miethe Automatische Testfallgenerierung aus Modellen 8. Neu-Ulmer Test-Engineering-Day 2013 06.06.2013 Martin Miethe Über sepp.med Über 30 Jahre Erfahrung im industriellen Umfeld Medizintechnik Pharmazie Automotive

Mehr

Lehrplan: SW- Qualitätssicherung

Lehrplan: SW- Qualitätssicherung Lehrplan: SW- Qualitätssicherung Tobias Brückmann Volker Gruhn Gliederung 1 Grundlagen und Kontext im SW- Prozess 1.1 Ursachen und Risiken von SW- Fehlern 1.2 KlassifikaGon von Fehlern 1.3 Begriffe (Qualität,

Mehr

Test-Strategien. Grundsätzliches Blackbox-Testen Whitebox-Testen Graybox-Testen Ablauf von Tests Zusammenfassung. HS Mannheim

Test-Strategien. Grundsätzliches Blackbox-Testen Whitebox-Testen Graybox-Testen Ablauf von Tests Zusammenfassung. HS Mannheim Test- Grundsätzliches - - - Ablauf von Tests Grundsätzliche Test- -Tests Äquivalenzklassenbildung Randwertanalyse -Tests Man unterscheidet verschiedene Überdeckungsgrade: Statement Coverage Decision Coverage,

Mehr

Abnahme von Software Prof. Dr. Johannes Ecke-Schüth

Abnahme von Software Prof. Dr. Johannes Ecke-Schüth Qualitätssicherung Von der Abnahme der Software bis zum integrierten Qualitätsmanagement 1 Fachhochschule Dortmund Fachbereich Informatik Roter Faden 2 Abnahme von Software Funktionsorientiertes Testen

Mehr

Otto-von-Guericke Universität Magdeburg Fakultät für Informatik Prof. Dr. R. Dumke. Prüfungsklausur Softwaretechnik I. Bewertung

Otto-von-Guericke Universität Magdeburg Fakultät für Informatik Prof. Dr. R. Dumke. Prüfungsklausur Softwaretechnik I. Bewertung Otto-von-Guericke Universität Magdeburg Fakultät für Informatik Prof. Dr. R. Dumke Prüfungsklausur Softwaretechnik I A Bewertung Aufgabe 1 (2 Punkte): Für die phasenbezogene Software-Entwicklung (Problemdefinition

Mehr

Best Practices für flexible und wartbare Codegeneratoren mit openarchitectureware Karsten Thoms Software Architekt 20.04.2009

Best Practices für flexible und wartbare Codegeneratoren mit openarchitectureware Karsten Thoms Software Architekt 20.04.2009 Best Practices für flexible und wartbare Codegeneratoren mit openarchitectureware Karsten Thoms Software Architekt 20.04.2009 1 Agenda (1) Fornax-Plattform, Cartridges (2) Referenzimplementierung, Referenzmodell

Mehr

4.8! Integration der Software-Komponenten

4.8! Integration der Software-Komponenten 4.8! Integration der n Analyse der Benutzeranforderungen & Spezifikation der logischen Systemarchitektur zur System- und Software- Entwicklung Anwendungsfälle Testergebnisse Akzeptanztest & Systemtest

Mehr

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler

Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler Proc. Modellierung 2004, Marburg (D), 23.-26. März 2004 Lecture Notes in Informatics (LNI), Vol. P-45, S. 31-41 Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler Torsten Klein,

Mehr

Testest Du schon? Verfahren und Tools zum Testen von Software

Testest Du schon? Verfahren und Tools zum Testen von Software Testest Du schon? Verfahren und Tools zum Testen von Software Martin Kompf Dezember 2010 JAVA USER GROUP DARMSTADT Testing Software Ziel des Softwaretests ist es, Fehler aufzudecken. Nachzuweisen, dass

Mehr

Schriftenreihe. Toolgestützte Verifikation verteilter technischer Steuerungssysteme auf der Basis von Aktivitätsdiagrammen. von.

Schriftenreihe. Toolgestützte Verifikation verteilter technischer Steuerungssysteme auf der Basis von Aktivitätsdiagrammen. von. Schriftenreihe Toolgestützte Verifikation verteilter technischer Steuerungssysteme auf der Basis von Aktivitätsdiagrammen von Dirk Zander RUHR - UNIVERSITÄT BOCHUM Fakultät Maschinenbau S Institut Product

Mehr

Prozess-Modelle für die Softwareentwicklung

Prozess-Modelle für die Softwareentwicklung Prozess-Modelle für die Softwareentwicklung Prof. Dr. Andreas Spillner Institut für Informatik und Automation Hochschule Bremen Übersicht Softwareentwicklungs-Modelle Wasserfall-Modell Vorgehensmodell

Mehr

Stuttgarter Test-Tage 2011 Der Fluch des grünen Balkens in sehr großen Projekten

Stuttgarter Test-Tage 2011 Der Fluch des grünen Balkens in sehr großen Projekten main {GRUPPE} Seite 1 Jürgen Nicolai Geschäftsführender Gesellschafter Liebknechtstrasse 33 70178 Stuttgart Tel : 0711 2270225 Fax : 0711 2270497 Mail : j.nicolai@main-gruppe.de Web: www.health4j.de Stuttgarter

Mehr

Basiswissen Softwaretest

Basiswissen 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

Mehr

vom laufenden Band Industrialisierte Integration und Validierung von TargetLink-Modellen für die Serienproduktion

vom laufenden Band Industrialisierte Integration und Validierung von TargetLink-Modellen für die Serienproduktion SEITE 24 EB AUTOMOTIVE Industrialisierte Integration und Validierung von TargetLink-Modellen für die Serienproduktion Software vom laufenden Band Die steigende Komplexität von Software-Systemen im Fahrzeug

Mehr

Methoden des Software Engineering

Methoden des Software Engineering Vorlesung Methoden des Software Engineering Block F Test und Validierung F 1 Qualitätsmanagement und Software-Test Christian Prehofer Unter Verwendung von Materialien von Martin Wirsing Block F Test und

Mehr

Funktionale Sicherheit Testing unter

Funktionale Sicherheit Testing unter Funktionale Sicherheit Testing unter den Bedingungen der Safety Integrity Levels Präsentation auf dem Neu-Ulmer Test-Engineering Day Sebastian Stiemke, MissingLinkElectronics, Neu-Ulm 1 Inhalt Idee hinter

Mehr

9.1 Grundlagen Nochmals: Verifikation und Test in der SW-Entwicklung. Existenz von Fehlern. Herausforderungen. 9. Kapitel Test von Software

9.1 Grundlagen Nochmals: Verifikation und Test in der SW-Entwicklung. Existenz von Fehlern. Herausforderungen. 9. Kapitel Test von Software Verlässliche Systeme Wintersemester 2015/2016 Nochmals: Verifikation und Test in der SW-Entwicklung Verlässliche Systeme Fehler Test 9. Kapitel Test von Software Vorstellung des Kunden Formale Spezifikation

Mehr

10. Konstruktive Qualitätssicherung

10. Konstruktive Qualitätssicherung 10. Konstruktive Qualitätssicherung Idee Coding Guidelines Werkzeugeinstellungen weitere Maßnahmen Software-Qualität Stephan Kleuker 292 Ansatz die analytische Qualitätssicherung greift erst, wenn ein

Mehr