Some utility tools for testing in PHP