Using DDBG to support testing and high-level debugging interfaces