Zusammenfassung
Im Bereich der industriellen Automatisierung hat die Software-Qualität und damit das systematische Testen eine hohe Bedeutung. In dieser Arbeit wird die Erweiterung eines Testframeworks um die Validierung von Echtzeiteigenschaften für verteilte Zustandsmaschinen vorgestellt. Die Arbeit wurde zusammen mit einem industriellen mittelständischen Kooperationspartner im Bereich industrieller Ablaufsteuerungen durchgeführt. Der Aufbau der domänenspezifischen Testmodellierung und die Testauswertung der Echtzeiteigenschaften als Teil eines modellgetriebenen Testprozesses werden beschrieben, und als Konsequenz aus der Synchronisationsungenauigkeit der Uhren des verteilten zu testenden Systems wird eine Fehlerabschätzung gegeben, die bei der Testauswertung berücksichtigt wird.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
Utting, Mark; Legeard, Bruno: Practical Model-Based Testing: a Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007.
Thoss, Marcus; Beckmann, Kai; Kröger, Reinhold; Muenchhof, Marco; Mellert, Christian: A Framework-based Approach for Automated Testing of CNC Firmware. In: Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing (JAMAICA 2014), San Jose, CA, USA. ACM, S. 7–12, 2014.
Beckmann, Kai: Integrating Existing Proprietary System Models into a Modeldriven Test Process for an Industrial Automation Scenario. In: Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Angers, France. SciTePress, S. 255–262, 2015.
Kopetz, Hermann: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Norwell, MA, USA, 1997.
Pötz, Michael: Entwicklung einer DSL zur Testmodellierung sowie Realisierung eines entsprechenden Testorakels für ein proprietäres Automatenmodell. Masterarbeit, Hochschule RheinMain, FB Design Informatik Medien, October 2013.
Jurisch, Matthias: Berücksichtigung von Echtzeitaspekten beim Testen von automatenbasierten technischen Anwendungen. Masterarbeit, Hochschule RheinMain, FB Design Informatik Medien, Januar 2015.
Eclipse Foundation: Eclipse Test & Performance Tools Platform Project, 2015. Webseite. https://eclipse.org/tptp/, zuletzt abgerufen am 19. April 2015.
Eclipse Foundation: Xtext – Language development made easy. Webseite, 2015. https://eclipse.org/Xtext/, zuletzt abgerufen am 27.1.2015.
OMG: UML Testing Profile, v1. 2, 2013.
ETSI: ES 201 873-1 – V4.6.1 – Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language, 2014
Wahler, Michael; Ferranti, Ettore; Steiger, Robin: CAST:Automating Software Tests for Embedded Systems. IEEE Fifth Conference on Software Testing, Verification and Validation(ICST 2012), 2012.
Larsen, Kim G. et. al.:Testing Real-Time Embedded Software Using UPPAALTRON. In: Proc. of the 5th ACM Int. Conf. on Embedded Software, 2005.
Alur, Rajeev; David L. Dill: A Theory of Timed Automata. Theoretical Computer Science, 1994.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jurisch, M., Beckmann, K. (2015). Testen von Echtzeiteigenschaften für verteilte Ablaufsteuerungen. In: Halang, W., Spinczyk, O. (eds) Betriebssysteme und Echtzeit. Informatik aktuell. Springer Vieweg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48611-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-48611-5_1
Published:
Publisher Name: Springer Vieweg, Berlin, Heidelberg
Print ISBN: 978-3-662-48610-8
Online ISBN: 978-3-662-48611-5
eBook Packages: Computer Science and Engineering (German Language)