Logo des Repositoriums

Auflistung nach Autor:in "Krause, Jan"

1 - 3 von 3
  • Zeitschriftenartikel
    Automatisiertes Testen von verteilten Systemen über Petrinetze
    (Softwaretechnik-Trends Band 37, Heft 1, 2017) Ruß, Tim; Magnus, Stephan; Krause, Jan
    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.
  • Konferenzbeitrag
    Modellbasierte Testgenerierung aus Spezifikationen mit parallelem Verhalten
    (INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 2, 2010) Krause, Jan; Diedrich, Christian
    In diesem Beitrag wird eine Methode zur Generierung von Testfällen aus modellbasierten Verhaltensspezifikationen vorgestellt, wobei auch die Spezifikation von parallelem Verhalten unterstützt wird. Zur Realisierung werden etablierte Verfahren der Petri-Netz-Theorie und der constraintbasierten Programmierung benutzt. Auf der Grundlage eines entwickelten einfachen farbigen Petri-Netz- Modells (SPeNAt) können damit Testfälle mit parametrierbarem Abdeckungsgrad generiert werden, wobei auch sehr hohe, insbesondere für die Entwicklung sicherheitskritischer Systeme relevante, Abdeckungsgrade (wie z. B. „alle möglichen alternativen Pfade“, MC/DC an den Bedingungen, etc.) garantiert werden können.
  • Konferenzbeitrag
    UML based software development under safety constraints
    (Sicherheit 2006, Sicherheit – Schutz und Zuverlässigkeit, 2006) Diedrich, Christian; Krause, Jan; Franke, Andreas