Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Widl:
"Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering";
Poster: Haifa Verification Conference (HVC),
Haifa, Israel;
06.11.2012
- 08.11.2012; in: "Proceedings of the Eighth Haifa Verification Conference",
A. Biere, A. Nahir, E.J. Vos (Hrg.);
(2012),
2 S.
Kurzfassung englisch:
Thorough testing of tools that support the evolution of software models is essential in order to avoid the introduction of inconsistent models. However, real-life test cases with sufficient coverage are difficult to obtain. We suggest a method to generate random software models to facilitate fuzz testing of applications dealing with model evolution. We implemented and tested our approach to find bugs in a tool that solves a problem of model merging. Using the randomly created models as input, we were able to (1) detect errors in the algorithm, which could not be revealed by using hand-crafted models and (2) identify a significant performance bottleneck.
Schlagworte:
Fuzz Testing, Test Case Generation, Model-driven Engineering, Model Evolution, Multi-view Modelling
Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_213513.pdf
Zugeordnete Projekte:
Projektleitung Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Projektleitung Uwe Egly:
Quantified Boolean Formulas
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.