{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T11:03:54Z","timestamp":1784027034873,"version":"3.55.0"},"reference-count":27,"publisher":"Walter de Gruyter GmbH","issue":"6","funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["IGF 19536 BG"],"award-info":[{"award-number":["IGF 19536 BG"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,25]]},"abstract":"<jats:title>Zusammenfassung<\/jats:title>\n                  <jats:p>Es wird eine Methode f\u00fcr die Generierung von Spezifikationsmodellen f\u00fcr den modellbasierten Test von mechatronischen Systemen vorgestellt. Diese wird mit Methoden der Testgenerierung sowie -priorisierung verkn\u00fcpft, um priorisierte Testf\u00e4lle zu erzeugen, die f\u00fcr den Test mechatronischer Systeme auf Komponenten- oder Systemebene eingesetzt werden k\u00f6nnen. Ein modular aufgebauter Testadapter erm\u00f6glicht die Testausf\u00fchrung f\u00fcr verschiedene Protokolle. Das Ergebnis ist ein effizienter Testprozess, bei dem der Aufwand f\u00fcr die Erstellung erforderlicher Modelle sowie f\u00fcr die Testdurchf\u00fchrung reduziert werden kann. Anhand eines Beispiels aus der industriellen Automation wird die Anwendung der Methode vorgestellt und evaluiert.<\/jats:p>","DOI":"10.1515\/auto-2020-0120","type":"journal-article","created":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T11:43:46Z","timestamp":1622115826000},"page":"417-429","source":"Crossref","is-referenced-by-count":4,"title":["Anforderungsbasierter Test f\u00fcr die Validierung komplexer Automatisierungssysteme"],"prefix":"10.1515","volume":"69","author":[{"given":"Karsten","family":"Meinecke","sequence":"first","affiliation":[{"name":"Institut f\u00fcr Automation und Kommunikation e.\u2009V. , Werner-Heisenberg-Stra\u00dfe 1 , Magdeburg , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kathrin","family":"Land","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen , Lehrstuhl f\u00fcr Automatisierung und Informationssysteme , Boltzmannstr. 15 , Garching bei M\u00fcnchen , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrich","family":"Jumar","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automation und Kommunikation e.\u2009V. , Werner-Heisenberg-Stra\u00dfe 1 , Magdeburg , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Birgit","family":"Vogel-Heuser","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen , Lehrstuhl f\u00fcr Automatisierung und Informationssysteme , Boltzmannstr. 15 , Garching bei M\u00fcnchen , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Reider","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Automation und Kommunikation e.\u2009V. , Werner-Heisenberg-Stra\u00dfe 1 , Magdeburg , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simon","family":"Ziegltrum","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen , Lehrstuhl f\u00fcr Automatisierung und Informationssysteme , Boltzmannstr. 15 , Garching bei M\u00fcnchen , Deutschland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"374","published-online":{"date-parts":[[2021,5,27]]},"reference":[{"key":"2026071410061759763_j_auto-2020-0120_ref_001_w2aab3b7d943b1b6b1ab2ab1Aa","doi-asserted-by":"crossref","unstructured":"Kathrin Land u.\u2009a. \u201cAn industrial evaluation of test prioritisation criteria and metrics\u201d. In: IEEE SMC, 2019, S.\u20091887\u20131892.","DOI":"10.1109\/SMC.2019.8914505"},{"key":"2026071410061759763_j_auto-2020-0120_ref_002_w2aab3b7d943b1b6b1ab2ab2Aa","doi-asserted-by":"crossref","unstructured":"Gregg Rothermel u.\u2009a. \u201cPrioritizing test cases for regression testing\u201d. IEEE Transactions on Software Engineering 27 (Nov. 2001), S.\u2009929\u2013948. DOI: 10.1109\/32.962562.","DOI":"10.1109\/32.962562"},{"key":"2026071410061759763_j_auto-2020-0120_ref_003_w2aab3b7d943b1b6b1ab2ab3Aa","doi-asserted-by":"crossref","unstructured":"Hauke Baller u.\u2009a. \u201cMulti-objective test suite optimization for incremental product family testing\u201d. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Marz 2014, S.\u2009303\u2013312. ISBN: 978-1-4799-2255-0. DOI: 10.1109\/ICST.2014.43.","DOI":"10.1109\/ICST.2014.43"},{"key":"2026071410061759763_j_auto-2020-0120_ref_004_w2aab3b7d943b1b6b1ab2ab4Aa","doi-asserted-by":"crossref","unstructured":"Andreas Zeller, Nasser Jazdi und Michael Weyrich. \u201cVerifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition\u201d. at - Automatisierungstechnik 66 (Feb. 2018), S.\u2009456\u2013470. DOI: 10.1515\/auto-2017-0069.","DOI":"10.1515\/auto-2017-0069"},{"key":"2026071410061759763_j_auto-2020-0120_ref_005_w2aab3b7d943b1b6b1ab2ab5Aa","doi-asserted-by":"crossref","unstructured":"S. Wei\u00dfleder and T. Rogenhofer. \u201cSimulated restriction of coverage criteria on UML state machines\u201d. In: IEEE ICSTW, 2011, S.\u200934\u201338. DOI: 10.1109\/ICSTW.2011.78.","DOI":"10.1109\/ICSTW.2011.78"},{"key":"2026071410061759763_j_auto-2020-0120_ref_006_w2aab3b7d943b1b6b1ab2ab6Aa","doi-asserted-by":"crossref","unstructured":"Santosh Swain, Durga Mohapatra and Rajib Mall. \u201cTest case generation based on use case and sequence diagram\u201d. International Journal of Software Engineering 3 (Jan. 2010).","DOI":"10.5381\/jot.2010.9.5.a1"},{"key":"2026071410061759763_j_auto-2020-0120_ref_007_w2aab3b7d943b1b6b1ab2ab7Aa","unstructured":"European Telecommunications Standards Institute. Testing and Test Control Notation Version 3 (TTCN-3). URL: https:\/\/www.etsi.org\/; http:\/\/www.ttcn-3.org."},{"key":"2026071410061759763_j_auto-2020-0120_ref_008_w2aab3b7d943b1b6b1ab2ab8Aa","unstructured":"VDI\/VDE-Gesellschaft Mess-und Automatisierungstechnik. Richtlinie \u201cTesten vernetzter I4.0-Systeme-Grobplanung verteilter Testprozesse Blatt 1\u201d. 2020. URL: https:\/\/www.vdi.de\/richtlinien."},{"key":"2026071410061759763_j_auto-2020-0120_ref_009_w2aab3b7d943b1b6b1ab2ab9Aa","doi-asserted-by":"crossref","unstructured":"Reinhard Hametner u.\u2009a. \u201cThe adaptation of test-driven software processes to industrial automation engineering\u201d. In: 2010 8th IEEE International Conference on Industrial Informatics, Aug. 2010, S.\u2009921\u2013927. DOI: 10.1109\/INDIN.2010.5549620.","DOI":"10.1109\/INDIN.2010.5549620"},{"key":"2026071410061759763_j_auto-2020-0120_ref_010_w2aab3b7d943b1b6b1ab2ac10Aa","doi-asserted-by":"crossref","unstructured":"R. Sinha u.\u2009a. \u201cRequirements-aided automatic test case generation for industrial cyber-physical systems\u201d. In: 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015, S.\u2009198\u2014201.","DOI":"10.1109\/ICECCS.2015.32"},{"key":"2026071410061759763_j_auto-2020-0120_ref_011_w2aab3b7d943b1b6b1ab2ac11Aa","doi-asserted-by":"crossref","unstructured":"Reinhard Hametner u.\u2009a. \u201cTest case generation approach for industrial automation systems\u201d. In: The 5th International Conference on Automation, Robotics and Applications, Dez. 2011, S.\u200957\u201362. DOI: 10.1109\/ICARA.2011.6144856.","DOI":"10.1109\/ICARA.2011.6144856"},{"key":"2026071410061759763_j_auto-2020-0120_ref_012_w2aab3b7d943b1b6b1ab2ac12Aa","doi-asserted-by":"crossref","unstructured":"J. Tretmans. \u201cTest generation with inputs, outputs and repetitive quiescence\u201d. Softw. Concepts Tools 17 (1996), S.\u2009103\u2013120.","DOI":"10.1007\/3-540-61042-1_42"},{"key":"2026071410061759763_j_auto-2020-0120_ref_013_w2aab3b7d943b1b6b1ab2ac13Aa","doi-asserted-by":"crossref","unstructured":"H. Simon u.\u2009a. \u201cAutomatic test case generation for PLC programs using coverage metrics\u201d. In: 2015 IEEE 20th Conference on Emerging Technologies and Factory Automation (ETFA) (2015), S.\u20091\u20134.","DOI":"10.1109\/ETFA.2015.7301602"},{"key":"2026071410061759763_j_auto-2020-0120_ref_014_w2aab3b7d943b1b6b1ab2ac14Aa","doi-asserted-by":"crossref","unstructured":"Alan Hartman and Kenneth Nagin. \u201cThe AGEDIS tools for model based testing\u201d. ACM Sigsoft Software Engineering Notes 29 (Juli 2004). DOI: 10.1145\/1007512.1007529.","DOI":"10.1145\/1013886.1007529"},{"key":"2026071410061759763_j_auto-2020-0120_ref_015_w2aab3b7d943b1b6b1ab2ac15Aa","doi-asserted-by":"crossref","unstructured":"M. Grochowski u.\u2009a. \u201cFormale Methoden fur rekonfigurierbare cyber-physische Systeme in der Produktion\u201d. at - Automatisierungstechnik (2019).","DOI":"10.1515\/auto-2019-0115"},{"key":"2026071410061759763_j_auto-2020-0120_ref_016_w2aab3b7d943b1b6b1ab2ac16Aa","unstructured":"A. Spillner und T. Linz. Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified Tester \u2013 Foundation Level nach ISTQB-Standard. dpunkt.verlag, 2019."},{"key":"2026071410061759763_j_auto-2020-0120_ref_017_w2aab3b7d943b1b6b1ab2ac17Aa","doi-asserted-by":"crossref","unstructured":"Stephan Magnus u.\u2009a. \u201cModellsynthese fur die Testfallgenerierung sowie Testdurchf\u00fchrung unter Nutzung von Methoden zur Netzwerkanalyse\u201d. at - Automatisierungstechnik 65(1) (2017), S.\u200973\u201386.","DOI":"10.1515\/auto-2016-0101"},{"key":"2026071410061759763_j_auto-2020-0120_ref_018_w2aab3b7d943b1b6b1ab2ac18Aa","doi-asserted-by":"crossref","unstructured":"Martin Reider, Stephan Magnus and Jan Krause. \u201cFeature-based testing by using model synthesis, test generation and parameterizable test prioritization\u201d. In: IEEE ICSTW, 2018, S.\u2009130\u2013137.","DOI":"10.1109\/ICSTW.2018.00041"},{"key":"2026071410061759763_j_auto-2020-0120_ref_019_w2aab3b7d943b1b6b1ab2ac19Aa","unstructured":"OASIS. MQTT Version 5.0. 2019."},{"key":"2026071410061759763_j_auto-2020-0120_ref_020_w2aab3b7d943b1b6b1ab2ac20Aa","doi-asserted-by":"crossref","unstructured":"Birgit Vogel-Heuser u.\u2009a. \u201cEvolution of software in automated production systems \u2013 Challenges and Research Directions\u201d. Journal of Systems and Software (JSS), 110 (2015), S.\u200954\u201384.","DOI":"10.1016\/j.jss.2015.08.026"},{"key":"2026071410061759763_j_auto-2020-0120_ref_021_w2aab3b7d943b1b6b1ab2ac21Aa","doi-asserted-by":"crossref","unstructured":"Mario Thron u.\u2009a. \u201cBeschreibung des normalen und gest\u00f6rten Verhaltens mechatronischer Komponenten f\u00fcr den automatisierten virtuellen Anlagentest\u201d. In: AUTOMATION 2016, 2016, S.\u2009781\u2013792.","DOI":"10.51202\/9783181022849-133"},{"key":"2026071410061759763_j_auto-2020-0120_ref_022_w2aab3b7d943b1b6b1ab2ac22Aa","doi-asserted-by":"crossref","unstructured":"Sebastian S\u00fc\u00df u.\u2009a. \u201cTest methodology for virtual commissioning based on behaviour simulation of production systems\u201d. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, S.\u20091\u20149.","DOI":"10.1109\/ETFA.2016.7733624"},{"key":"2026071410061759763_j_auto-2020-0120_ref_023_w2aab3b7d943b1b6b1ab2ac23Aa","unstructured":"Object Management Group (OMG). Requirements Interchange Format (ReqIF). Version 1.2. 2016. URL: http:\/\/www.omg.org\/spec\/ReqIF\/."},{"key":"2026071410061759763_j_auto-2020-0120_ref_024_w2aab3b7d943b1b6b1ab2ac24Aa","doi-asserted-by":"crossref","unstructured":"Object Management Group (OMG). Unified Modeling Language (OMG UML), Superstructure. Version 2.5.1. 2017. URL: http:\/\/www.omg.org\/spec\/UML\/.","DOI":"10.1016\/B978-1-78548-171-0.50001-3"},{"key":"2026071410061759763_j_auto-2020-0120_ref_025_w2aab3b7d943b1b6b1ab2ac25Aa","unstructured":"Jan Krause. Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen. Shaker Verlag, 2011."},{"key":"2026071410061759763_j_auto-2020-0120_ref_026_w2aab3b7d943b1b6b1ab2ac26Aa","doi-asserted-by":"crossref","unstructured":"Kathrin Land u.\u2009a. \u201cAnforderungsbasiertes Testen mechatronischer Automatisierungsprodukte \u2013 Von Testfallgenerierung und -priorisierung zur semiautomatischen Ausf\u00fchrung\u201d. In: VDI-Kongress AUTOMATION 2020. 2020.","DOI":"10.51202\/9783181023754-429"},{"key":"2026071410061759763_j_auto-2020-0120_ref_027_w2aab3b7d943b1b6b1ab2ac27Aa","unstructured":"Ulrich Jumar und Birgit Vogel-Heuser. Modellsynthese aus sequenzbasierten Verhaltensanforderungen zur modellbasierten Testfallgenerierung \u2013 MASSIVE: Abschlussbericht zum DFAM-Projekt. Techn. Ber. ifak e.V. Magdeburg; TU M\u00fcnchen, Lehrstuhl AIS, 2020. URL: http:\/\/www.dfam.de\/."}],"container-title":["at - Automatisierungstechnik"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/auto-2020-0120\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/auto-2020-0120\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T10:06:26Z","timestamp":1784023586000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyterbrill.com\/document\/doi\/10.1515\/auto-2020-0120\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,27]]},"references-count":27,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2021,5,27]]},"published-print":{"date-parts":[[2021,6,25]]}},"alternative-id":["10.1515\/auto-2020-0120"],"URL":"https:\/\/doi.org\/10.1515\/auto-2020-0120","relation":{},"ISSN":["2196-677X","0178-2312"],"issn-type":[{"value":"2196-677X","type":"electronic"},{"value":"0178-2312","type":"print"}],"subject":[],"published":{"date-parts":[[2021,5,27]]}}}