Categorias das Técnicas de Modelagem de Teste