Demonstration in Oxford about our model based test case generation tool

The prototype of our model based test case generation tool is available, what we have demonstrated to MOGENTES partners in Oxford at the quarterly technical project meeting on May 27-28, 2010. We have also presented our improved ontology based model checking tool and the traceability component of our tool integration framework. The university was represented by Dr. András Pataricza and Dr. Balázs Polgár.

Our model based test case generation tool uses UML models with precise semantics as input, transforms these to formal models (timed automata), generates tests from these formal models using UPPAAL and the results are back annotated to the original UML models. In the demonstration we have presented the integration of this multiple step workflow into our tool integration framework and the automated execution of it in this environment. The technical leader of the project acknowledged our achievments.

We have also discussed the state of and further work about our ontology based model checking tool and presented the traceability component of the tool integration framework that supports our partners in relating generated models and test cases to requirements and in the retrievement of these traceability information.

Researchers from 7 countries have attended the meeting representing both industry and academia.