Testplan
-
Testfälle, Testdaten und erwartete Ergebnisse
-
Arten der Tests (Funktionstests, Grenzbedingungen, Leistungstests, Brauchbarkeitstests)
-
Testumgebung, Werkzeuge, Testsoftware
-
erforderliches Personal
-
Weiterhin Überprüfen von:
Vollständigkeit des Testplans,
sind die Tests angemessen?
Testdurchführung
-
Testergebnisse aufzeichnen
-
entdeckte Probleme festhalten, mögliche Auswirkungen auf andere Teile
vermerken, Verantwortliche informieren
-
geänderte Bereiche kennzeichnen ? erneut testen
-
Angemessenheit und Zweckdienlichkeit der Tests bewerten
-
HW/SW Konfiguration beachten
-
Produkt unter Bedingungen die dem Vertragsgegenstand entsprechen testen
Test
-
entstehendes Softwareprodukt wird zum Laufen gebracht und die Ergebnisse
getestet
-
kann Fehler im Design oder den Anforderungen aufdecken
|
|
Inspektion
-
Mängel statisch aufdecken (ohne Programm auszuführen)
-
Die Inspektion ist arbeitsintensiv, komplex und herausfordernd. Es entsteht
das Gefühl als sei diese weit kostenintensiver und ineffektiver als
reiner Test.
-
Grundvoraussetzung ist, dass Design und Anforderungen korrekt sind (und
das ist meist nicht der Fall)
-
Untersuchungen ergaben: Inspektionen finden mehr Fehler als Test und
sind zudem kosteneffektiver
Formelle Verifizierung
-
Wird kontrovers diskutiert: "muss sein" bis "ist sinnlos"
-
Aber für die meisten Projekte schlicht zu aufwendig/teuer (mathematischer
Beweis).
Cleanroom-Methodik
-
Formelle Verifizierung durch Entwickler (oder rigoroser Test).
-
Unabhängige Tester mit dem Ziel möglichst viele Fehler zu finden.
-
Statischer Test (Testfälle spiegeln den typischen Einsatz wieder,
Auswahl erfolgt zufällig, Rückschlüsse auf Effektivität
der Testfälle)
Statische Methoden
-
Schreibtischprüfung (bzw. am Monitor); Durchspielen des Source – gedankliche
Simulation.
-
Codeprüfung durch Gleichrangige; Codeinspektion durch 2-4 Entwickler
(mehr oder weniger formal); Probleme identifizieren – aber nicht
lösen; evtl. auf kritische Codeteile beschränkt.
-
Strukturanalyse; Source-Metriken, automatische Codechecks (nur begrenzt
wirksam).
-
Nachweis der Richtigkeit (formelle Verifikation)
umstritten und sehr aufwendig, die erstellten Nachweise sind häufig
selber falsch.
|
