1 Search Results for "van Spaendonck, P. H. M."

Document

DOI: 10.4230/LIPIcs.CONCUR.2023.4

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing

Authors: P. H. M. van Spaendonck and Tim A. C. Willemse

Published in: LIPIcs, Volume 279, 34th International Conference on Concurrency Theory (CONCUR 2023)

Abstract

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.

Cite as

P. H. M. van Spaendonck and Tim A. C. Willemse. The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. In 34th International Conference on Concurrency Theory (CONCUR 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 279, pp. 4:1-4:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)

Copy BibTex To Clipboard

@InProceedings{vanspaendonck_et_al:LIPIcs.CONCUR.2023.4,
  author =	{van Spaendonck, P. H. M. and Willemse, Tim A. C.},
  title =	{{The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing}},
  booktitle =	{34th International Conference on Concurrency Theory (CONCUR 2023)},
  pages =	{4:1--4:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-299-0},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{279},
  editor =	{P\'{e}rez, Guillermo A. and Raskin, Jean-Fran\c{c}ois},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2023.4},
  URN =		{urn:nbn:de:0030-drops-189988},
  doi =		{10.4230/LIPIcs.CONCUR.2023.4},
  annote =	{Keywords: stable-failures refinement, Model-Driven Engineering, input output conformance, Input Output Labelled Transition Systems, internal choice}
}

Refine by Type
1 Document/PDF

Refine by Publication Year
1 2023

Refine by Author
1 Willemse, Tim A. C.
1 van Spaendonck, P. H. M.

Refine by Series/Journal
1 LIPIcs

Refine by Classification
1 Software and its engineering → Formal software verification
1 Theory of computation

Refine by Keyword
1 Input Output Labelled Transition Systems
1 Model-Driven Engineering
1 input output conformance
1 internal choice
1 stable-failures refinement

1 Search Results for "van Spaendonck, P. H. M."

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing

Abstract

Cite as

Thanks for your feedback!

Could not send message