Switch to TDD test interface

The test descriptions were already written TDD-style, but the BDD interface was
used.