Automatisiertes Testen von verteilten Systemen über Petrinetze

dc.contributor.author	Ruß, Tim
dc.contributor.author	Magnus, Stephan
dc.contributor.author	Krause, Jan
dc.date.accessioned	2023-03-02T10:52:31Z
dc.date.available	2023-03-02T10:52:31Z
dc.date.issued	2017
dc.description.abstract	Dieser Beitrag stellt eine Methode vor, um mittels modellbasierter Tests ein verteiltes System über seine Netzwerk-Kommunikation zu validieren. Diese wird kontextabhängig gegen ein Sollverhalten geprüft und ggf. manipuliert. Die Beschreibung des Sollverhaltens erfolgt hierbei durch eine sequenzbasierte Notation. Dadurch ist es einfach und intuitiv möglich, Testszenarien zu implementieren und automatisiert durchzuführen. Zur Laufzeit wird das Netzwerkverhalten über ein Petrinetz effizient validiert. Außerdem ist es möglich, ein entsprechendes Gerät in ein Netzwerk zu integrieren und den Datenverkehr auf vielfältige Weise zu manipulieren.	de
dc.identifier.pissn	0720-8928
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/40596
dc.language.iso	de
dc.publisher	Geselllschaft für Informatik e.V.
dc.relation.ispartof	Softwaretechnik-Trends Band 37, Heft 1
dc.subject	Modellbasierter Test
dc.subject	Netzwerke
dc.subject	PROFINET
dc.subject	Car2X
dc.subject	Petrinetze
dc.subject	Sequenzdiagramme
dc.title	Automatisiertes Testen von verteilten Systemen über Petrinetze	de
dc.type	Text/Journal Article
gi.citation.publisherPlace	Bonn
gi.conference.sessiontitle	FG TAV: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40) 9. und 10. Februar 2017, Langen

Dateien

1 - 1 von 1