Question d’entretien chez Adobe

Given a function that reverses strings whose implementation is a black box (unknown), what are ways to verify correctness?