VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models

Viatra Solver [1] is a novel open source software tool to automatically synthesize consistent and diverse domain-specific graph models to be used as a test suite for the systematic testing of CPS modelling tools. Taking a metamodel, and a set of well-formedness constraints of a domain as input, the...

Full description

Saved in:
Bibliographic Details
Published inProceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 43 - 46
Main Authors Semerath, Oszkar, Babikian, Aren A., Pilarski, Sebastian, Varro, Daniel
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2019
Subjects
Adaptation models
Biological system modeling
Generators
Graph generation
Logic solver
Metals
Model based system engineering
Object oriented modeling
Test generation
Testing
Tool testing
Online AccessGet full text

Cover

More Information
Summary:Viatra Solver [1] is a novel open source software tool to automatically synthesize consistent and diverse domain-specific graph models to be used as a test suite for the systematic testing of CPS modelling tools. Taking a metamodel, and a set of well-formedness constraints of a domain as input, the solver derives a diverse set of consistent graph models where each graph is compliant with the metamodel, satisfies consistency constraints, and structurally different from each other. The tool is integrated into the Eclipse IDE or it is executable from the command line.
ISSN:2574-1934
DOI:10.1109/ICSE-Companion.2019.00034