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 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Publikation: Teil einer Monographie/eines Konferenzbandes

Modeling and simulation of tests for agents


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 Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

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 Link zur UB Rostock Link zum GBV-Katalog
Röhl, Mathias
Uhrmacher, Adelinde Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik