Correct use of PHPUnit