Testing the declaration of interfaces