[Back]


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.