A4 Vertaisarvioitu artikkeli konferenssijulkaisussa
Validation of Dynamic Simulation Models using Metamorphic Testing and Given-When-Then Patterns
Tekijät: Sudheerbabu, Gaadha; Truscan, Dragos; Manngård, Mikael; Klemets, Kristian
Toimittaja: Zimmer, Dirk; Müller, Ulf Christian
Konferenssin vakiintunut nimi: International Modelica and FMI Conference
Kustantaja: Linköping University Electronic Press
Julkaisuvuosi: 2025
Lehti: Linköping Electronic Conference Proceedings
Kokoomateoksen nimi: Proceedings of the 16th International Modelica&FMI Conference, September 8 – 10, 2025, Lucerne University of Applied Sciences and Arts (HSLU)
Vuosikerta: 218
Aloitussivu: 139
Lopetussivu: 146
ISBN: 978-91-8118-266-8
ISSN: 1650-3686
eISSN: 1650-3740
DOI: https://doi.org/10.3384/ecp218139
Julkaisun avoimuus kirjaamishetkellä: Avoimesti saatavilla
Julkaisukanavan avoimuus : Kokonaan avoin julkaisukanava
Verkko-osoite: https://doi.org/10.3384/ecp218139
Rinnakkaistallenteen osoite: https://research.utu.fi/converis/portal/detail/Publication/508391860
Rinnakkaistallenteen lisenssi: CC BY
Rinnakkaistallennetun julkaisun versio: Kustantajan versio
As the maritime industry evolves, there is a focus onsimulation-driven design, testing, and validation usingnovel technology solutions. Simulation models designed torepresent the behaviour and features of real systems areincreasingly available for testing during the early phaseof the full development, but in many cases, their testingsuffers from the availability of test oracles. Metamorphictesting has become increasingly used in differentapplication domains as an approach to test systems when anexplicit test oracle is unavailable. In order to increaseits adoption by domain experts, we combine metamorphictesting with Behaviour Driven development for theverification and validation of simulation models. Thetool-based approach facilitates automated test generationbased on domain-specific custom metamorphic transformationsto generate meaningful test inputs for metamorphic inputrelations. The method also uses features and scenariosextracted from system requirements and domain expertise todefine metamorphic output relations. By automating testgeneration based on system behaviours as features,scenarios, metamorphic transformations, and outputcandidates for metamorphic relations in a Gherkin-likeformat, the tool enables practitioners to verify modelsbased on domain-specific constraints and metamorphicrelation checks. Our preliminary evaluation shows that thetool can detect MR violations in the simulation modelsunder test and that automated test generation providesimproved coverage.
Ladattava julkaisu This is an electronic reprint of the original article. |
Julkaisussa olevat rahoitustiedot:
This work has been supported by Business Finlandvia the Virtual Sea Trial project (VST), under grant 7187/31/2023.