Caracterização geocronológica (U-Pb), geoquímica e isotópica (Sr, Nd, Hf) do complexo Rio Capivari no terreno Embu

O Complexo Rio Capivari (CRC) é constituído por ortognaisses migmatíticos de composições graníticas a tonalíticas e anfibolitos subordinados (magmas toleíticos) em lascas tectônicas no Terreno Embu. As composições dos gnaisses do CRC são predominantemente cálcio-alcalinas a álcali-cálcicas. Idades U-Pb em núcleos de zircão com zoneamento oscilatório indicam cristalização magmática dos protólitos em três períodos principais 2.4, 2.2-2.1 e 2.0 Ga. Idades metamórficas foram reconhecidas em bordas de zircão totalmente escuras nas imagens de catodoluminescência e variam entre 620-590 Ma. A suíte sideriana (2.4 Ga) apresenta caráter juvenil, como evidenciado pelos valores positivos de \'\'épsilon\'\'IND.Nd\' (+3.8) e \'\'épsilon\'\'IND.Hf\' (+0.3 a +4.8) e pela ausência de núcleos de zircão herdado, comumente encontrados em rochas que sofreram retrabalhamento crustal. A suíte de idades riacianas (2.2-2.1 Ga) apresenta idades modelos TDM arqueanas (2.6-3.3 Ga), valores negativos de \'\'épsilon\'\'IND.Nd\' (-12.0 a -4.0) e negativos a levemente positivos de \'\'épsilon\'\'IND.Hf\' (-7.8 a +0.5). Portanto, tais rochas derivam de retrabalhamento de reservatórios crustais antigos. A suíte de idade orosiriana (2.0 Ga) apresenta fontes mais antigas e retrabalhadas com valores altamente negativos de \'\'épsilon\'\'IND.Nd\' (-10.4) e \'\'épsilon\'\'IND.Hf\' (-1.2 a -13.6), sugerindo prolongada residência crustal com idades modelo \'T IND.DM\' e \'T IND.Hf\' >3.3 Ga. As assinaturas de elementos traços em rocha total e a química de zircão sugerem fontes máficas para o gnaisse sideriano. Reservatórios de crosta média, mas de profundidades variáveis, parecem ser a principal fonte dos gnaisses riacianos e orosirianos. Análises em diagramas tectônicos discriminantes baseados em elementos traços de rocha total com elevadas razões \'La/Yb IND.(N)\' (>10), Nb/Yb (>2) e Th/Yb (>1), somados aos valores de \'Y IND.2\'\'O IND.3\' (<3000 ppm), U/Yb (>0.5) e Nb/Yb (0.01-0.10) da química de zircão, sugerem que ambas as suítes de idades foram geradas em ambientes de arco magmático continental, mas com um gap de 200-300 Ma entre o gnaisse sideriano e os gnaisses riacianos sem dados ou informações geológicas. Perfis multielementos (elementos traços) comparativos entre representação de amostras típicas de arco continental associado à subducção de crosta oceânica (margem andina) e amostras de arcos de ilha (Ilhas Mariana) confirmam afinidade com ambiente de arco continental para o CRC, associado à subducção de placa oceânica, principalmente para o gnaisse sideriano. Apesar de pouco representativo, devido ao número de amostras (n=1), uma acresção juvenil em 2.4 Ga colabora para uma dinâmica contínua da evolução da crosta continental. O papel desempenhado pelo CRC na evolução geral do Terreno Embu permanece enigmático. Os dados isotópicos de \'\'épsilon\'\'IND.Nd(590)\' e \'ANTPOT.87 Sr\'/\'ANTPOT.88 Sr IND.(i)\' do CRC (-27.3 a -19.7 e 0.704 a 0.722, respectivamente) indicam evolução temporal não compatível com o requerido para as fontes dos granitos ediacaranos do Terreno Embu, que exigem a participação de reservatórios mais primitivos (\'\'épsilon\'\'IND.Nd(590)\' -13 a -7) e empobrecidos em Rb (\'ANTPOT.87 Sr\'/\'ANTPOT.88 Sr IND.(i)\' \'\'QUASE IGUAL A\' 0,710).

Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.