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

Oszkár, Semeráth [Semeráth, Oszkár (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Aren, A Babikian; Sebastian, Pilarski; Dániel, Varró [Varró, Dániel (Informatika, szof...), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); MTA-BME Lendület Kiber-fizikai Rendszerek Kutat... (BME / VIK / MIT)

Angol nyelvű Tudományos Konferenciaközlemény (Könyvrészlet)
    Azonosítók
    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.
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-10-21 19:09