Zusammenfassung
Es wird eine Methode für die Generierung von Spezifikationsmodellen für den modellbasierten Test von mechatronischen Systemen vorgestellt. Diese wird mit Methoden der Testgenerierung sowie -priorisierung verknüpft, um priorisierte Testfälle zu erzeugen, die für den Test mechatronischer Systeme auf Komponenten- oder Systemebene eingesetzt werden können. Ein modular aufgebauter Testadapter ermöglicht die Testausführung für verschiedene Protokolle. Das Ergebnis ist ein effizienter Testprozess, bei dem der Aufwand für die Erstellung erforderlicher Modelle sowie für die Testdurchführung reduziert werden kann. Anhand eines Beispiels aus der industriellen Automation wird die Anwendung der Methode vorgestellt und evaluiert.
Abstract
A method for the generation of specification models for model-based test processes is presented. In combination with methods for test generation and prioritization, prioritized test cases can be created, which can be used for testing mechatronic systems on component or system level. A modular test adapter allows test execution for different protocols. The result is an efficient test process, in which the effort for the creation of necessary models as well as for test execution can be reduced. Using an example from industrial automation, the application of the methods is presented and evaluated.
Funding source: Bundesministerium für Bildung und Forschung
Award Identifier / Grant number: IGF 19536 BG
Funding statement: Die vorgestellten Forschungsergebnisse basieren auf dem vom BMWi geförderten Projekt MASSIVE (IGF 19536 BG) sowie dem vom BMBF im Rahmen des europäischen EUREKA-Clusters ITEA 3 geförderten Projekt TESTOMAT (01|S17026G). Zusätzlicher Dank gilt allen industriellen Projektpartnern, die die Forschung in den Vorhaben unterstützt haben.
Über die Autoren
Karsten Meinecke ist wissenschaftlicher Mitarbeiter am Institut für Automation und Kommunikation und selbständiger Berater im Bereich Softwareentwicklung, Continuous Integration sowie Softwaretest mit den Schwerpunkten Kommunikation, verteilte Systeme und Embedded Devices.
Kathrin Land, M. Sc., ist wissenschaftliche Mitarbeiterin am Lehrstuhl für Automatisierung und Informationssysteme der Technischen Universität München. Ihr Forschungsinteresse gilt modellbasierten Teststrategien zur Qualitätssicherung automatisierter Produktionssysteme.
Prof. Dr. Ulrich Jumar ist Leiter des Instituts für Automation und Kommunikation e. V. (ifak). Hauptarbeitsgebiete: Modellierung und Simulation, Steuerungs- und Regelungsentwurf in verschiedenen Anwendungsgebieten der Automation.
Univ.-Prof. Dr.-Ing. Birgit Vogel-Heuser leitet den Lehrstuhl für Automatisierung und Informationssysteme der Technischen Universität München. Ihre Forschungsgebiete adressieren die System- und Softwareentwicklung, insbesondere die Modellierung verteilter, intelligenter, eingebetteter Systeme.
Martin Reider ist Systemtestmanager in der Elektrik-Elektronikentwicklung bei Volkswagen Nutzfahrzeuge. Im Rahmen seiner vorangegangenen Tätigkeit als wissenschaftlicher Mitarbeiter am Institut für Automation und Kommunikation hat er zur Forschung und Entwicklung modellbasierter Testmethoden für verteilte Systeme beigetragen.
Simon Ziegltrum, M. Sc., ist wissenschaftlicher Mitarbeiter am Lehrstuhl für Automatisierung und Informationssysteme der Technischen Universität München. Sein Forschungsinteresse gilt dem Modellbasierten Systems Engineering von automatisierten Sondermaschinen sowie Methoden zu deren Qualitätssicherung.
Literatur
1. Kathrin Land u. a. “An industrial evaluation of test prioritisation criteria and metrics”. In: IEEE SMC, 2019, S. 1887–1892.10.1109/SMC.2019.8914505Search in Google Scholar
2. Gregg Rothermel u. a. “Prioritizing test cases for regression testing”. IEEE Transactions on Software Engineering 27 (Nov. 2001), S. 929–948. DOI: 10.1109/32.962562.Search in Google Scholar
3. Hauke Baller u. a. “Multi-objective test suite optimization for incremental product family testing”. In: 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Marz 2014, S. 303–312. ISBN: 978-1-4799-2255-0. DOI: 10.1109/ICST.2014.43.10.1109/ICST.2014.43Search in Google Scholar
4. Andreas Zeller, Nasser Jazdi und Michael Weyrich. “Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition”. at - Automatisierungstechnik 66 (Feb. 2018), S. 456–470. DOI: 10.1515/auto-2017-0069.Search in Google Scholar
5. S. Weißleder and T. Rogenhofer. “Simulated restriction of coverage criteria on UML state machines”. In: IEEE ICSTW, 2011, S. 34–38. DOI: 10.1109/ICSTW.2011.78.Search in Google Scholar
6. Santosh Swain, Durga Mohapatra and Rajib Mall. “Test case generation based on use case and sequence diagram”. International Journal of Software Engineering 3 (Jan. 2010).10.5381/jot.2010.9.5.a1Search in Google Scholar
7. European Telecommunications Standards Institute. Testing and Test Control Notation Version 3 (TTCN-3). URL: https://www.etsi.org/; http://www.ttcn-3.org.Search in Google Scholar
8. VDI/VDE-Gesellschaft Mess-und Automatisierungstechnik. Richtlinie “Testen vernetzter I4.0-Systeme-Grobplanung verteilter Testprozesse Blatt 1”. 2020. URL: https://www.vdi.de/richtlinien.Search in Google Scholar
9. Reinhard Hametner u. a. “The adaptation of test-driven software processes to industrial automation engineering”. In: 2010 8th IEEE International Conference on Industrial Informatics, Aug. 2010, S. 921–927. DOI: 10.1109/INDIN.2010.5549620.Search in Google Scholar
10. R. Sinha u. a. “Requirements-aided automatic test case generation for industrial cyber-physical systems”. In: 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015, S. 198—201.10.1109/ICECCS.2015.32Search in Google Scholar
11. Reinhard Hametner u. a. “Test case generation approach for industrial automation systems”. In: The 5th International Conference on Automation, Robotics and Applications, Dez. 2011, S. 57–62. DOI: 10.1109/ICARA.2011.6144856.Search in Google Scholar
12. J. Tretmans. “Test generation with inputs, outputs and repetitive quiescence”. Softw. Concepts Tools 17 (1996), S. 103–120.10.1007/3-540-61042-1_42Search in Google Scholar
13. H. Simon u. a. “Automatic test case generation for PLC programs using coverage metrics”. In: 2015 IEEE 20th Conference on Emerging Technologies and Factory Automation (ETFA) (2015), S. 1–4.10.1109/ETFA.2015.7301602Search in Google Scholar
14. Alan Hartman and Kenneth Nagin. “The AGEDIS tools for model based testing”. ACM Sigsoft Software Engineering Notes 29 (Juli 2004). DOI: 10.1145/1007512.1007529.Search in Google Scholar
15. M. Grochowski u. a. “Formale Methoden fur rekonfigurierbare cyber-physische Systeme in der Produktion”. at - Automatisierungstechnik (2019).10.1515/auto-2019-0115Search in Google Scholar
16. A. Spillner und T. Linz. Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified Tester – Foundation Level nach ISTQB-Standard. dpunkt.verlag, 2019.Search in Google Scholar
17. Stephan Magnus u. a. “Modellsynthese fur die Testfallgenerierung sowie Testdurchführung unter Nutzung von Methoden zur Netzwerkanalyse”. at - Automatisierungstechnik 65(1) (2017), S. 73–86.10.1515/auto-2016-0101Search in Google Scholar
18. Martin Reider, Stephan Magnus and Jan Krause. “Feature-based testing by using model synthesis, test generation and parameterizable test prioritization”. In: IEEE ICSTW, 2018, S. 130–137.10.1109/ICSTW.2018.00041Search in Google Scholar
19. OASIS. MQTT Version 5.0. 2019.Search in Google Scholar
20. Birgit Vogel-Heuser u. a. “Evolution of software in automated production systems – Challenges and Research Directions”. Journal of Systems and Software (JSS), 110 (2015), S. 54–84.10.1016/j.jss.2015.08.026Search in Google Scholar
21. Mario Thron u. a. “Beschreibung des normalen und gestörten Verhaltens mechatronischer Komponenten für den automatisierten virtuellen Anlagentest”. In: AUTOMATION 2016, 2016, S. 781–792.10.51202/9783181022849-133Search in Google Scholar
22. Sebastian Süß u. a. “Test methodology for virtual commissioning based on behaviour simulation of production systems”. In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016, S. 1—9.Search in Google Scholar
23. Object Management Group (OMG). Requirements Interchange Format (ReqIF). Version 1.2. 2016. URL: http://www.omg.org/spec/ReqIF/.Search in Google Scholar
24. Object Management Group (OMG). Unified Modeling Language (OMG UML), Superstructure. Version 2.5.1. 2017. URL: http://www.omg.org/spec/UML/.10.1016/B978-1-78548-171-0.50001-3Search in Google Scholar
25. Jan Krause. Testfallgenerierung aus modellbasierten Systemspezifikationen auf der Basis von Petrinetzentfaltungen. Shaker Verlag, 2011.Search in Google Scholar
26. Kathrin Land u. a. “Anforderungsbasiertes Testen mechatronischer Automatisierungsprodukte – Von Testfallgenerierung und -priorisierung zur semiautomatischen Ausführung”. In: VDI-Kongress AUTOMATION 2020. 2020.10.51202/9783181023754-429Search in Google Scholar
27. Ulrich Jumar und Birgit Vogel-Heuser. Modellsynthese aus sequenzbasierten Verhaltensanforderungen zur modellbasierten Testfallgenerierung – MASSIVE: Abschlussbericht zum DFAM-Projekt. Techn. Ber. ifak e.V. Magdeburg; TU München, Lehrstuhl AIS, 2020. URL: http://www.dfam.de/.Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston
