Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken

Oster N (2007)


Publication Language: German

Publication Type: Thesis

Publication year: 2007

URI: https://www.ps.tf.fau.de/files/2020/04/norbertoster_dissertation2007.pdf

Abstract

In dieser Arbeit wird ein Verfahren zur automatisierten Testdatengenerierung vorgestellt, das sowohl auf prozedurale als auch auf objekt-orientierte Programme anwendbar ist. Dabei werden während der Generierung die Testfälle derart optimiert, dass mit einer minimalen Anzahl von Testfällen eine maximale strukturelle Code-überdeckung erreicht wird. Zur Verfolgung dieser beiden an sich gegenläufigen Ziele werden selbst-adaptive, multi-objektive Metaheuristiken (darunter insbesondere Evolutionäre Algorithmen) eingesetzt. Der Ansatz basiert auf einer vorausgehenden Phase zur automatischen Instrumentierung des Quellcodes, um relevante Informationen über den Kontroll- und Datenfluss während der Laufzeit aufzuzeichnen. Mittels der dadurch gewonnenen Erkenntnisse werden sukzessiv generierte Testdatenmengen schrittweise solange verbessert, bis die vorgegebenen Testziele erreicht sind. Abschließend wird die Effizienz der generierten Testdaten hinsichtlich ihres Fehlererkennungspotenzials durch Mutationstests ermittelt. Darüber hinaus wird der prozentuale Anteil der tatsächlich erzielten überdeckung mittels statischer Kontroll- und Datenflussanalyse festgestellt. Das hier vorgestellte Verfahren erlaubt damit, den Aufwand zur Verifikation und Validierung komplexer, sicherheitskritischer Software deutlich zu verringern.

Authors with CRIS profile

How to cite

APA:

Oster, N. (2007). Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken (Dissertation).

MLA:

Oster, Norbert. Automatische Generierung optimaler struktureller Testdaten für objekt-orientierte Software mittels multi-objektiver Metaheuristiken. Dissertation, 2007.

BibTeX: Download