TY  - THES
A3  - Belli, Fevzi
AB  - Die Mutationsanalyse wurde in den Siebzigerjahren primär zur Beurteilung der Effizienz einer vorgegebenen Testfallmenge eingeführt. Zur systematischen Modifizierung des Quellcodes des zu prüfenden Systems (Prüfling) und somit zur Simulierung typischer Programmierfehler benutzt das Verfahren spezielle Mutationsoperatoren. Für jeden der erzeugten Mutanten wird überprüft, ob die gegebene Testfallmenge den bzw. die injizierten Fehler erkennt. Das Verhältnis aus erkannten zu nicht erkannten Fehlern wird abschließend zur Beurteilung der Effizienz der gegebenen Testfallmenge genutzt. Die vorliegende Arbeit führt eine modellbasierte Mutationsanalyse ein. Anstatt des Quellcodes des zu prüfenden Systems wird nun das gegebene, als korrekt angenommene Modell des Systems systematisch modifiziert. Für jeden so erzeugten Mutanten wird eine Testfallmenge mittels eines modellbasierten Testfallgenerators generiert, welche auf das zu prüfende System angewandt wird. Im Gegensatz zur code-basierten Mutationsanalyse ermöglicht es diese modellbasierte Sichtweise, auch "echte", d.h. nicht-injizierte Fehler im Prüfling zu erkennen. Ein weiterer Vorteil ist, dass der Quellcode des Prüflings nicht benötigt wird, weil die Mutationsanalyse auf Modellebene durchgeführt wird. Das erleichtert den Einsatz in der Praxis, weil der Quellcode des Prüflings nicht immer verfügbar ist. Der Ansatz und die benutzten elementaren Mutationsoperatoren werden zunächst syntaktisch anhand von gerichteten Graphen erläutert. Zur Berücksichtigung praktischer Belange werden exemplarisch einige bekannte Modelle herangezogen: Ereignis-Sequenz-Graphen, endliche Automaten und Statecharts. Mit Hilfe dieser Modelle identifizieren und analysieren mehrere Fallstudien die charakteristischen Eigenschaften und Vorteile des eingeführten Ansatzes.
AU  - Hollmann, Axel
DA  - 2011
DP  - Universität Paderborn
LA  - eng
N1  - Tag der Verteidigung: 07.06.2011
N1  - Paderborn, Univ., Diss., 2011
PB  - Veröffentlichungen der Universität
PY  - 2011
T2  - Institut für Elektrotechnik und Informationstechnik
TI  - Model-based mutation testing for test generation and adequacy analysis
UR  - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-379
Y2  - 2026-01-13T05:13:43
ER  -