| 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.identifier.issn | 0720-8928 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/40596 | |
| 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.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 | Journal Articles | |
| dc.pubPlace | Bonn | |
| mci.conference.sessiontitle | FG TAV: 40. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV 40) 9. und 10. Februar 2017, Langen | |
