2. Verifikation, Validierung und Testen - Praktische Informatik ...

Weitere Magazine

Empfehlungen

Info

Spezifikation zur Ableitung des technischen Eintrittsalters einer Person in einen Versicherungsvertrag. Eingabe : vertragsbeginn, geburtsdatum Hilsvariable : diff_Monat := Monat (vertragsbeginn) – Monat (geburtsdatum) diff_Jahr := Jahr (vertragsbeginn) – Jahr (geburtsdatum) technisches_Eintrittsalter Bedingung Fehler vertragsbeginn < geburtsdatum diff_Jahr vertragsbeginn >= geburtsdatum und -5 6 diff_Jahr - 1 vertragsbeginn >= geburtsdatum und diff_Monat < -5 Ti-j : Testfall in Äquivalenzklasse i an der Grenze zu Klasse j Testfall Ausgewähltes Testdatum Eingabe Ausgabe Geburts- Vertrags- Ausgabe datum beginn :soll T1-2 Vertragsbeginn 1 Tag vor Geburtsdatum Fehler 02.02.2001 01.02.2001 Fehler T2-1 Vertragsbeginn = Geburtsdatum 0 01.06.1975 01.06.1975 0 T2-3 diff_Monat = 6 diff_Jahr 01.06.1975 01.12.2001 26 T2-4 diff_Monat = -5 diff_Jahr 01.06.1975 01.01.2001 26 T3-2 diff_Monat = 7 diff_Jahr+1 01.05.1975 01.12.2001 27 T4-2 diff_Monat = -6 diff_Jahr-1 01.07.1975 01.01.2001 25 Wir können leicht verstehen, dass wir hier diff_Monat = -5, -6, 6, 7 für den Grenzwert benutzen. Außerdem wird hier untersucht, wie sich das Programm bei falschen Werten (hier Vertragsbeginn 1 Tag vor Geburtsdatum) verhält. Einige Richtlinien bei Bildung des Grenzwertes: 1. Wenn ein Wertebereich für die Eingabebedingung in der Spezifikation steht, so muss man Testfälle für den unteren und oberen Grenzwert
entwerfen, die direkt neben den Grenzwert liegen. Zum Beispiel: die Eingabewerte liegen zwischen -5
Seite 1 und 2: Verifikation, Validation und Testen
Seite 3 und 4: 1. Beispiele für Fehler in Softwar
Seite 5 und 6: Validation Validation Verification
Seite 7 und 8: } z = week_d(day, month, year); pri
Seite 9 und 10: Auffinden der Äquivalenzklasse : 1
Seite 11: } } if (i = = 7) { day = 7 ; month
Seite 15 und 16: Jeder Knoten kann den Wert 0 oder 1
Seite 17 und 18: Der nächste Schritt ist Entscheidu
Seite 19 und 20: Blut Blutzuck ersensor Blutparamete
Seite 21 und 22: In jedem der drei Fälle widersprec
Seite 23 und 24: Die Wahrscheinlichkeit, in einem be
Seite 25: 8. Literaturverzeichnis [1] Georg E

2. Verifikation, Validierung und Testen - Praktische Informatik ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?