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

Post on 06-Apr-2016

226 views 3 download

Transcript of Formale Methoden Semesterprojekt Präsentation Thema 1 Test-Arten Fernstudium Master WI, MWI 10F Jan...

Formale Methoden

SemesterprojektPräsentation

Thema 1Test-Arten

Fernstudium Master WI, MWI 10FJan te Kock, 10555430.10.2011

2

Gliederung

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

Fragen?

11

Kontakt:

Jan te KockFernstudium Master WI, MWI 10FHochschule Wismar / WINGS

j.te_kock@stud.hs-wismar.de 

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.

12