DTTAS: A Dynamic Testing Tool for Agent-Based Systems