2026-07-22T10:25:01Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18998 2024-03-06T11:03:14Z ddc:004 open_access

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing van Spaendonck, P. H. M. Willemse, Tim A. C. stable-failures refinement Model-Driven Engineering input output conformance Input Output Labelled Transition Systems internal choice We study the connection between stable-failures refinement and the ioco conformance relation. Both behavioural relations underlie methodologies that have gained traction in industry: stable-failures refinement is used in several commercial Model-Driven Engineering tool suites, whereas the ioco conformance relation is used in Model-Based Testing tools. Refinement-based Model-Driven Engineering approaches promise to generate executable code from high-level models, thus guaranteeing that the code upholds specified behavioural contracts. Manual testing, however, is still required to gain confidence that the model-to-code transformation and the execution platform do not lead to unexpected contract violations. We identify conditions under which also this last step in the design methodology can be automated using the ioco conformance relation and the associated tools. Schloss Dagstuhl – Leibniz-Zentrum für Informatik P. H. M. van Spaendonck and Tim A. C. Willemse 2023 Is Part Of LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2023.4 urn:nbn:de:0030-drops-189988 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.4 eng https://creativecommons.org/licenses/by/4.0/legalcode