Implementation of TDD by Example in Objective C