Técnicas Baseadas em Especificação de Caixa Preta