TDD, BDD examples