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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Gierke, M., Himmelspach, J., Röhl, M., & Uhrmacher, A. M. (2006). Modeling and simulation of tests for agents. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4196 LNAI, pp. 49–60). Springer Verlag. https://doi.org/10.1007/11872283_5
Mendeley helps you to discover research relevant for your work.