Using DDBG to Support Testing and High-level Debugging Interfaces