Succesfull MOGENTES review

Prof. Dr. András Pataricza represented BME at the actual review meeting of the MOGENTES FP7 research project. He presented the main contributions of BME: an ontology based model syntax check engine, the SOA-based tool integration framework, the qualitative abstraction based high level test generator and the UPPAAL model checker based ATPG approach.

The work got a posotive evaluation and based upon the recommendation of the review experts an accelerated recommendation of the components into the overall MOGENTES framework was started. New research activities include model-based testability prediction with the help of the ontology based engine and the integration of the qualitative abstraction based ATPG as guiding heuristics into the detailed test generation process.