Modeling and Simulation of Tests for Agents

Gierke, Martina and Himmelspach, Jan and Röhl, Mathias and Uhrmacher, Adelinde M. (2006) Modeling and Simulation of Tests for Agents. In: Multiagent System Technologies, 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings. Proceedings,, pp. 49-60.

Full text not available from this repository.
Official URL:


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.

Item Type: Conference or Workshop Item (Paper)