GMU Software Engineering Seminar Series



Date: Tuesday, 09/02/2008

Time: 12:00 – 1:00 PM

Location: 430A ST2


Title: Testing model transformations in a MDE context


Speaker: Benoit Baudry


Abstract: Model transformation is a core mechanism for model-driven engineering (MDE). Transformations are used to automate a large number of tedious, error-prone, and recurrent tasks that occur during software development. For example, transformations can be used to refine a design model, refactor a model by changing its structure, reverse engineer code to obtain an abstract model, or generate code from design models. These software development tasks are critical and thus the model transformations that automate them must be validated. I will present the work we have developed for testing model transformations. This work is decomposed in three parts: the definition of coverage criteria on the input domain of model transformations, defined as a metamodel; the adaptation of mutation analysis to tackle specific faults that occur during transformation; the automatic generation of models that can serve as test data, using constraint solving techniques.


Bio: Benoit Baudry is a full-time researcher at INRIA since October 2004. He works in the Triskell group in the IRISA lab, and is also part of the "équipe associée" MATT in collaboration with Colorado State University. His research activities focus on software testing in the context of model-driven development, more specifically: model transformation testing, testing aspect-oriented models, and model-driven environment for requirements validation and test cases generation. Before joining INRIA, he had a postdoc position at CEA (french nuclear agency) for one year, where he studied the application of model-driven approaches for real-time applications. In June 2003 he defended his PhD thesis entitled "Testable assembly and component validation".


Host: Jeff Offutt