Lecture Notes in Computer Science vol:3830 pages:270-290
2nd International Workshop on Environments for Multi-Agent Systems location:Utrecht, NETHERLANDS date:25 July 2005
Automatic Guided Vehicles (AGVs) are unmanned vehicles that can transport loads in a warehouse. AGVs are instructed by on-board AGV control software. As multiple AGVs operate in a decentralized manner in the warehouse environment, conflicts may arise. Consequently, it is crucial to test thoroughly whether the AGV control software actually handles the potential conflicts in the appropriate way.
In this paper, we employ a simulated warehouse environment to test the AGV control software. The AGV control software is embedded and activated in the simulated warehouse environment. The simulated warehouse environment provides support for testing by means of (1) representing dynamism in the warehouse environment in an explicit manner, and (2) detecting conflicts of dynamism in an automated way. The approach is illustrated for the case of testing collision avoidance.