Specification-oriented BDD helpers for PHPUnit