High-level Testing Support