Modellbasiertes Testen Alter Wein in neuen Schläuchen?
|
|
- Anna Kaufer
- vor 8 Jahren
- Abrufe
Transkript
1 - Alter Wein in neuen Alter Wein in neuen Universität Paderborn 17. April 2008 Prof. Dr. Mario Winter FH Köln Ihr Referent: Prof. Dr. Mario Winter Dipl.-Ing. (GH Siegen 1983), Dipl.-Inform. (Uni Hagen 1994) Institut für Informatik der Fachhochschule Köln Sprecher der GI-Fachgruppe Test, Analyse und Verifikation von Software (TAV) Gründungsmitglied des German Testing Board (GTB) des ISTQB Mitglied des Forschungsschwerpunkts Software-Qualität der FH-Köln Forschung, Lehre, Beratung, Schulung und Coaching zu Softwareentwicklung Modellierung / UML Qualitätssicherung Software-Test Projektmanagement Folie 2, 17. April
2 - Alter Wein in neuen Warum Testen? Der erste Software-Fehler :45: Eine Motte verursacht einen Fehler in Relais Nr. 70, Panel F, im Rechner Mark I. Mrs. Grace Murray Hopper beseitigt den Fehler und dokumentiert ihn im Log-Buch.»First actual case of bug being found.«ein»offen«-sichtlicher Fehler! Lokalisierung (?) und Beseitigung ist einfach! http: // Folie 3... und viele, viele weitere Software-Fehler! NASA - Erdbeobachtungssatelliten Ozonloch 7 Jahre (!) lang nicht erkannt Ursache: Softwarefehler Veränderung der Ozonschicht als Sensordrift durch automatische Nullpunktkorrektur herausgemittelt ESA, Kourou, Franz. Guyana, 4. Juni 1996 Selbstzerstörung der Ariane 5 beim Jungfernflug 39 Sek. nach dem Start 800 Mio. Schaden, davon 450 Mio. wg. 2 zerstörter Satelliten Ursache: Softwarefehler Lageregelungssoftware Ariane 4 ohne Test wiederverwendet, dadurch Overflow bzw. Konvertierungsfehler Deutsche Bank 24, Anfang Januar 2002 Nächtlicher Batch-Lauf, einige Tausend der insgesamt etwa 1,5 Millionen angefallenen Kontobewegungen durch einen Programmfehler falsch bearbeitet: Euro-Beträge um das 1,95-fache erhöht abgebucht. Zufälligerweise (!) nur Geldautomaten-Transaktionen der DB 24 betroffen Ursache: Softwarefehler Details nicht näher bekannt gegeben... Folie 4 Ariane 5 Flight 501, 17. April
3 - Alter Wein in neuen : Überblick Alter Wein? Neue Schläuche? Folie 5 : Wo sind wir? Alter Wein? Neue Schläuche? Folie 6, 17. April
4 - Alter Wein in neuen Fehlhandlung, Fehlerzustand, Fehlerwirkung und Testen Kein umfangreiches Softwaresystem ist fehlerfrei Testen ist eine stichprobenartige Prüfung Fehlerfreiheit ist durch Testen nicht erreichbar Testen ist nicht Debugging deckt auf Testen Debugging Standards, Normen, Ausbildung... sucht verhindert Fehlerwirkung Fehlerzustand Fehlhandlung einer Person in einem Program das fehlschlägt Folie 7 Gebiete des Software-Tests ISTQB Certified Tester Lehrplan Foundation Level Grundlagen des Softwaretestens Begriffsdefinitionen Motivation für den Softwaretest Fundamentaler Testprozess Die Psychologie des Testens Testwiederholung u. Regressionstest Sollwerte Priorisierung von Tests Testen im SW-Lebenszyklus Testprozess Wirtschaftlichkeit des Testens Testkonzept Komponententest Integrationstest Funktionaler Systemtest Nichtfunktionaler Systemtest Abnahmetest Instandhaltungs- u. Wartungstest Dynamischer Test Dynamischer Test Begriffserklärung Black und White Box Test Techniken Funktionaler Test Techniken Struktureller Test Intuitive Testfallermittlung Statischer Test Bedeutung Statischer Test Reviews und Testprozess Reviewtypen Statische Analyse Testmanagement Organisation Konfigurationsmanagement Testaufwand, -überwachung, -steuerung Abweichungsmanagement Standards für den Test Testwerkzeuge Typen von Testunterstützungswerkzeugen Werkzeug-Auswahl und -Einsatz = MBT-Relevanz 2007 ISTQB / German Testing Board Folie 8, 17. April
5 - Alter Wein in neuen Wann und wogegen wird getestet? Requirements Komponententest Abnahmetest Start Planung und Steuerung Konstruktion Analyse Architektur Entwurf Implementation Systemtest Integrationstest Validierung & Verifikation Teststufe Testanalyse und Testspezifikation Testrealisierung und Testausführung Testauswertung und Bericht Abschluss der Testaktivitäten Ende Testfälle basieren auf Arbeitsprodukten (Dokumente) Testprozess [ISTQB Certified Tester Foundation Level Syllabus 2005] Folie 9 Wie wird getestet? Statischer Test Kein ausführbarer Code notwendig Automatische Codeanalyse Manuelle Reviews und Inspektionen Dynamischer Test Ausführbarer Code notwendig Testfälle mit Eingaben und erwarteter Ausgabe / Verhalten Für Komponenten- und Integrationstests werden Testrahmen benötigt DIN/ISO 61504, EN 50128, DO178B,... V-Modell XT, RUP,... Stimulierung Testobjekt Beobachtung Prozessor Folie 10, 17. April
6 - Alter Wein in neuen Dynamischer Test: Black-box vs. White-box Testfall = (Vorzustand + Eingabedaten, Ausgabedaten + Nachzustand)! Black-box Test (Spezifikationsbasiert, Funktional) Eingabe/ Vorzustand Ausgabe/ Nachzustand Spezifikation benötigt! Testobjekt Testorakel benötigt! White-box Test (Strukturbasiert) Eingabe/ Vorzustand Ausgabe/ Nachzustand Spezifikation und Realisierung (Sourcen) benötigt! Testbjekt Testorakel benötigt! Folie 11 : Wo sind wir? Alter Wein? Neue Schläuche? Folie 12, 17. April
7 - Alter Wein in neuen Why do we test? Software Mensch (unvollkommen) (fehlerhaft(?)) Spezifikation Gott (vollkommen) (korrekt(?)) Why is testing OO-SW difficult? Specification and testing of OO-SW The UML Testing Profile TTCN-3 cases for OO Folie 13 Spezifikationsbasierte Testtechniken gestern (und heute!) Wertebereiche Gültige Eingaben Ungültige Eingaben Eingabe X 1 X n Y = F (X) Funktion Ausgabe Y 1 Y m Wertebereiche Gültige Ausgaben Ungültige Ausgaben Äquivalenzklassenbildung! Repräsentative Eingaben! Gültige Dateneingaben! Ungültige Dateneingaben Grenzwertanalyse! Wertebereiche! Wertebereichsgrenzen! Bereichstest Entscheidungstabellen, Ursache-Wirkungs-Graphen, Klassifikationsbäume,... Folie 14, 17. April
8 Æ Á ¹ ¼- ëçñ º ±â»ç ëàú äã»çñ Ù. È-ÀÏ ü ÀÚ Â Àоî  ¹ ¼-ÀÇ Á º ÇØ ç ¹ ¼- ü ¼³Á À» äã»çñ Ù. È- é ü  ÀоîµéÀΠüµé ëçø ÀÌ º Î Á ÄÀ» ½ÃÄÑ È- é º ÁØ Ù. user 1: Doc view request ( ) mainwnd filemgr : FileMgr 9: sortbyname ( ) 2: fetchdoc( ) 3: create ( ) 6: filldocument ( ) document : Document 4: create ( ) 8: fillfile ( ) 5: readdoc ( ) 7: readfile ( ) gfile repository 1: Doc view request ( ) user :»ç ëàú mainwnd : MainWnd filemgr : FileMgr repository : Repository L 9: sortbyname ( ) 7: readfile ( ) 2: fetchdoc( ) 5: readdoc ( ) 4: create ( ) 8: fillfile ( ) 3: create ( ) 6: filldocument ( ) gfile : GrpFile document : Document rep Repository name : char * = 0 readdoc( ) readfile( ) FileMgr fetchdoc( ) sortbyname( ) (from Persistence) FileList add( ) delete( ) read( ) File Openning DocumentList add( ) delete( ) Service flist 1 Person1 Name = Klaus Alter = 25 Techniker Reading GrpFile read( ) open( ) create( ) fillfile( ) add file [ numberoffile==max ] / flag OFF close file Document name : int docid : int numfield : int get( ) open( ) close( ) read( ) sortfilelist( ) create( ) filldocument( ) eingetränkeautomat seriennummer = geldeinwurf = 5 auswahl = Limo1 wechselgeldeuro1= 73 wechselgeldeuro2= 57 vorratlimo1 = 20 vorratlimo2 = 17 Kauf Person2 Name = Maria Alter = 34 Verkäufer Kunde Closing close file Verkäufer add file Writing read() fill the code.. Kauf Kunde Person3 Name = Claudia Alter = 23 Wi ndow95 ¹ ¼- ü Å óàì¾ðæ.exe Wi ndows NT Wi ndows NT ¹ ¼- ü Áø.EXE Wi ndows95 IBM Mainframe µ ÀÌÅ º À̽º¼- ¹ö Solaris ÀÀ ë¼-¹ö.exe Wi ndows95 ¹ ¼- ü ¾ÖÇ Ã Alpha UNIX - Alter Wein in neuen Spezifikation heute: Unified Modelling Language Funktion Actor A Anwendungsfalldiagramm Use Case 1 Actor B Aktivitätsdiagramm Log. Struktur Klassendiagramm FileManager Repository Document DocumentList Use Case 2 Use Case 3 Objektdiagramm GraphicFile File FileList Kommunikationsdiagramm Sequenzdiagramm Komponentendiagramm Zustandsdiagramm Verteilungsdiagramm Verhalten = MBT-Relevanz Phys. Struktur Folie 15 Möglichkeiten spezifikationsbasierter Tests Specification Type Concrete Syntax Method / Coverage Criteria Contract based (declarative) Formal language Formal theory Informal (natural language) UML-OCL Object-Z, VDM API All conditions, MC/DC,... All clauses All functions State based (operational) Diagram with formal semantics UML state chart All states, all transitions, n-paths,..., all paths Interaction based (operational) Message based Structure based SDL MSC,UML sequence diagram UML communication diagram All messages, all nodes, all branches,..., all paths All messages, all links Function based (declarative/ operational) Informal (natural language) Diagram with formal semantics UML use case diagram UML activity diagram UML sequence diagr. Normal flow, all alternate flows,..., all flows All actions, all transitions, n-paths,..., all paths All messages, all nodes, all branches,..., all paths GI-TAV AK TOOP: Test von Komponenten Sichten, Techniken, Vorgehensweise und Werkzeuge. TAV 18, Potsdam, 2002 Folie 16, 17. April
9 - Alter Wein in neuen Zustandstest: BoundedStack (Stapel mit begrenzter Kapazität) Klasse BoundedStack Zustandserhaltende Operationen size():integer; // Number of elements MAXSIZE(): integer; // Maximum count of elements ():Object; // Pointer to most element Zustandsverändernde Operationen BoundedStack(maxSize: integer);// Constructor ~BoundedStack(); // Destructor (element: Object); // Stack element on (); // Removes most element Wie testen? MAXSIZE (element: Object) () ():Object 3! size 2! size 1 Folie 17 UML-Zustandsmodellierung für BoundedStack MAXSIZE 3 size 2 1 inital [ size < MAX-1] [ size > 1 ] Drei (fünf) Zustände: empty: size() = 0; filled: 0 < size() < MAXSIZE(); full: size() = MAXSIZE(); initial: before construction; final: after destruction; Stapel [ size = MAX-1] empty filled full [ size = 1 ] ~Stapel final Folie 18, 17. April
10 - Alter Wein in neuen Zustandsbasierte Tests für BoundedStack MAXSIZE 3 size 2 1 T.S. Chow: Testing Software Design Modeled by Finite-State Machines. IEEE TSE, May 1978 initial Stapel inital [ size < MAX-1] [ size > 1 ] Stapel [ size = MAX-1] empty filled full [ size = 1 ] ~Stapel final empty ~Stapel error final error filled ~Stapel empty filled full filled filled error ~Stapel full filled full error Folie 19 : Wo sind wir? Alter Wein? Neue Schläuche? Folie 20, 17. April
11 - Alter Wein in neuen Model-Based Testing Generation of test input data from a domain model Generation of test cases from an environment model Generation of test cases with oracles from a behavior model Generation of test scripts from abstract tests Modelling Techniques Pre/post based ( model based specs, design by contract OCL, Z, JML, Spec#, VDM) Transition based (state machines, labelled transition systems) History based (traces, message sequence charts/interaction diagrams) Functional ( algebraic specs, HOL) Operational (process based CSP, CCS, Petri nets) Data flow based (blocks and connectors, Lustre, Matlab Simulink) Statistical (probabilistic models, stastistical usage testing, operational profiles) 2007 Beim modellbasierten Testen werden aus Modellen eines Systems, die das Sollverhalten der Software beschreiben, Testfälle abgeleitet. Wikipedia, April 2008 Folie 21 Modellgetriebenes Testen Model-Driven Testing Generation of test input data from a domain model Generation of test cases from an environment model Generation of test cases with oracles from a behavior model Generation of test scripts/artifacts (UTP) from domain/design models Modelling Techniques Pre/post based ( model based specs, design by contract OCL, Z, JML, Spec#, VDM) Transition based (state machines, labelled transition systems) History based (traces, message sequence charts/interaction diagrams) Data driven testing Real time and performance testing 2008 Als modellgetrieben wird das Testen bezeichnet, wenn Modelle und darauf basierende Generierung wesentliche Elemente der Erstellung automatisierter Tests darstellen. Wikipedia, April 2008 Folie 22, 17. April
12 - Alter Wein in neuen Spezifikationsbasierter Test vs. Modellbasierter Test 1. Manueller Test 2. Capture-Replay 3. Skript-basierter Test 4. Keyword-getriebener Test 5. Modellbasierter Test Testfälle (Eingaben) Testskripte Systemspezifikation Systemmodell (Vorzustand + Eingabedaten, Ausgabedaten + Nachzustand)! System unter Test =? Ist- Ausgaben = MBT-Innovation Folie 23 Welche Modelle als Testbasis? Fehlerblinder Separate Testmodelle (aus Anforderungen) Bereich 100% Aufwand Beste Fehleraufdeckungsgüte wenn Testmodelle aus Requirements abgeleitet Requirements Komponententest Abnahmetest Konstruktion Analyse Architektur Entwurf Systemtest Integrationstest Testfälle (Sollausgaben) Validierung & Verifikation Implementation Entwurfsmodelle (aus Entwicklung) 0% Aufwand Schlechteste Fehleraufdeckungsgüte Fehlerblinder Bereich wenn Testmodelle aus Entwurfsmodellen abgeleitet Folie 24, 17. April
13 - Alter Wein in neuen Werkzeuge gestern und heute? Oder erst morgen? Testplanung 1. Manueller Test 2. Capture-Replay Testorganisation- und Datenhaltung Spezifikation Sollwert bestimmung Testfallermittlung Testfälle (Sollausgaben) Testdatengenerierung Testausführung Testauswertung Programm Instrumentierung Testdokumentation 3. Skript-basierter Test 4. Keyword-getriebener Test 5. Modellbasierter Test Testfälle (Eingaben) (Vorzustand + Eingabedaten, Ausgabedaten + Nachzustand)! Ist- Ausgaben Systemmodell Testskripte =? System unter Test = MBT-Innovation Folie 25 Zusammenfassung Alter Wein! Neue Schläuche! Start Planung und Steuerung Testanalyse und Testspezifikation Testrealisierung und Testausführung Testauswertung und Bericht Abschluss der Testaktivitäten Ende 1. Manueller Test 2. Capture-Replay 3. Skript-basierter Test 4. Keyword-getriebener Test 5. Modellbasierter Test Testfall = (Vorzustand + Eingabedaten, Ausgabedaten + Nachzustand)! inital [ size < MAX-1] [ size > 1 ] Stapel [ size = MAX-1] empty filled full ~Stapel final [ size = 1 ] error error empty full Testfälle (Eingaben) initial empty filled filled Stapel filled full ~Stapel final filled full Testskripte filled ~Stapel error ~Stapel error Requirements Testprozess Abnahmetest Konstruktion Analyse Architektur Entwurf Systemtest Integrationstest Komponententest Validierung & Verifikation Systemmodell Systemspezifikation System unter Test Implementation Ist- Ausgaben Testfälle (Sollausgaben) =? Folie 26, 17. April
14 - Alter Wein in neuen Fragen? Prof. Prof. Dr. Dr. Mario Mario Winter Winter Fachhochschule Fachhochschule Köln Köln - - Campus Campus Gummersbach Gummersbach Institut Institut für für Informatik Informatik Steinmüllerallee Steinmüllerallee 1, 1, D D Gummersbach Gummersbach mario.winter@fh-koeln.de mario.winter@fh-koeln.de Web Web Fon Fon (+49)2261/ (+49)2261/ Fax Fax (+49)2261/ (+49)2261/ Folie 27 Literaturhinweise Baker, P., Dai, Z.R., Grabowski, J., Haugen, Ø., Schieferdecker, I., Williams, C.: Model-Driven Testing - Using the UML Testing Profile, Springer, Berlin, 2008 T.S. Chow: Testing Software Design Modeled by Finite-State Machines. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-4, NO. 3, MAY 1978 GI-TAV AK TOOP: Test von Komponenten Sichten, Techniken, Vorgehensweise und Werkzeuge. TAV 18, Potsdam, 2002 Timea Illes, Horst Pohlmann, Thomas Roßner, Anton Schlatter, Mario Winter: Software Testmanagement Werkzeuge. ix Studie 01/2006, ix-verlag, Heidelberg, 2006 Harry Sneed, Mario Winter: Testen objektorientierter Software Das Praxishandbuch. Hanser, München, 2001 Andreas Spillner, Tilo Linz: Basiswissen Softwaretest; Aus- und Weiterbildung zum Certified Tester Foundation Level nach ISTQB-Standard. 3. Aufl., dpunkt.verlag, Heidelberg, 2005 Andreas Spillner, Thomas Roßner, Mario Winter, Tilo Linz: Praxiswissen Softwaretest Testmanagement; Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard. dpunkt.verlag, Heidelberg, 2006 Mark Utting, Bruno Legeard: Practical Model-Based Testing. Morgan Kaufmann, 2007 Mario Winter: Testing in the Component Age. Proc. 1 st International Workshop on Software Quality (SOQUA04), LNI P-58, GI, 2004 Mario Winter, Michael Averstegge: Structural and Functional Predicate Coverage Testing. Proc. 3 rd World Congress for Software Quality 2005 (3. WCSQ 05), München, September 2005 Folie 28, 17. April
Softwaretest in Praxis und Forschung
Umfrage 2015 Softwaretest in Praxis und Forschung 37. Treffen der GI-Fachgruppe TAV Test, Analyse und Verifikation von Software Friedrichshafen, 05. Februar 2015 Prof. Dr. Mario Winter Prof. Dr. Karin
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 Quo Vadis?
- Quo vadis? M. Winter Folie 1 Quo Vadis? ASQF Testing Day NRW, Düsseldorf 28. Januar Prof. Dr. Mario Winter TH Köln, Düsseldorf, 1 - Quo vadis? M. Winter Ihr Referent: Prof. Dr. Mario Winter Dipl.-Ing.
MehrEin 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
MehrTesten - 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
MehrAutomatische 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
MehrEffizienzsteigerung von Softwaretests durch Automatisierung
Bachelorarbeit am Institut für Informatik der Freien Universität Berlin, Arbeitsgruppe Programmiersprachen Effizienzsteigerung von Softwaretests durch Automatisierung David Emanuel Diestel 04.02.2016 Übersicht
MehrT1 - 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
MehrEinsatz automatischer Testdatengenerierung im modellbasierten Test
Einsatz automatischer Testdatengenerierung im modellbasierten Test Sadegh Sadeghipour sadegh.sadeghipour@itpower.de Gustav-Meyer-Allee 25 / Gebäude 12 13355 Berlin www.itpower.de Modellbasierte Software-Entwicklung
MehrAK Objekttechnologie Norddeutschland. Dr. Mario Winter, FernUniversität Hagen. Testen und UML
Dr. Mario Winter FernUniversität Hagen Informatik an der FernUni Studienmöglichkeiten Integrierter Diplomstudiengang Informatik Modellstudiengang Bachelor of Science in Informatik Zusatzstudiengang Praktische
MehrProzess-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
MehrIT-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
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
MehrSenior 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
MehrBasiswissen 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
MehrT2 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
MehrSenior 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
MehrTestautomatisierung. 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
MehrTeststrategie festlegen und Teststufen aufeinander abstimmen
Testen Teststrategie festlegen und Teststufen aufeinander abstimmen Bereich Projektplanung und -steuerung Aktivität Projekt planen Ziele Effiziente Testausführung Vermeidung von doppelter Arbeit schnell
MehrTesten 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,
MehrPraxiswissen Softwaretest - Testmanagement
Praxiswissen Softwaretest - Testmanagement Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard dpunkt.verlag 1 Einleitung 1 1.1 Basiswissen - komprimiert 4 1.2 Praxiswissen Testmanagement
MehrValidierung und Verifikation!
Martin Glinz Thomas Fritz Software Engineering Kapitel 7 Validierung und Verifikation 2005-2013 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe für den persönlichen, nicht kommerziellen
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
MehrBasiswissen Softwaretest
Basiswissen Softwaretest Vergleich der Vorlesung Software-Engineering Wartung und Qualitätssicherung (Stand WS13/14) mit der 4. überarbeiteten und aktualisierten Auflage von Spillner&Linz: Basiswissen
MehrValidierung und Verifikation
Martin Glinz Harald Gall Software Engineering Kapitel 7 Validierung und Verifikation Universität Zürich Institut für Informatik 2005, 2009 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe
MehrBerufsbild Tester - eine Profession?
Berufsbild Tester - eine Profession? Ingolstadt 22. November 2013 TAV 35 Vortrag: Berufsbild Tester Aufgabe? Ausbildung? Karrierepfad? Jörn Münzel German Testing Board e.v. ITinera projects & experts Mittwoch,
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:
MehrSystematische Testfallableitung und Tests durchführen
Systematische Testfallableitung und Tests durchführen Testen Bereich Kontrolle Aktivität Interne Qualitätssicherung durchführen (Verifikation) Ziele Tests werden systematisch und zielgerichtet erstellt
MehrPraxiswissen Softwaretest Test Analyst und Technical Test Analyst
Graham Bath Judy McKay Praxiswissen Softwaretest Test Analyst und Technical Test Analyst Aus- und Weiterbildung zum Certified Tester - Advanced Level nach ISTQB-Standard 2., durchgesehene Auflage 2011
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
MehrSoftwareentwicklung und Projektmanagement Teil 2: Objektorientierte Softwareentwicklung WS 05/06
Softwareentwicklung und Projektmanagement Teil 2: Objektorientierte Softwareentwicklung WS 05/06 Kapitel 2: Prof. Dr. Mario Winter SP2-2a FH Köln Lernziele: Nach dieser Vorlesung sollten Sie... Wissen,
MehrAgilität und systematischer Test
Agilität und systematischer Test Wie können die Vorteile der agilen Softwareentwicklung mit einem systematischen Test kombiniert werden? Prof. Dr.-Ing. Andreas Spillner Hochschule Bremen Acceptance Café,
MehrISTQB Certified Tester Foundation Level Exam Übungsprüfung
BEMERKUG: Bitte nur eine Antwort auf jede Frage 1. Die statische Analyse kann höchstwahrscheinlich ICHT finden: (A) Die Verwendung einer Variablen bevor diese definiert wurde. (B) Unerreichbaren ( toten
MehrAgile Testing. Der agile Weg zur Qualität. von Siegfried Tanczos, Martin Klonk, Richard Seidl, Helmut Pichler, Manfred Baumgartner. 1.
Agile Testing Der agile Weg zur Qualität von Siegfried Tanczos, Martin Klonk, Richard Seidl, Helmut Pichler, Manfred Baumgartner 1. Auflage Hanser München 2013 Verlag C.H. Beck im Internet: www.beck.de
Mehr1 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
MehrPraxiswissen Softwaretest - Testmanagement
Andreas Spillner Thomas Roßner Mario Winter Tilo Linz Praxiswissen Softwaretest - Testmanagement Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard 2., überarbeitete und aktualisierte
MehrTestmanagement 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:
MehrTestmanagement bei SAP-Projekten
Testmanagement bei SAP-Projekten Erfolgreich Planen Steuern Reporten bei der Einführung von SAP-Banking von Alberto Vivenzio, Domenico Vivenzio 1. Auflage Springer Vieweg Wiesbaden 2012 Verlag C.H. Beck
MehrSoftware Engineering. Fakultät Elektrotechnik Bachelor-Studiengänge, 4. Semester Prof. Dr.-Ing. Dagmar Meyer
Fakultät Elektrotechnik Bachelor-Studiengänge, 4. Semester Vorausgesetzte Kenntnisse Allgemeine Kenntnisse aus dem Bereich der Softwareentwicklung - Programmierkenntnisse (Java, C) - Beherrschung der notwendigen
MehrEinfü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
MehrUniversität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving)
Universität Paderborn Die Universität der Informationsgesellschaft Analyse, Entwurf und Implementierung zuverlässiger Software und (inkl., Model-Checking, Theorem Proving) Torsten Bresser torbre@uni-paderborn.de
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
MehrPraxiswissen Softwaretest Testmanagement
isql-reihe Praxiswissen Softwaretest Testmanagement Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard von Andreas Spillner, Thomas Roßner, Mario Winter, Tilo Linz 3., überarb.
MehrRUP Analyse und Design: Überblick
Inhaltsverzeichnis Übersicht [, 2, 8] 3. Vorgehensweise............................... 5 2 Planungsmethoden 37 2. Definitionsphase.............................. 6 3 Rational Unified Process [5, 6] und
MehrPraxiswissen Softwaretest Test Analyst und Technical Test Analyst
isql-reihe Praxiswissen Softwaretest Test Analyst und Technical Test Analyst Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard von Graham Bath, Judy McKay 2., durchgesehene
MehrSystemen - Einleitung
P r a k t I s c h e Testen von Software-Systemen Systemen - Einleitung 2007 Dr. Klaudia Dussa-Zieger Testen von Software-Systemen SS 2007 (1) Leitidee Certified Tester Nationale Boards und ISTQB Lehrplan
MehrKompetenz. rund um. Ihren. Entwicklungsprozess. Über uns. Technische Software. Modellbasierter Test. Prüfplätze. Automatisierung.
Kompetenz rund um Ihren Entwicklungsprozess Modellieren für den Test - Segen oder Fluch? Firmenpräsentation auf der embeddedworld 2010 Dipl. Ing. (Univ) Gerhard Baier Bereichsleiter Marketing und Vertrieb
MehrTestmanagement. Q-Day. Frank Böhr Fraunhofer IESE frank.boehr@iese.fraunhofer.de
Frank Böhr Fraunhofer IESE frank.boehr@iese.fraunhofer.de Agenda Warum Testmanagement? Was sind die wichtigsten Schritte beim Testmanagement? Wie funktioniert Testmanagement Toolunterstützung Page 1/15
MehrNotwendigkeit 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
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
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
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
MehrModellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer
Modellierung von Echtzeitsystemen mit dem UML CASE Tool Telelogic Tau G2 Developer Holger Sinnerbrink Einführung Firmenentwicklung Gründung von Telelogic 1983 als Forschungs- und Entwicklungsabteilung
MehrEffiziente Testautomatisierung in agilen Projekten
Effiziente Testautomatisierung in agilen Projekten Neue Software-Trends, Wien 15.9.2011 DI Manfred Baumgartner ANECON Software Design und Beratung G.m.b.H. Alser Str. 4/Hof 1 A-1090 Wien Tel.: +43 1 409
MehrZusammenfassung der Testarten
oftware-test Zusammenfassung der Testarten Komponententest Integrationstest Systemtest Grenztest Black Box Test zustands basierter Test White Box Test Pfadtest Strategie: Urknall Top Down Bottom Up Sandwich
MehrRequirements Engineering I
Norbert Seyff Requirements Engineering I UML Unified Modeling Language! 2006-2012 Martin Glinz und Norbert Seyff. Alle Rechte vorbehalten. Speicherung und Wiedergabe für den persönlichen, nicht kommerziellen
MehrTestfallerzeugung aus Use-Case-Beschreibungen
Testfallerzeugung aus Use-Case-Beschreibungen Testfallerzeugung aus Use-Case-Beschreibungen Mario Friske FhG FIRST Synthese, Validierung und Test (SVT) mario.friske@first.fhg.de 17./18. Juni 2004 Testfallerzeugung
MehrModellbasierte 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
MehrSoftwarequalitätssicherung
Softwarequalitätssicherung Seminarvortrag Peter Winkelhane 1 Agenda Motivation Taxonomie zur Einordnung von Verfahren im Bereich kontraktbasiertem Testen Drei kontraktbasierte Verfahren Vergleich der drei
MehrSoftware - 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
MehrSeamless Model-based Engineering of a Reactive System
Seamless Model-based Engineering of a Reactive System Seminar im Wintersemester 2013/2014 Andreas Vogelsang, Sebastian Eder, Georg Hackenberg, Maximilian Junker http://www4.in.tum.de/lehre/seminare/ws1314/seamless/
MehrEvaluation of Database Design and Reverse Engineering Tools for a Large Software System
Evaluation of Database Design and Reverse Engineering Tools for a Large Software System Anne Thomas TU Dresden Dr. B. Demuth Pre Press GmbH (Dresden) T. Reuter Gliederung Einleitung Vorgehensweise Kontext
MehrInformationswirtschaft II Rational Unified Process (RUP)
Informationswirtschaft II Rational Unified Process (RUP) Wolfgang H. Janko, Michael Hahsler und Stefan Koch Inhalt Historische Entwicklung Kennzeichen von RUP Lebenszyklus und Phasen Arbeitsabläufe Das
MehrInformationswirtschaft II
Rational Unified Process (RUP) Informationswirtschaft II Wolfgang H. Janko, Michael Hahsler und Stefan Koch Seite 1 Inhalt Historische Entwicklung Kennzeichen von RUP Lebenszyklus und Phasen Arbeitsabläufe
MehrSoftware Engineering Zielorientierte Bereitstellung und systematische Verwendung von Prinzipien, Methoden und Werkzeugen
White Paper Software Engineering Zielorientierte Bereitstellung und systematische Verwendung von Prinzipien, Methoden und Werkzeugen Die arbeitsteilige, ingenieurmäßige Entwicklung und Anwendung von umfangreichen
MehrWieviel Usability Engineering braucht das Software Engineering?
Wieviel Usability Engineering braucht das Software Engineering? Prof. Dr. Institut für Informatik Neuenheimer Feld 348 69120 Heidelberg http://www-swe.uni-heidelberg.de paech@informatik.uni-heidelberg.de
MehrQualität von Software - Prof. Schlingloff, Lackner - SS2013 DYNAMISCHER TEST. Whitebox Testen mit JUnit
1 DYNAMISCHER TEST Whitebox Testen mit JUnit Übersicht 2 1. Grundlagen des Unittests 1. Units 2. Unit Testing 2. Testverfahren 1. Blackbox 2. Whitebox 3. Unit Testing mit Eclipse 4. Besprechung der Übungsaufgabe
Mehr1.1 Basiswissen komprimiert... 4 1.2 Praxiswissen Testmanagement Übersicht... 8. 2 Testprozess und Testwerkzeuge 11
xi 1 Einleitung 1 1.1 Basiswissen komprimiert.......................... 4 1.2 Praxiswissen Testmanagement Übersicht.............. 8 2 Testprozess und Testwerkzeuge 11 2.1 Fundamentaler Testprozess.........................
MehrSystemen - Literatur. Literatur. Literatur. Grundlegende Literatur
P r a k t I s c h e Grundlegende Testen von Software-Systemen Systemen - B. Beizer: Software Testing Techniques, van Nostrand Reinhold, 1990, ISBN 0-442-20672-0 Klassiker, sehr ausführlich, insbesondere
MehrP r a k t I s c h e SOFTWARETECHNIK. Systemen - Literatur. 2007 Dr. Klaudia Dussa-Zieger Testen von Software-Systemen SS 2007 (1)
P r a k t I s c h e Testen von Software-Systemen Systemen - Literatur 2007 Dr. Klaudia Dussa-Zieger Testen von Software-Systemen SS 2007 (1) Grundlegende Literatur B. Beizer: Software Testing Techniques,
MehrModellbasiertes Testen auf Basis des fundamentalen Testprozesses
Modellbasiertes Testen auf Basis des fundamentalen Testprozesses Tobias Eckardt, Michael Spijkerman Software Quality Lab (s-lab) Universität Paderborn 12. Februar 2009 Vorgehensmodell für Modellbasiertes
MehrQuality is our Passion!
Quality is our Passion! Quality is our Passion! Quality is our Passion! 2 Knowledge Department ist ein Dienstleistungsunternehmen im Software-Entwicklungs-Bereich. Das Serviceangebot umfasst Trainings,
MehrAgile Software-Entwicklung im Kontext der EN50128 Wege zum Erfolg
Herzlich willkommen Agile Software-Entwicklung im Kontext der EN50128 Wege zum Erfolg Heike Bickert Software-/Systemingenieurin, Bereich Quality Management Braunschweig // 17.11.2015 1 Agenda ICS AG Fragestellungen
MehrProfessionelles Software-Testing Hilfreiches Tool bei Konflikten
Tilo Linz, imbus AG 8. Karlsruher IT-Tag 09.04.2011 imbus AG Spezialisierter Lösungsanbieter für Software-Qualitätssicherung und Software-Test Seit 1992 am Markt Erfahrung und Know-how aus über 3.000 erfolgreichen
MehrRequirements Management mit RequisitePro. Rational in der IBM Software Group. Der Rational Unified Process als Basis für die Projektarbeit
IBM Software Group IBM Rational mit RequisitePro Hubert Biskup hubert.biskup@de.ibm.com Agenda Rational in der IBM Software Group Der Rational Unified Process als Basis für die Projektarbeit mit Rational
Mehr,$ -. "+0 *+*+ ! / -#$%$. #$%'' $ () 1 2$ #$%$! 1 2$3 )!
*+*+ *,$ -.! / -#$%$. #$%'' $ () "+0 *+*+ 4 *+*+ 1 2$ #$%$! 1 2$3 )! 1 *+*+ $& #$%'!' '!' 5 1! 1 4$5%! 1 63$ 1 $7$! 1 3! 1 77 8'7 1 /!$' 1 83% *+*+ 0 #$%'' '' #$%'' ''$' )%! $' #$% 5 87 $ 8$! 7$+ 1 #$%9$
MehrTesten heute und in der Zukunft Ergebnisse der ersten unabhängigen Marktstudie für 6 Länder
Testen heute und in der Zukunft Ergebnisse der ersten unabhängigen Marktstudie für 6 Länder Rudolf van Megen, CEO SQS Software Quality Systems AG Hamburg, 15. November 2007 SQS Software Quality Systems
MehrTesten von Software. Erfahrungsbericht des INGTES Testcenters. von Ueli Tribelhorn
Testen von Software Erfahrungsbericht des INGTES Testcenters von Ueli Tribelhorn Testen von Software Testziele Aus der Praxis Fundamentale Qualitätskriterien tskriterien Ausbildung zum Tester Erfahrungsbericht
MehrLars Ebrecht. Echtzeit 2011, GI VDI/VDE, Boppard 04. November 2011
Entwurfsverfahren Das atomare Element als Meta-Modell zur tabellarischen Verhaltensbeschreibung von Echtzeitsystemen Lars Ebrecht Echtzeit 2011, GI VDI/VDE, Boppard 04. November 2011 Echtzeitbetrieb im
MehrTestphase. 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
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
MehrGrundlagen Software Engineering
Grundlagen Software Engineering Rational Unified Process () GSE: Prof. Dr. Liggesmeyer, 1 Rational Unified Process () Software Entwicklungsprozess Anpassbares und erweiterbares Grundgerüst Sprache der
MehrTestplan. Hochschule Luzern Technik & Architektur. Software Komponenten FS13. Gruppe 03 Horw, 16.04.2013
Software Komponenten FS13 Gruppe 03 Horw, 16.04.2013 Bontekoe Christian Estermann Michael Moor Simon Rohrer Felix Autoren Bontekoe Christian Studiengang Informatiker (Berufsbegleitend) Estermann Michael
MehrModellbasiertes Testen
Modellbasiertes Testen Modellierung und Generierung von Tests Grundlagen, Kriterien für Werkzeugeinsatz, Werkzeuge in der Übersicht Helmut Götz Markus Nickolaus Thomas Roßner Knut Salomon März 2009 Copyright
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
MehrHauptseminar 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
MehrT-Systems Enterprise Services GmbH. Test Factory. Testen nach ISTQB-Standard, Gastvortrag Fontys Hogescholen Venlo, April 2008
T-Systems Enterprise Services GmbH. Test Factory. Testen nach ISTQB-Standard, Gastvortrag Fontys Hogescholen Venlo, April 2008 Kennzahlen unserer Leistung. zur Zeit 50 Projekte mit 1 bis zu 300 Mitarbeitern
MehrPraxiswissen Softwaretest Testmanagement
isql-reihe Praxiswissen Softwaretest Testmanagement Aus- und Weiterbildung zum Certified Tester Advanced Level nach ISTQB-Standard von Andreas Spillner, Thomas Roßner, Mario Winter, Tilo Linz 3., überarb.
MehrSoftware 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
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.,
MehrHorst Pohlmann, The Phone House Telecom GmbH
Horst Pohlmann, The Phone House Telecom GmbH : Überblick Ziel Vortrags Ausgangssituaton und Historie Von den TAV-Begriffen (1996) zum ISTQB-Glossary(2004) ISTQB Working Party Glossary Einbettung Glossary
MehrPraktikum 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
MehrSoftwaretechnik. 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
MehrQualitätssicherung (Testen) im Application Life Cycle
Qualitätssicherung (Testen) im Application Life Cycle Metriken im Test Michael Wagner Triton Unternehmensberatung GmbH www.triton.at www.tritonqs.at Copyright by Triton Technologie Consulting GmbH, all
MehrTestmanagement. Dirk Tesche
Testmanagement Dirk Tesche Agenda Einführung in die Thematik Testarten Testprozess Agile Methoden und Techniken Testautomatisierung Eingrenzung und Motivation Abbildung entnommen aus: www.campero.de Ziele
MehrAUFBAU EINER TESTORGANISATION
AUFBAU EINER TESTORGANISATION ODER DIE GEISTER, DIE ICH RIEF... Software-Tester Forum Mittwoch, 16. November 2005 SWX Swiss Exchange, Convention Point Zürich Robin Heizmann, CS IT Quality Management 14.11.2005
Mehrarlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek
arlanis Software AG SOA Architektonische und technische Grundlagen Andreas Holubek Speaker Andreas Holubek VP Engineering andreas.holubek@arlanis.com arlanis Software AG, D-14467 Potsdam 2009, arlanis
MehrLP (nach ECTS): 9. Sekr.: FR 5-14. Modulbeschreibung
Titel des Moduls: ETS Praxis Verantwortliche/-r für das Modul: Prof. Dr. Schieferdecker Sekr.: FR 5-14 LP (nach ECTS): 9 Modulbeschreibung Email: ina@cs.tu-berlin.de Kurzbezeichnung: MINF-KS-ETSPX.W10
MehrComparing Software Factories and Software Product Lines
Comparing Software Factories and Software Product Lines Martin Kleine kleine.martin@gmx.de Betreuer: Andreas Wuebbeke Agenda Motivation Zentrale Konzepte Software Produktlinien Software Factories Vergleich
MehrEmpirische Softwaretechnik Kosten und Nutzen von UML in der Wartung Dr. Victor Pankratius Andreas Höfer Wintersemester 2009/2010
Empirische Softwaretechnik Dr. Victor Pankratius Andreas Höfer Wintersemester 2009/2010 IPD Tichy, Fakultät für Informatik Pflichtlektüre hierzu: Dzidek, Arisholm, Briand, A Realistic Empirical Evaluation
Mehr