A software product line developed with TDD for iOS