Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Publikationen
Publikation: Teil einer Monographie/eines Konferenzbandes
Modeling and simulation of tests for agents
Grunddaten
Abstract
Autoren
Einrichtung
Grunddaten
Titel
Modeling and simulation of tests for agents
Veröffentlicht in
Multiagent system technologies : 4th German conference, MATES 2006, Erfurt, Germany, September 19 - 20, 2006 ; proceedings. - Berlin [u.a.] : Springer
Erscheinungsjahr
2006
Seiten (von – bis)
49 – 60
Jahr
2006
Publikationsform
Druckschrift
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
17.05.2019 14:15:52
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/37432
Links zu Katalogen
Abstract
Software systems that are intended to work autonomously in complex, dynamic environments should undergo extensive testing. Model-based testing advocates the use of purpose-driven abstractions for designing appropriate tests. The type of the software, the objective of testing, and the stage of the development process influence the suitability of tests. Simulation techniques based on formal modeling concepts can make these abstractions explicit and operational. A simulation model is presented that facilitates testing of autonomous software within dynamic environments in a flexible manner. The approach is illustrated based on the application Autominder.
Autoren
Gierke, Martina
Himmelspach, Jan
Röhl, Mathias
Uhrmacher, Adelinde
Einrichtung
IEF/Bereich Informatik