Mutation analysis with high-level decision diagrams

Mutation analysis with high-level decision diagrams

The paper presents a new tool for mutation analysis using the system model of high-level decision diagrams (HLDD). The tool is integrated into the APRICOT verification environment. It is based on HLDD simulation and graph perturbation. A strategy that relies on a restricted set of five key mutation...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hantson, Hanno, Raik, Jaan, Jenihhin, Maksim, Chepurov, Anton, Ubar, Raimund, di Guglielmo, Giuseppe, Fummi, Franco
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algorithm design and analysis
Analytical models
Benchmark testing
decision diagrams
Hardware
Labeling
mutation analysis
Software
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The paper presents a new tool for mutation analysis using the system model of high-level decision diagrams (HLDD). The tool is integrated into the APRICOT verification environment. It is based on HLDD simulation and graph perturbation. A strategy that relies on a restricted set of five key mutation operators is developed in order to speed up the mutation analysis. Experiments on several ITC99 benchmarks and an industrial example show the feasibility of the mutation analysis approach.
ISSN:2373-0862
DOI:10.1109/LATW.2010.5550336