Certification using TDD