Oi juliana.
Consegui ter algumas ideias do que voce vai fazer como teste como o OMT-G mas confesso que tenho muitas duvidas ainda.
Seu texto acaba falando de muita coisa mas explica com cvoce vai usar um algoritmo genetico ( no fundo uma estrategia de otimizacao) para
gerar os casos de teste quando temos o caso de operadores espaciais? Estou de fato curioso.
Espero que voce saiba para onde esta indo. Seu texto escrito, tem muita coisa, muita ´copia´, pouca sintese e me pareceu
ainda pouca compreensaõ de alguns aspectos das tarefas relacionadas a algebra de mapas.
Acho que asproximas aulas poderao te ajudar a entendet melhor isso e assim voce poder deixar mais claro para mim 
como sera o seu trabalho.
Mas siga em frente, cujidando destas questoes que apontei!
avs
Miguel