Title | ||
---|---|---|
Show me your properties: the potential of property-based testing in agent-based simulation |
Abstract | ||
---|---|---|
This paper presents property-based testing, an approach for testing implementations of agent-based simulations (ABS), never considered so far in this field. It is a complementary technique to unit-testing and allows to test specifications and laws of an implementation directly in code which is then checked using automated test-data generation. As case-studies, we present two different models, an agent-based SIR model and the SugarScape model, in which we will show how to apply property-based testing to explanatory and exploratory agent-based models and what its limits are.
|
Year | Venue | Keywords |
---|---|---|
2019 | Proceedings of the 2019 Summer Simulation Conference | Haskell, agent-based simulation, property-based testing, validation & verification |
Field | DocType | Citations |
Sugarscape,Property based testing,Programming language,Computer science,Implementation,Haskell | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jonathan Thaler | 1 | 0 | 1.01 |
Peer-Olaf Siebers | 2 | 0 | 1.01 |