Formale Methoden Semesterprojekt Präsentation Thema 1 Test-Arten Fernstudium Master WI, MWI 10F Jan te Kock, 105554 20.09.2011.

Slides:



Advertisements
Ähnliche Präsentationen
Lexikon der Qualität Begriffe in Verbindung mit Qualität und ISO9000 finden sie auch im Lexikon der Qualität erläutert (
Advertisements

Qualität „Qualität ist die Gesamtheit von Eigenschaften und Merkmalen eines Produkts oder einer Tätigkeit, die sich auf deren Eignung zur Erfüllung gegebener.
Integrations- und Funktionstests im Rahmen des V-Modelles
Das V - Modell - Überblick
V - Modell Anwendung auf große Projekte
Vorgehensmodell - Wasserfallmodell
Messung, Analyse und Verbesserung
Henkelmann Rico Schmailzl Toni-Felix
Qualitätssicherung von Software (SWQS)
Das „Vorgehensmodell“
IT-Projektmanagement
Testplanung.
DIPF - IZ Bildung - InfoWeb Weiterbildung (IWWB) - Marc Rittberger © DIPF Informationsqualität von Weiterbildungsdatenbanken des InfoWeb Weiterbildung.
WS 04/05 wiss. Übung: Systemanalyse und Softwaredesign
Evaluierung und Implementierung der Automated Test Life-Cycle Methodology (ATLM) am Beispiel der IT3-Software Vorträger: Ling Yan.
Seminar-Präsentation
Lizenz Modelle GNU GPL BSD Shareware.
LE LM 8 - LO 3 Prozessnormen und Normen zu QM-Systemen
LE LM 10 - LO3 Verfahren zur Qualitätssicherung
Software „Unter Software versteht man die Gesamtheit oder auch einen Teil der Programme für Rechensysteme. Diese Programme ermöglichen zusammen mit den.
Was ist und wie prüft man Qualität
Prozessqualität und Produktqualität
Universität Stuttgart Institut für Kernenergetik und Energiesysteme Einzeltests im Rahmen des V-Modelles Aufgaben Überprüfung des Programmcodes mit Hilfe.
Prüfung von SW-Komponenten – Überblick
Universität Stuttgart Institut für Kernenergetik und Energiesysteme Aufgaben des Testens Vergleich des Verhaltens einer Software mit den an sie gestellten.
Beispiel: Wasserfallmodell als einfaches Phasenmodell
Universität Stuttgart Institut für Kernenergetik und Energiesysteme System- und Abnahmetests Inhalt Testen des Systems unter Mitwirkung des Auftraggebers.
Zertifizierung von Software: CMM oder ISO 9000
Das V - Modell - Überblick
Testen, Analysieren und Verifizieren von Software
Basiswissen Softwaretest - Certified Tester
Fehlerabdeckung/ Regressionstest1 Testen und Analysieren von Software Fehlerbehebung und Re-Engineering Fehlerabdeckung/ Regressionstest Vortragende:
Vortrag 11: Reengineering - Refactoring
1 Analyse von Software-statisch- Darmstadt,den Presentation: Sebastian Schikowski Steve Kenfack.
Reviews Definition Ziele Teilnehmer Ablauf Ergebnisse.
Vorgehensmodelle: Schwergewichtige Modelle
Spezifikation von Anforderungen
Das Wasserfallmodell - Überblick
Prof. Dr. Gerhard Schmidt pres. by H.-J. Steffens Software Engineering SS 2009Folie 1 Weitere Vorgehensmodelle Der Rational Unified Process RUP –bei IBM.
Whitebox Testen mit JUnit
Übersicht Motivation Konzeption Umsetzung/ Implementierung
Das Pflichtenheft Dipl.- Ing. Dipl.-Informatiker Dieter Klapproth
GIS - Seminar Wintersemester 2000/2001
Testaktivitäten Komponenten- / Integrationstest
Wasserfallmodell und Einzelbegriffe
Projektmanagement Ziel und Umfang eines Softwareprojektes definieren
Arbeitsengagement als dynamischer Prozess: Wechselwirkungen zwischen Ressourcen, Ereignissen und Emotionen Cand. Psych. Antje Schmitt Dipl.- Psych. Ronald.
Aufgaben und Ziele des Faches Qualitätsmanagement:
Rational Unified Process
Software Engineering Grundlagen
Testvorbereitungen, Unit Test
Möglichkeiten der Visualisierung
PROJEKTARBEIT Jessica Schnaiter Tatjana Justus.
Korrektheit von Programmen – Testen
Software - Testung ETIS SS05.
imbus - Software-Qualität in der Medizintechnik
Evangelos Sakellariou Stefan Kreiner SOFTWAR QUALITÄT 1.
Test 1 Test 2 Test 3. Test 4 Test 5 Test 6 Test 7 Test 8 Test 9.
Performanz- und Lasttests Formale Methoden
Kathrin Winter Universität Hildesheim Berlin,
Semesterprojekt Präsentation Thema 1 Test-Arten
Präsentation FAKULTÄT FÜR WIRTSCHAFTSWISSENSCHAFTEN Ulf Kersten Hannover, Formale Methoden Software-Qualität und Projektmanagement.
Projektmanagement und Softwarequalität
Softwareentwicklung & Testprozess
Testsysteme für Automatisierte Softwaretests Seminarvortrag von Rica Wedowski.
© Till Hänisch, 2002 BA Heidenheim Vorgehensmodelle Wie entsteht Software ?
SEMINARVORTRAG Von Jonas Robers METHODEN UND TOOLS ZUR ERFASSUNG VON TESTFÄLLEN.
Semesterprojekt „Formale Methoden“ Thema: Management des Testens Fakultät für Wirtschaftswissenschaften Tina Michel Sven Soward Alexander Lehmann.
Test.
Continuous Integration (Kontinuierliche Integration)
 Präsentation transkript:

Formale Methoden Semesterprojekt Präsentation Thema 1 Test-Arten Fernstudium Master WI, MWI 10F Jan te Kock,

2 Gliederung 1.) Softwarequalität Qualitätswaage Bausteine der Softwarequalität 2.) Modelle der Softwareentwicklung Wasserfallmodell Allgemeines V-Modell 3.) Testarten Merkmalsraum des Testfalls 4.) Zusammenfassung der Ergebnisse

Softwarequalität - Qualitätswaage 3 DIN ISO-Norm 9126: „Software- Qualität ist die Gesamtheit der Merkmale und Merkmalswerte eines Software-Produkts, die sich auf dessen Eignung beziehen, festgelegte Erfordernisse zu erfüllen." Vgl. (Hoffmann, 2008), Seite 6

4 Softwarequalität – Bausteine Vgl. (Hoffmann, 2008), Seite 7

Modelle der Softwareentwicklung: Wasserfallmodell 5 Test ist eine „Endprüfung“, eine einmalige Aktion. Der Nachteil ist, dass Fehler, die z.B. in der Phase Systemanforderung gemacht werden, erst im Test auffallen. Vgl. (Hoffmann, 2008), Seite 494

Modelle der Softwareentwicklung: Allgemeines V-Modell 6 Prüf- und Testaktivitäten sind in jeder Phase des Software-Entwicklungs- lebenszyklus integriert. Viele unterschiedliche Varianten vorhanden Vgl. (Hoffmann, 2008), Seite 497

Testarten – Merkmalsraum des Testfalls 7 Vgl. (Hoffmann, 2008), Seite 77

Zusammenfassung - Prüfebenen  Es gibt vier Ebenen, in die sich jeder Testfall einordnen lässt  zeitliche Entwicklungsphase, in der sich die Software befindet, ist für die Klassifikation ein Kriterium  Programm-Struktur ebenso 8

Zusammenfassung - Prüfkriterium  Sie beschreiben die Kriterien, die ein System oder eine Komponente für das Bestehen eines Tests erfüllen muss. 9  Software-Tests lassen sich inhaltlich in drei Kategorien einteilen

Zusammenfassung - Prüfmethodik  Die Art und Weise, wie ein Testfall konstruiert wird, wird durch die Prüfmethodik beschrieben.  Der statische Test ist eine Analyse von Dokumenten durch ein oder mehrere Personen (z.B. Quellcode, ohne Ausführung)  Beim dynamischen Test wird die Software ausgeführt. Typisch: Black-Box, White-Box 10

Zusammenfassung – Test-Art 11  Testaktivitäten, die sich auf eine Komponente oder ein System beziehen und die Qualitätsmerkmale eines Produkts prüfen  Mehrere Phasen, Kriterien und Vorgehensweisen des Tests. Jede Kombination kann als Test-Art bezeichnet werden  Verfolgt ein Testziel Vgl. (Spillner&Linz, 2007), Seite 69ff

Fragen? 12 Kontakt: Jan te Kock Fernstudium Master WI, MWI 10F Hochschule Wismar / WINGS

Quellen  Hoffmann, D. W. (2008). Software-Qualität. Berlin, Heidelberg: Springer-Verlag.  Spillner, A., & Linz, T. (2007). Basiswissen Softwaretest - Aus- und Weiterbildung zum Certified Tester Foundation Level nach ISTQB Standard (3., überarbeitete und aktualisierte Auflage 2005, korrigierter Nachdruck 2007 Ausg.). Heidelberg: dpunkt.verlag. 13