Talks and Poster Presentations (with Proceedings-Entry):
M. Widl:
"Test Case Generation by Grammar-based Fuzzing for Model-driven Engineering";
Poster: Haifa Verification Conference (HVC),
Haifa, Israel;
2012-11-06
- 2012-11-08; in: "Proceedings of the Eighth Haifa Verification Conference",
A. Biere, A. Nahir, E.J. Vos (ed.);
(2012),
2 pages.
English abstract:
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.
Keywords:
Fuzz Testing, Test Case Generation, Model-driven Engineering, Model Evolution, Multi-view Modelling
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_213513.pdf
Related Projects:
Project Head Uwe Egly:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Project Head Uwe Egly:
Quantified Boolean Formulas
Created from the Publication Database of the Vienna University of Technology.