Software-Projekt ¨Uberblick I - Informatik - Universität Bremen

Weitere Magazine

Empfehlungen

Info

Software-Test Äquivalenztest I Ziel: Testfälle minimieren. Idee: Kriterien: Äquivalente Testfälle werden zusammengefasst. Ein Testfall wird als Repräsentant der Äquivalenzklasse aufgestellt. Abdeckung: Jede mögliche Eingabe gehört zu einer der Äquivalenzklassen Disjunktion: Keine Eingabe gehört zu mehr als einer einzigen Äquivalenzklasse Repräsentation (die Hoffnung): Falls Ausführung einen fehlerhaften Zustand anzeigt, sobald ein bestimmtes Mitglied einer Äquivalenzklasse als Eingabe benutzt wird, dann kann derselbe fehlerhafte Zustand entdeckt werden, wenn irgendein anderes Mitglied dieser Äquivalenzklasse als Eingabe verwendet wird Rainer Koschke (Uni Bremen) Software-Projekt Wintersemester 2008/09 17 / 55 Software-Test Äquivalenztest II Für jede Äquivalenzklasse werden mindestens zwei Testeingaben ausgewählt: typische Eingabe, die den allgemeinen Fall abprüft unvollständige Eingabe, die auf korrektes Verhalten im Fehlerfall prüft Rainer Koschke (Uni Bremen) Software-Projekt Wintersemester 2008/09 18 / 55
Software-Test Ein korrektes Programm? c l a s s K a l e n d e r { p u b l i c s t a t i c c l a s s MonatUngueltig e x t e n d s E x c e p t i o n { } ; p u b l i c s t a t i c c l a s s J a h r U n g u e l t i g e x t e n d s E x c e p t i o n { } ; p u b l i c s t a t i c b o o l e a n i s t S c h a l t J a h r ( i n t j a h r ) { r e t u r n ( j a h r % 4) == 0 ; } p u b l i c s t a t i c i n t TageProMonat ( i n t monat , i n t j a h r ) throws MonatUngueltig , J a h r U n g u e l t i g { i n t anzTage ; i f ( j a h r < 1) { throw new J a h r U n g u e l t i g ( ) ; } i f ( monat i n {1 , 3 , 5 , 7 , 10 , 12}) { anzTage = 3 2 ; } e l s e i f ( monat i n {4 , 6 , 9 , 11}) { anzTage = 3 0 ; } e l s e i f ( monat == 2) { i f ( i s t S c h a l t J a h r ( j a h r ) ) anzTage = 2 9 ; e l s e anzTage = 2 8 ; } e l s e throw new MonatUngueltig ( ) ; r e t u r n anzTage ; } } Rainer Koschke (Uni Bremen) Software-Projekt Wintersemester 2008/09 19 / 55 Software-Test Beispielspezifikation Kalender.TageProMonat(monat,jahr) liefere die Tage eines Monats wie folgt: Fehlerfall monat ∈ {1, 3, 5, 7, 8, 10, 12} ⇒ 31 monat ∈ {4, 6, 9, 11} ⇒ 30 jahr ist ein Schaltjahr ∧ monat = 2 ⇒ 29 jahr ist kein Schaltjahr ∧ monat = 2 ⇒ 28 monat < 1 ∨ monat > 12 ⇒ throw MonatUngueltig jahr < 0 ⇒ throw JahrUngueltig Rainer Koschke (Uni Bremen) Software-Projekt Wintersemester 2008/09 20 / 55
Seite 1 und 2: Überblick I 1 Software-Test Softwa
Seite 3 und 4: Software-Test Ein korrektes Program
Seite 5 und 6: Software-Test Testen und seine Begr
Seite 7 und 8: 2009-01-13 Software-Test Testfall S
Seite 9: Software-Test Typen von Komponenten
Seite 13 und 14: Software-Test Komponententest mit J
Seite 15 und 16: Software-Test Grenztest Äquivalenz
Seite 17 und 18: 2009-01-13 Software-Projekt Softwar
Seite 23 und 24: Software-Test Zustandsbasiertes Tes
Seite 25 und 26: Software-Test Zustandsbasiertes Tes
Seite 27 und 28: Software-Test Strategien des Integr
Seite 29 und 30: Software-Test Testdokumentation: Au
Seite 31 und 32: Software-Test Testschadensbericht w

Software-Projekt ¨Uberblick I - Informatik - Universität Bremen

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?