Combinatorial robustness testing based on error-constraints

Fögen, Konrad; Lichter, Horst (Thesis advisor); Gargantini, Angelo (Thesis advisor)

Düren : Shaker Verlag (2021)
Buch, Doktorarbeit

In: Aachener Informatik Berichte, Software Engineering 47
Seite(n)/Artikel-Nr.: 1 Online-Ressource : Illustrationen

Dissertation, RWTH Aachen University, 2021

Kurzfassung

Robustheit ist eine wichtige Eigenschaft einer Software, welche zusätzlich zur Funktionalität getestet werden muss. Dies erfordert ungültige Werte und ungültige Wertekombinationen, um die Reaktion einer Software auf die Eingabe dieser Werte beobachten zu können. Kombinatorisches Testen (CT) ist eine effektive spezifikationsbasierte Testmethode. Die Effektivität von CT verschlechtert sich jedoch, wenn ungültige Werte oder ungültige Wertekombinationen vorhanden sind. Dieses Phänomen wird als Maskierungseffekt ungültiger Eingaben bezeichnet und führte zu Erweiterungen der CT Testmethode, welche wir als Kombinatorisches Testen für Robustheit (CRT) bezeichnen. Das Ziel von CRT ist es, das Erkennen von Fehlern zu verbessern, indem der Maskierungseffekt ungültiger Eingaben vermieden wird. Vermieden wird er durch die Trennung von Tests mit gültigen Werten und gültigen Wertekombinationen und Tests mit ungültigen Werten und ungültigen Wertekombinationen. Das Ziel dieser Arbeit ist eine neue CRT Testmethode mit einem Modellierungsansatz, um ungültige Werte und ungültige Wertkombinationen gleichermaßen gut zu spezifizieren. Dieser Modellierungsansatz soll auch in explizite Testabdeckungskriterien und Testauswahlstrategien integriert werden. Zudem soll dieser Modellierungsansatz durch automatisierte Techniken weiter unterstützt werden. Dazu werden alle Konzepte und Techniken operationalisiert und in ein Framework zur Testautomatisierung integriert, welches einen Prozess, eine Architektur und eine Java-basierte Referenzimplementierung umfasst.