Modeling and simulation of tests for agents

Authors:
Martina Gierke;Jan Himmelspach;Mathias Röhl;Adelinde M. Uhrmacher
Affiliations:
Institute of Computer Science, University of Rostock, Rostock, Germany;Institute of Computer Science, University of Rostock, Rostock, Germany;Institute of Computer Science, University of Rostock, Rostock, Germany;Institute of Computer Science, University of Rostock, Rostock, Germany
Venue:
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Year:
2006

Citing 13
Cited 1

Multifacetted modelling and discrete event simulation

Multifacetted modelling and discrete event simulation
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Simulation of multiple time-pressured agents

Proceedings of the 29th conference on Winter simulation
Software engineering for real-time: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Dynamic structures in modeling and simulation: a reflective approach

ACM Transactions on Modeling and Computer Simulation (TOMACS)
Testing Object-Oriented Software: Life-Cycle Solutions

Testing Object-Oriented Software: Life-Cycle Solutions
Theory of Modeling and Simulation

Theory of Modeling and Simulation
Formal Specification and Prototyping of Multi-agent Systems

ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
ETSI Testing Activities and the Use of TTCN-3

SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Prototype-Based Tests for Hybrid Reactive Systems

RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
A component-based simulation layer for JAMES

Proceedings of the eighteenth workshop on Parallel and distributed simulation
Adaptive cognitive orthotics: combining reinforcement learning and constraint-based temporal reasoning

ICML '04 Proceedings of the twenty-first international conference on Machine learning
Controlled experimentation with agents: models and implementations

ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World

Modeling agents and their environment in multi-level-DEVS

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

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.