Tutorium Softwaretechnik I
|
|
|
- Rosa Kuntz
- vor 5 Jahren
- Abrufe
Transkript
1 Tutorium Softwaretechnik I Moritz Klammler 25. Juli 2017 Fakultät für Informatik, IPD Tichy Titelfoto: Copyright (C) 2010 Multimotyl CC BY-SA Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
2 Themen des Tages Übungsblatt 5 Übungsblatt 6 Testen und Prüfen Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
3 Übungsblatt 5 Allgemeine Anmerkungen Zwanghaftes Einsetzen von Entwurfsmustern führt in aller Regel zu schlechterem Code Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
4 Übungsblatt 6 Allgemeine Anmerkungen catch(exception e) { e.printstacktrace(); } Nicht benötigten Code auszukommentieren ist mit Git unnötig: stattdessen einfach löschen! Threads anlegen und zerstören ist teuer. Generelle Probleme mit Fork/Join-Parallelisierung Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
5 Übungsblatt 6 Allgemeine Anmerkungen catch(exception e) { e.printstacktrace(); } Nicht benötigten Code auszukommentieren ist mit Git unnötig: stattdessen einfach löschen! Threads anlegen und zerstören ist teuer. Generelle Probleme mit Fork/Join-Parallelisierung Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
6 Felher können nur in der Implementierungsphase gemacht werden.
7
8 Bei statischen Testverfahren wird der zu testende Code nicht ausgeführt.
9
10 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht.
11 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht.
12 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden.
13 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden.
14 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler.
15 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler.
16 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten.
17 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten.
18 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten. Zweigüberdeckung impliziert Anweisungsüberdeckung.
19 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten. Zweigüberdeckung impliziert Anweisungsüberdeckung.
20 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten. Zweigüberdeckung impliziert Anweisungsüberdeckung. Minimal-mehrfache Bedingungsüberdeckung impliziert Zweigüberdeckung.
21 Bei Black-Box-Tests beachtet der Tester den zu testenden Quellcode nicht. Nichtfunktionale Anforderungen können nicht getestet werden. Eine Testsuite mit Pfadüberdeckung findet alle Fehler. Code-Inspektion verwendet Checklisten. Zweigüberdeckung impliziert Anweisungsüberdeckung. Minimal-mehrfache Bedingungsüberdeckung impliziert Zweigüberdeckung.
22 Es gibt 3 Arten von Fehlern Versagen / Ausfall (failure / fault) Ereignis Defekt (defect / bug) Zustand Irrtum / Herstellungsfehler (mistake) Vorgang Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
23 Was prüfen diese Tests? Komponententest (unit test) Integrationstest (integration test) Systemtest (system test) Abnahmetest (acceptance test) Regressionstest (regression test) Zufallstest (randomized test) Mutationstest (mutation test) 1 fuzz test 1 Leistungstest (performance test / benchmark) Belastungstest (stress test) Penetrationstest (penetration test) 1 1 Nicht in der Vorlesung Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
24 Viel Erfolg bei der Klausur! Juli 2017 Moritz Klammler - Tutorium Softwaretechnik I Fakultät für Informatik, IPD Tichy
Tutorium Softwaretechnik I
Tutorium Softwaretechnik I Moritz Klammler 30. Mai 2017 Fakultät für Informatik, IPD Tichy Titelfoto: Copyright (C) 2010 Multimotyl CC BY-SA 3.0 1 30. Mai 2017 Moritz Klammler - Tutorium Softwaretechnik
Tutorium Softwaretechnik I
Tutorium Softwaretechnik I Moritz Klammler 11. Juli 2017 Fakultät für Informatik, IPD Tichy Titelfoto: Copyright (C) 2010 Multimotyl CC BY-SA 3.0 1 11. Juli 2017 Moritz Klammler - Tutorium Softwaretechnik
Tutorium Softwaretechnik I
Tutorium Softwaretechnik I Moritz Klammler 27. Juni 2017 Fakultät für Informatik, IPD Tichy Titelfoto: Copyright (C) 2010 Multimotyl CC BY-SA 3.0 1 27. Juni 2017 Moritz Klammler - Tutorium Softwaretechnik
Software Engineering in der Praxis
Inhalt Nachlese Werkzeuge Software Engineering in der Praxis Praktische Übungen Inhalt Nachlese Werkzeuge Josef Adersberger Marc Spisländer Lehrstuhl für Software Engineering Friedrich-Alexander-Universität
Software Engineering in der Praxis
Software Engineering in der Praxis Praktische Übungen Pinte, Spisländer FAU Erlangen-Nürnberg Strukturelles Testen 1 / 11 Strukturelles Testen Florin Pinte Marc Spisländer Lehrstuhl für Software Engineering
Ein Werkzeug zur Überdeckungsmessung für kontrollflussbezogene Testverfahren
Ein Werkzeug zur Überdeckungsmessung für kontrollflussbezogene Testverfahren Hendrik Seffler HU Berlin Abschlussvortrag p. 1/25 Was? Entwicklung eines Werkzeugs zur Überdeckungsmessung für kontrollflussbezogene
Aufwand, Prozessmodelle, Klausur
Aufwand, Prozessmodelle, Klausur Tutorium 7 iloveswt.de Fabian I. Miltenberger 18.07.2016 INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD) KIT Universität des Landes Baden-Württemberg und nationales
Kennenlernen. Tutorium 7 iloveswt.de Fabian I. Miltenberger INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD)
Kennenlernen Tutorium 7 iloveswt.de Fabian I. Miltenberger 25.05.2016 INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD) KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Modul Softwareentwicklung
Modul Softwareentwicklung Studiengang Mechatronik, Nebenfach Informatik Prof. Dr.-Ing. G. Snelting, Fakulta t fu r Informatik 1. Juli 2014 KIT Universita t des Landes Baden-Wu rttemberg und nationales
Klausur Softwaretechnik I
Klausur Softwaretechnik I 06.08.2009 Prof. Dr. Walter F. Tichy Dipl.-Inform. A. Höfer Dipl.-Inform. D. Meder Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes Papier
Softwaretests 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
Vorlesung Programmieren
Vorlesung Programmieren 18 Finden und Beheben Dr.-Ing. Erik Burger Version 1.0 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD),
5 Produktqualität Komponenten: Testende Verfahren 1 [stark gekürzt]
![5 Produktqualität Komponenten: Testende Verfahren 1 [stark gekürzt]](/thumbs/65/53039453.jpg "5 Produktqualität Komponenten: Testende Verfahren 1 [stark gekürzt]")
1 Software-Qualitätssicherung 2 Einführung und Überblick LE 1 V Unternehmensmodellierung 5 Produktqualität Komponenten: Testende Verfahren 1 [stark gekürzt] Prof. Dr. Helmut Balzert Lehrstuhl für Software-Technik
ASIL-relevante SW-Module identifiziert! Was nun?
ASIL-relevante SW-Module identifiziert! Was nun? ASIL-relevante SW-Module testen Blick in die EN 26262 Häufige Irrtümer in der Praxis Funktionale Tests in die Tiefe Funktionale Tests weiter optimieren
Qualitätssicherung von Software
Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST 2.3 strukturelle Tests 24.11.2004 Folie 2 Hinweis auf Umfrage wir, das Institut für Informatik
Softwaretechnik 1 5. Tutorium
Softwaretechnik 1 5. Tutorium Tutorium Nr. 1 Philipp Adolf 17.06.2014 KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Aufgabe 1 Nur
examen.press Software-Qualität Bearbeitet von Dirk W Hoffmann
examen.press Software-Qualität Bearbeitet von Dirk W Hoffmann 1. Auflage 2008. Buch. XIV, 568 S. Hardcover ISBN 978 3 540 76322 2 Format (B x L): 15,5 x 23,5 cm Weitere Fachgebiete > EDV, Informatik >
Tests und testgetriebene Entwicklung
Tests und testgetriebene Entwicklung Hausarbeit Arbeitsbereich Wissenschaftliches Rechnen Fachbereich Informatik Fakultät für Mathematik, Informatik und Naturwissenschaften Universität Hamburg Vorgelegt
Verbesserung des Entwicklungsprozesses durch testgetriebene Entwicklung und kontinuierliche Integration
Verbesserung des Entwicklungsprozesses durch testgetriebene Entwicklung und kontinuierliche Integration Stefan Rossbach Institut für Informatik Freie Universität Berlin 07.07.2011 Überblick Testen von
Grundlagen der Risikoanalyse p. 64 Risikoanalyse in der Software-Entwicklung p. 64 Werkzeuge für die Risikoanalyse p. 68 Zusammenfassung p.
Einleitung p. 1 Wieso dieses Buch? p. 1 Wem nutzt dieses Buch wie? p. 2 Wie ist dieses Buch zu lesen? p. 3 Welche Testwerkzeuge werden genannt? p. 5 Was liefert dieses Buch nicht? p. 6 Wer sollte das Buch
SWT-I Test und SW Management
SWT-I Test und SW Management Th Letschert FH Giessen Friedberg Wintersemester 2001/2002 Version vom 9. Januar 2002 1 Test und Integration 1.1 Verifikation und Validierung Verifikation und Validierung (V
Vorlesung Methoden des Software Engineering. Martin Wirsing. Einheit D.1,
Block D (Qualitätssicherung): Qualitätsmanagement und SW-Test 19.12.06 1 Vorlesung Methoden des Software Engineering Block D Qualitätssicherung Qualitätsmanagement und Software-Test Martin Wirsing Einheit
Software 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..................................
Programmieren I. Überblick. Institut für Angewandte Informatik. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
Programmieren I Überblick KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 7,5 (!) Stunden
Software-Test: Funktionstest
0/23 Software-Test: Funktionstest Andreas Zeller Lehrstuhl Softwaretechnik Universität des Saarlandes, Saarbrücken Funktionale Testverfahren 1/23 Funktionale Testverfahren testen gegen die Spezifikation
Software Engineering. Validierung und Verifikation. Martin Glinz Harald Gall. Kapitel 7. Universität Zürich Institut für Informatik
Martin Glinz Harald Gall Software Engineering Kapitel 7 Validierung und Verifikation Universität Zürich Institut für Informatik 2005, 2006 Martin Glinz. Alle Rechte vorbehalten. Speicherung und Wiedergabe
Programmieren I. Überblick. Institut für Angewandte Informatik. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
Programmieren I Überblick KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 1 Stunde
SE 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
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
Vorlesung Programmieren
Vorlesung Programmieren 16 Finden und Beheben von Fehlern Prof. Dr. Ralf H. Reussner Version 1.0 LEHRSTUHL FÜR SOFTWARE-DESIGN UND QUALITÄT (SDQ) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD),
Vorlesung Methoden des Software Engineering. Martin Wirsing. Einheit D.2,
11.01.07 1 Vorlesung Methoden des Software Engineering Block D Qualitätssicherung Black-Box-Test und White-Box-Test Martin Wirsing Einheit D.2, 11.01.2007 Block D (Qualitätssicherung): Qualitätsmanagement
Projektmanagement 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
Motivation und Überblick
Motivation und Überblick iks-thementag : Wer testet, ist feige 24.06.2009 Autor: Christoph Schmidt-Casdorff Carsten Schädel Seite 2 Agenda Einführung Auf welcher Ebene wird getestet testing level Was wird
Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn. Testen. Tutorial im Rahmen des Software(technik)praktikums SS 2012
Testen Tutorial im Rahmen des Software(technik)praktikums SS 2012 Grundlagen (1) Software ist ein fundamentales Element in der Softwarequalitätssicherung Software wird am häufigsten eingesetzt Viele Organisationen
Software Engineering 1 6. Übung. Sönke Holthusen, Matthias Kowal, Joachim Steinmetz Institut für Softwaretechnik und Fahrzeuginformatik
Software Engineering 1 6. Übung Sönke Holthusen, Matthias Kowal, Joachim Steinmetz Institut für Softwaretechnik und Fahrzeuginformatik Aufgabe 2a - Statecharts a) Modellieren sie eine Lichtschaltung als
Software Tests (1) Unabhängige ngige Tests
Software Tests (1) Unabhängige ngige Tests Was ist? Was ist Software Qualität? DIN ISO 9126: Software-Qualität ist die Gesamtheit der Merkmale und Merkmalswerte eines Software-Produkts, die sich auf dessen
Verlässliche Echtzeitsysteme
Verlässliche Echtzeitsysteme Testen Peter Ulbrich Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de 28. April
Qualitätssicherung von Software (SWQS)
Qualitätssicherung von Software (SWQS) Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FOKUS 25.4.2013: strukturelle Tests Fragen zur Wiederholung robuste vs. nicht-robuste Grenzwertanalyse?
Klausur Softwaretechnik I
Klausur Softwaretechnik I 06.08.2009 Prof. Dr. Walter F. Tichy Dipl.-Inform. A. Höfer Dipl.-Inform. D. Meder Musterlösung Zur Klausur sind keine Hilfsmittel und kein eigenes Papier zugelassen. Die Bearbeitungszeit
- - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2 off 3 3.0 4 2.0 5 off 6 1 8 20.0 9 60 C 7 4.0 10 80 C 1 38 C 12 8 k 13 on 14 30.0 15 10 16 - - CodE 11 CodE 0 0 0 0 0 0 0 0 2.o C 1 10.0 C 2
Grundbegriffe der Informatik Tutorium 11
Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 32 Philipp Oppermann 29. Januar 2014 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Parallelität, Threads
Parallelität, Threads Tutorium 7 iloveswt.de Fabian I. Miltenberger 04.07.2016 INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD) KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Software Engineering II (IB) Testen von Software / Modultests
Testen von Software / Modultests Prof. Dr. Oliver Braun Fakultät für Informatik und Mathematik Hochschule München SS 2015 Programm-Tests Tests sollen zeigen, dass ein Programm das tut was es tun soll sowie
Programmiertechnik II
Modultests Ziele Überprüfung der Korrektheit eines Moduls Korrektheit: Übereinstimmung mit (informaler) Spezifikation Modul: kleine testbare Einheit (Funktion, Klasse) Engl.: unit test White box testing
Babeș-Bolyai Universität Cluj Napoca Fakultät für Mathematik und Informatik Grundlagen der Programmierung MLG5005. Testing
Babeș-Bolyai Universität Cluj Napoca Fakultät für Mathematik und Informatik Grundlagen der Programmierung MLG5005 Testing Assoziationen / Datentransferobjekte (DTO) Testing Refactoring GUIs Tk toolkit
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,
Qualitätssicherungskonzept
Softwaretechnikpraktikum Gruppe: swp15.aae SS 2015 Betreuer: Prof. Gräbe Datum: 15.06.2015 Tutor: Klemens Schölhorn Qualitätssicherungskonzept Projektteam: Felix Albroscheit Dorian Dahms Paul Eisenhuth
Klausur Softwaretechnik
Klausur Softwaretechnik 14.03.2008 Prof. Dr. Walter F. Tichy Dipl.-Inform. T. Gelhausen Dipl.-Inform. A. Paar Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes Papier
Kapitel 4 - Die Implementierungsphase
Kapitel 4 - Die Implementierungsphase SWT I Sommersemester 2010 Walter F. Tichy, Andreas Höfer, Korbinian Molitorisz IPD Tichy, Fakultät für Informatik KIT die Kooperation von Forschungszentrum Karlsruhe
KLAUSUR SOFTWARETECHNIK I
KLAUSUR SOFTWARETECHNIK I 12.10.2009 Prof. Dr. Walter F. Tichy Dipl.-Inform. Andreas Höfer Dipl.-Inform. David J. Meder Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes
SE 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
Praktische Informatik 1. Hartmut Lackner
Praktische Informatik 1 Hartmut Lackner 8.07.2010 11 Software-Qualität 1. Was ist Software-Qualität Qualitätskriterien Maßnahmen zur Qualitätssicherung 2. Softwaretest Testen im Software-Entwicklungsprozess
Programmierparadigmen Tutorium: Lazyness, Streams
Programmierparadigmen Tutorium: Lazyness, Streams Prof. Dr.-Ing. Gregor Snelting WS 2012/2013 LEHRSTUHL PROGRAMMIERPARADIGMEN www.kit.edu KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Programmieren I. Überblick. Institut für Angewandte Informatik. KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft
Programmieren I Überblick KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Übersicht Modul Programmieren Programmieren I (1. Semester) 4 Vorlesungs- und Übungsstunden / Woche 1 Stunde
Verlässliche Echtzeitsysteme
Verlässliche Echtzeitsysteme Testen Fabian Scheler Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de 06. Mai
Klausur Softwaretechnik
Klausur Softwaretechnik 16.03.2006 Prof. Dr. Walter F. Tichy M. Sc. A. Jannesari Dipl.-Inform. G. Malpohl Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes Papier zugelassen.
Karol Frühauf, Jochen Ludewig, Helmut Sandmayr. Software-Prüfung Eine Anleitung zum Test und zur Inspektion
Karol Frühauf, Jochen Ludewig, Helmut Sandmayr Software-Prüfung Eine Anleitung zum Test und zur Inspektion (f Hochschulverlag AG an der ETH Zürich B.G. Teubner Stuttgart Inhalt Vorwort 3 Inhalt 5 Verzeichnis
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
Qualitätssicherung von Software
Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST 2.2 Integrations- und Systemtest 17.11.2004 Folie 2 Hinweise Übungen: Teilnahme wird dringend
Qualitätssicherung von Software
Qualitätssicherung von Software Prof. Dr. Holger Schlingloff Humboldt-Universität zu Berlin und Fraunhofer FIRST 2.4 OO-Test 26.11.2004 Folie 2 Kapitel 2. Testverfahren 2.1 Testen im SW-Lebenszyklus 2.2
,$ -. "+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$
Prof. Dr. Peter Knauber. Name:... Vorname:... Unterschrift:...
Fakultät für Informatik SS 2014 Prof. Dr. Wolfgang Schramm Prof. Dr. Peter Knauber Informatik / Unternehmens- und Wirtschaftsinformatik Modulprüfung Softwaretechnik (ST)... Vorname:... Matrikel- Nr.:...
Wiederholung. Testen. Tests nach Methode zum Ableiten der Testfälle White Box Test Black Box Test
Testen Tests nach Lebenzykusphase Unit, Komponententests Integrationstets Systemtests Abnahmetests, Validierung Tests nach Testziel Lasttest Penetrationstests Funktionale Tests... Wiederholung Tests nach
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,
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
Theoretische Grundlagen der Informatik. Vorlesung am 8. Januar INSTITUT FÜR THEORETISCHE INFORMATIK
Theoretische Grundlagen der Informatik 0 08.01.2019 Torsten Ueckerdt - Theoretische Grundlagen der Informatik KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Letzte Vorlesung Eine
Software 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
Prüfung und Unterstützung 26 Prüfung und Abnahme 26.1 Prüfen von Anforderungen. Worum geht es?
Teil IV: Prüfung und Unterstützung 26 Prüfung und Abnahme 26.1 Prüfen von Anforderungen Worum geht es? Abweichungen von der geforderten Qualität der Spezifikation feststellen Möglichst viele Fehler, Lücken,
Programmieren. JUnit-Tests. Heusch -- Ratz -- Institut für Angewandte Informatik
Programmieren JUnit-Tests Heusch -- Ratz -- KIT Die Forschungsuniversität in der Helmholtz-Gemeinschaft www.kit.edu Testgetriebene Entwicklung (auch testgesteuerte Programmierung, engl. test first development
Testen von SOA-Anwendungen mit dem BPEL Testframework
Testen von SOA-Anwendungen mit dem BPEL Testframework Stefan Kühnlein IBM Deutschland Enterprise Application Solution GmbH Hollerithstr. 1 81829 München 0160/8848611 Stefan.Kuehnlein@de.ibm.com IBM Deutschland
2. Tutorium Digitaltechnik und Entwurfsverfahren
2. Tutorium Digitaltechnik und Entwurfsverfahren Tutorium Nr. 9 Alexis Tobias Bernhard Fakultät für Informatik, KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft
Validierung 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
Klausur Softwaretechnik
Klausur Softwaretechnik 15.03.2007 Prof. Dr. Walter F. Tichy Dipl.-Inform. T. Gelhausen Dipl.-Inform. G. Malpohl Hier das Namensschild aufkleben. Zur Klausur sind keine Hilfsmittel und kein eigenes Papier
Grundlagen der Risikoanalyse nach ISO 26262
Grundlagen der Risikoanalyse nach ISO 26262 Paul Huber Mikro-Workshop für die ASQF Regionalfachgruppe Software-Test Schwaben am 1 Das bin ich... Dipl.-Ing. (FH) Paul Huber, MBA seit 2006 Ingenieurbüro
Wir schützen Ihre Investitionen. Qualitätssicherung nach Maß. IT Quality Services
Wir schützen Ihre Investitionen Qualitätssicherung nach Maß IT Quality Services Sicherheit, die senkt Mit den IT Quality Services schützen Sie Ihre Investitionen Ohne Qualitätssicherung Mit Qualitätssicherung
Digitale Signaturen. Anwendung von Einmalsignaturen Gunnar Hartung, Björn Kaidel.
Digitale Signaturen Anwendung von Einmalsignaturen Gunnar Hartung, Björn Kaidel FAKULTÄT FÜR INFORMATIK, INSTITUT FÜR THEORETISCHE INFORMATIK 0 2016-11-18 G. Hartung Digitale Signaturen: Anwendung von
Verlässliche Echtzeitsysteme
Verlässliche Echtzeitsysteme Testen Fabian Scheler Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de 25. April
Testen von Software systematisch oder agil?
von Software systematisch oder agil? Prof. Dr.-Ing. Andreas Spillner Hochschule Bremen Testing Day Baden-Württemberg 20.10.2011 Vorstellung meiner Person Studium der Informatik an der TU Berlin Praxis
Software- Qualitätsmanagement
Software- Qualitätsmanagement Kernfach Angewandte Informatik Sommersemester 2006 Prof. Dr. Hans-Gert Gräbe 2. Kontrollfluss-or. Strukturtestverfahren Überblick Basieren auf der Kontrollstruktur des zu
Modelling in the Wild Domains and Abstraction in Model-Driven Software Development
Modelling in the Wild Domains and Abstraction in Model-Driven Software Development SoSe 2013 und WS 2013/14 Prof. Dr. Ralf Reussner, Michael Langhammer, Erik Burger, Max Kramer 15. April 2013 LEHRSTUHL
Praxis der Softwareentwicklung WS 2015/16
Praxis der Softwareentwicklung WS 2015/16 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 KIT 28. Universität Oktober des 2015- Landes Praxis Baden-Württemberg der Softwareentwicklung und WS
Praxis der Softwareentwicklung
Praxis der Softwareentwicklung SS 2014 Prof. Dr. Gregor Snelting LEHRSTUHL 0 KIT 22. Universität April 2014 des Landes Baden-Württemberg Praxis der Softwareentwicklung und SS 2014 LEHRSTUHL nationales
Die 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
Projektmanagement Vorlesung 14/ 15: Wiederholung ausgewählter Themen zur Klausurvorbereitung. Prof. Adrian Müller, PMP, PSM-1, CSM FH Kaiserslautern
Projektmanagement Vorlesung 14/ 15: Wiederholung ausgewählter Themen zur Klausurvorbereitung Prof. Adrian Müller, PMP, PSM-1, CSM FH Kaiserslautern phone: +49 631/3724-5329 http://www.hs-kl.de/~amueller
QADVICE. Forum 7-it. Software- und System-Qualitätssicherung für IT-Infrastrukturlösungen. Hermann Will 18.05.2010
Forum 7-it Software- und System-Qualitätssicherung für IT-Infrastrukturlösungen Hermann Will 18.05.2010 18.05.2010 Copyright Hermann Will 2010 Folie 1 Agenda Einführung QS Testobjekte Teststrategie Testtechniken
Verlässliche Echtzeitsysteme
Funktionale und nicht-funktionale Eigenschaften Verlässliche Echtzeitsysteme Dynamisches Testen Peter Ulbrich Lehrstuhl für Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg
Verlässliche Echtzeitsysteme
Verlässliche Echtzeitsysteme Dynamisches Testen Peter Ulbrich Lehrstuhl für Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg https://www4.cs.fau.de 02. Juni 2016
Praxis der Softwareentwicklung WS 2016/17
Praxis der Softwareentwicklung WS 2016/17 Prof. Dr. Gregor Snelting LEHRSTUHL PROGRAMMIERPARADIGMEN 0 27. Oktober 2016- Praxis der Softwareentwicklung WS 2016/17 LEHRSTUHL PROGRAMMIERPARADIGMEN KIT Die
Grundbegriffe der Informatik Tutorium 11
Grundbegriffe der Informatik Tutorium 11 Tutorium Nr. 16 Philipp Oppermann 21. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Algorithmen I - Tutorium 28 Nr. 3
Algorithmen I - Tutorium 28 Nr. 3 18.05.2016: Spaß mit Listen, Arrays und amortisierter Analyse Marc Leinweber marc.leinweber@student.kit.edu INSTITUT FÜR THEORETISCHE INFORMATIK (ITI), PROF. DR. JÖRN
Vorlesung Programmieren
Vorlesung Programmieren 11 Rekursion Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.1 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Grundbegriffe der Informatik Tutorium 12
Grundbegriffe der Informatik Tutorium 12 Tutorium Nr. 16 Philipp Oppermann 28. Januar 2015 KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum
Vorlesung Programmieren
Vorlesung Programmieren Einführung 26.10.2016 Jun.-Prof. Dr.-Ing. Anne Koziolek Version 1.0 ARBEITSGRUPPE ARCHITECTURE-DRIVEN REQUIREMENTS ENGINEERING (ARE) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION
Swp08-6 Verantwortliche: Yundensuren, Baigalmaa. Testkonzept
Testkonzept 1.Einführung Um die Zuverläsigkeit und die Qualität der Software und des gesamten Systems zu verbessern, sind Tests durchzuführen. Die Testreihe läst sich in drei Stufen einteilen, nülich Komponententest,
Zusammenfassung 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
Programmierprojekt. Anne0e Bieniusa Sommersemester 2014
Programmierprojekt Anne0e Bieniusa Sommersemester 2014 Phasen der So;ware- Entwicklung Planungsphase DefiniConsphase Entwurfsphase ImplemenCerungsphase Testphase Wasserfall- Modell Einführungs- und Wartungsphase
TGI-Übung Dirk Achenbach
TGI-Übung 7 06.02.2014 Dirk Achenbach INSTITUT FÜR THEORETISCHE INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Agenda
Software-Test: Strukturtest
Software-est: Strukturtest Andreas Zeller Lehrstuhl für Softwaretechnik Universität des Saarlandes, Saarbrücken 2006-02-02 Welche estfälle auswählen? Ich kann nur eine beschränkte Zahl von Läufen testen