Zusammenfassung
In diesem Beitrag werden Grundkonzepte eines Testverfahrens, das den systematischen und effizienten Test der vom Echtzeitverhalten abhängigen Firmwarefunktionalität eingebetteter Systeme ermöglicht, vorgestellt. Das Testverfahren nutzt einen Ansatz auf Basis gefärbter zeitbehafteter Petri-Netze. Die zu testenden Systemeigenschaften der Firmwareimplementierung des eingebetteten Systems in Form von Verhaltensbestandteilen werden in ein Systemmodell überführt. Das Systemmodell wird durch Testmodelle, die Testszenarien repräsentieren, zu einem Gesamtmodell ergänzt. Für das Gesamtmodell wird das Verhalten analysiert und aus den Analyseergebnissen kann auf Fehler der Firmwareimplementierung geschlossen werden.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
B. Beizer: Black Box Testing: Techniques for Functional Testing of Software and Systems, 1. Print, John Wiley & Sons, New York, 1995.
J. Bergmann: Integrationstest eingebetteter Systeme der dezentralen Automatisierungstechnik, Embedded Intelligence ’97, Sindelfingen, 19.-21. Februar 1997, S. 300–319.
J. Bergmann: Test des Kontrollverhaltens eingebetteter Systeme der dezentralen Automatisierungstechnik, erscheint in: Kongreß für industrielle Computer-Anwendungen, Wiesbaden, 9.-11. September 1997, 10 Seiten.
G. Berthelot, H. Boucheneb: Occurence Graphs for Interval Timed Coloured Nets, in: R. Valette (Ed.): Application and Theory of Petri Nets 1994, Proceedings of the 15th International Conference, Zargoza, Spain, June 20–24, 1994, Springer-Verlag, Berlin, 1994, pp. 79–98.
International Telecommunication Union (ITU): Recommendation Z.120, Message Sequence Chart (MSC), March 1993.
K. Jensen: Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Volume 1, Springer-Verlag, Heidelberg, 1992.
D. Kruch: Konzeption und Implementierung einer Analysebibliothek zum Test von Firmwaredynamik mittels Zeit-Petri-Netzen (TPN) und Pfadausdrücken, Diplomarbeit, Forschungszentrum Informatik, Karlsruhe, August 1997.
L. J. Morell, L. E. Deimel: Unit Analysis and Testing, SEI Curriculum Module SEI-CM-9–2.0, Software Engineering Institute, June 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergmann, J. (1997). Modellbasierter Test der Echtzeitaspekte eingebetteter Systeme der dezentralen Automatisierungstechnik. In: Holleczek, P. (eds) Pearl 97. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60910-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-60910-7_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63562-8
Online ISBN: 978-3-642-60910-7
eBook Packages: Springer Book Archive