TY - JOUR U1 - Zeitschriftenartikel, wissenschaftlich - begutachtet (reviewed) A1 - Thaler, Jonathan A1 - Siebers, Peer-Olaf T1 - Specification testing of agent-based simulation using property-based testing JF - Autonomous Agents and Multi-Agent Systems N2 - The importance of Agent-Based Simulation (ABS) as scientific method to generate data for scientific models in general and for informed policy decisions in particular has been widely recognised. However, the important technique of code testing of implementations like unit testing has not generated much research interested so far. As a possible solution, in previous work we have explored the conceptual use of property-based testing. In this code testing method, model specifications and invariants are expressed directly in code and tested through automated and randomised test data generation. This paper expands on our previous work and explores how to use property-based testing on a technical level to encode and test specifications of ABS. As use case the simple agent-based SIR model is used, where it is shown how to test agent behaviour, transition probabilities and model invariants. The outcome are specifications expressed directly in code, which relate whole classes of random input to expected classes of output. During test execution, random test data is generated automatically, potentially covering the equivalent of thousands of unit tests, run within seconds on modern hardware. This makes property-based testing in the context of ABS strictly more powerful than unit testing, as it is a much more natural fit due to its stochastic nature. KW - Agent-based simulation testing KW - Code testing KW - Test driven development KW - Model specification Y1 - 2020 SN - 1387-2532 SS - 1387-2532 SN - 1573-7454 SS - 1573-7454 U6 - https://doi.org/10.1007/s10458-020-09473-8 DO - https://doi.org/10.1007/s10458-020-09473-8 VL - 34. Jg. IS - H. 2 SP - 22 S1 - 22 ER -