Teste embarcado de conversores analógico-digitais

A confiabilidade de sistemas de processamento digital de sinais é, entre tantos fatores, diretamente proporcional à confiabilidade dos conversores analógico-digitais neles presentes para serem usados como interface com o mundo real. Este trabalho propõe um método novo de teste de conversores analógico-digitais baseado em ruído. O método proposto possibilita a detecção de falhas nos conversores em teste. Além disto, a técnica proposta é capaz de estimar simultaneamente características estáticas e dinâmicas tornando-se, portanto, inovador em relação aos demais métodos presentes na literatura. A proposta, a simulação e a implementação do método são apresentadas ao longo desta dissertação. A comparação dos resultados obtidos com um método padrão de teste de ADCs, o método do histograma, comprovam a eficácia do método.

Mapeamento de QTLs para tolerância ao frio e características de importância agronômica em arroz

A temperatura baixa é um estresse comum na cultura do arroz em regiões temperadas, portanto a tolerância ao frio é uma característica altamente desejável em genótipos brasileiros de arroz cultivados no sul do país, onde as temperaturas baixas prejudicam o estabelecimento da lavoura e diminuem o redimento de grãos. O mapeamento molecular é uma estratégia promissora para o estudo e compreensão de de características com controle complexo, tais como a tolerância ao frio em arroz. Com base nisso, os objetivos deste trabalho foram estudar a herança e herdabilidade das características de tolerância ao frio e das características de importância agronômica a serem maepadas, desenvolver um mapa molecular a partir da população segregante F2 proveniente do cruzamento IRGA 417 (Índica) x Quilla 66304 (Japônica) e identificar locos de características quantitativas (QTLs) para a tolerância ao frio no período de germinação e vegetativo e características agronômicas que diferenciam estas duas subespécies. Por fim, investigar a possibilidade de obter indivíduos recombinantes com caracteristicas agronômicas desejáveis e toleância ao frio em uma população F2 do cruzamento entre IRGA 417 x Quilla 66304. As análises das distrbuições de freqüências da geração F2 evidenciaram a dificuldade de estimar o número de genes que controlam as características analisadas, sendo que todas elas apresentam distribuição contínua e segregação transgressiva em relação aos genitores. O mapa foi construído com base em oito marcadores SSR e 42 marcadores do tipo AFLP com uma densidade média de marcador a cada 38,8 cM, sendo o comprimento total do mapa de 581,6 cM. Foram identificados cinco QTLs, sendo que um deles confere tolerância ao frio no período de germinação, e explica 15,9% da variação fenotípica deste caráteer. O outros quatro QTLs identificados foram para largura do grgão (21,3%), esterilidade de espiguetas (61,6%), estatura das plantas (34, 5%) e comprimento do grão (21,9%). A detecção de um QTL associado à tolerância ao frio no período de germinação, e outros QTLs associados à demais características a viabilidade deste tipo de análise. Entretanto, um mapa de ligação enriquecido é nceessário para permitir a detecção de outros QTLs associados às características estudadas. Plantas recombinantes com alto recrescimento de coleóptilo e outrras caracteristicas agronômicas desejáveis foram encontradas, o que evidencia o potencial da população proveniente de IRGA 417 x Quilla 66304 para o melhoramento da tolerância ao frio de genótipos de arroz adaptados ao Sul do Brasil.

A influência do gramado molhado sobre o desempenho em um teste progressivo para jogadores de futebol

A performance esportiva de jogadores de futebol pode ser afetada por diversos fatores como a qualidade técnica individual, o nível de condicionamento físico, a motivação, o treinamento, o adversário, o clima e as condições da superfície de jogo. Neste estudo, 20 jogadores da categoria sub-20 (idade média 18,6 anos ± 0,94) foram submetidos a um teste progressivo para investigar a influência da umidade do gramado sobre alguns aspectos do rendimento físico. Os resultados mostraram uma diminuição na duração do teste sobre o gramado molhado, comparado ao resultado do teste sobre o gramado seco. Os parâmetros das freqüências cardíacas e as concentrações finais de lactato sangüíneo foram semelhantes nas situações de gramado seco e de gramado molhado. Entretanto, a percepção subjetiva ao esforço apresentou resultados mais acentuados a partir da segunda metade do teste progressivo sobre o gramado molhado. A umidade do gramado pareceu ter modificado a eficiência mecânica da corrida o que pode ter acelerado a instalação do processo de fadiga nos jogadores investigados.

Diretrizes e critérios de cobertura de teste a partir de especificações UML

As maiores dificuldades encontradas no teste de software estão relacionadas à definição dos dados de teste e a decisão de quando encerrar os testes. Uma das formas encontradas para minimizar tais dificuldades está centrada na utilização de critérios de cobertura. O principal objetivo dos critérios de cobertura é tornar o processo de testes mais rápido e preciso, fornecendo informações que determinem o que testar em um software para garantir sua qualidade. A modelagem é um dos elementos de maior importância nas atividades relacionadas ao desenvolvimento de software. Os modelos são construídos principalmente para melhor se entender o sistema, descrever a estrutura e comportamento desejados, visualizar a arquitetura e documentar as decisões tomadas durante o seu desenvolvimento. Atualmente, o sistema de notação mais utilizado para a modelagem de sistemas baseados nos conceitos de orientação a objetos é a Linguagem de Modelagem Unificada – UML [LAR 99]. Nesta notação, um sistema é descrito por um conjunto de diagramas que apresentam diferentes aspectos do sistema. As informações disponibilizadas por estes diagramas propiciam, já nas fases iniciais do desenvolvimento da aplicação (análise e projeto), o planejamento dos casos de teste e a definição de critérios de cobertura. Observa-se que nestas fases a maioria das informações necessárias para o teste já estão disponíveis, como por exemplo, a definição das classes com seus atributos, métodos e relacionamentos, a representação da interação existente entre objetos para a realização de um cenário e a descrição dos possíveis estados e transições de um objeto em resposta a eventos externos e internos. Este trabalho propõe um conjunto de diretrizes e critérios de cobertura de teste, tendo como base as especificações diagramáticas UML. As diretrizes estabelecem um conjunto de instruções para que o teste seja feito e os critérios de cobertura identificam os pontos principais e serem considerados durante o teste. Na definição das diretrizes e dos critérios foram avaliadas as informações disponibilizadas pelos diagramas de classes, seqüência, colaboração e estados.

Glicemia neonatal : comparação dos resultados da determinação da glicemia em recém-nascidos através de amostra sérica venosa e amostra de sangue capilar

Para a realização deste estudo, partiu-se da definição que hipoglicemia corresponde a uma taxa de glicose menor ou igual a 40mg/dl e hiperglicemia a uma concentração sangüínea de glicose maior que 120mg/dl. Foi realizado um estudo transversal, selecionando RNs com patologias potencialmente modificadoras da concentração de glicose e que deveriam ter suas glicemias monitorizadas e RNs com quadros clínicos os mais variados indicando a necessidade de coleta de sangue para sua assistência. A amostra de escolha para as dosagens de glicose é a venosa, porém há uma série de inconvenientes para se realizar essa determinação, uma vez que há necessidade de punção venosa, o que exige habilidade na execução devido ao diâmetro dos vasos e da própria fragilidade dos RNs, principalmente os prematuros, os quais constituem o grupo de maior risco para hipoglicemia. Outro problema que se observa é a demora em se obter os resultados, devido à estrutura da maioria dos nossos hospitais. Como existe no mercado um aparelho manual eletrônico que utiliza tiras-teste eletroquímicas capaz de dosar a glicemia capilar em 20 segundos, elaborou-se este estudo 19 trabalho para verificar se as determinações da glicemia em sangue capilar coincidiam com a realizada em sangue venoso (padrão-ouro), contribuindo assim para que o diagnóstico e o tratamento possam ser efetivados o mais precocemente possível. Foram estudados 177 exames, encontrando-se o seguinte: como desempenho do teste Precision Plus®, usando o ponto de corte tradicional para hipoglicemia (≤40) e (n=28), sensibilidade de 90,3 (IC 95%: 73,1 a 97,5) e especificidade de 88,4 (IC 95%: 81,7 a 92,9); como desempenho do teste Precision Plus®, usando o ponto de corte tradicional para hiperglicemia (≥120) e (n=17), sensibilidade 77,3 (IC 95%: 54,2 a 91,3) e especificidade 93,5 (IC 95%:88,1 a 96,7). Modificando o corte tradicional para taxas de 50 mg/dl e 100 mg/dl, respectivamente, hipo e hiperglicemia encontrou-se como desempenho do teste Precision Plus® para hipoglicemia (≤ 50), sensibilidade de 96,8 e especificidade de 82,9; como desempenho do teste Precision Plus® para hiperglicemia (≥100), sensibilidade de 95,5 e especificidade de 87,7. O desempenho do aparelho Precision Plus® no teste é adequado para realizar rastreamento de alterações glicêmicas nas populações de risco em UTIs, apesar das oscilações. Este método não deverá ser o indicado para tomadas de condutas terapêuticas. O método bioquímico deverá ser sempre utilizado para a confirmação da glicemia quando esta for realizada por métodos mais simples.

Densitovolumetria pulmonar em crianças com bronquiolite obliterante pós-infecciosa : correlação do volume de zonas hipoatenuadas com função pulmonar e teste da caminhada de seis minutos

Objetivo: Avaliar a correlação do volume de pulmão com densidade anormal através da Densitovolumetria (DV) com características clínicas e testes de função pulmonar em crianças com Bronquiolite Obliterante (BO). Métodos: Realizou-se um estudo transversal em 19 crianças, com idade entre 7 e 15 anos, com diagnóstico clínico-evolutivo e tomografia de tórax característicos de BO. Foram excluídas ou-tras doenças que cursam com obstrução ao fluxo aéreo. Todas as crianças fizeram o Teste da cami-nhada de seis minutos com monitorização da saturação de oxigênio da hemoglobina. A espirometria foi feita em repouso, após o Teste da caminhada e após a administração de broncodilatador. A Den-sitovolumetria foi realizada em um tomógrafo computadorizado helicoidal de pista simples, marca Toshiba, modelo Xvision EX, com pós-processamento de imagem em estação de trabalho O2 da Si-licon Graphics, com programa de computação Alatoview®. Cada paciente foi submetido a 9 aquisi-ções tomográficas eqüidistantes de alta resolução e a duas varreduras helicoidais, cobrindo toda a extensão do tórax em pausa da respiração no final da inspiração e expiração profundas. Para separar parênquima normal de parênquima com diminuição de atenuação utilizou-se o limiar -950 UH e um outro limiar escolhido de forma subjetiva pelo radiologista Resultados: O volume de parênquima pulmonar com densidade anormalmente baixa na inspiração variou de 0,03 a 8,67 % e, na expiração, de zero a 7,27% do volume pulmonar total. O volume de pulmão hipoatenuado teve boa correlação com os testes de função pulmonar; na inspiração com VEF1% (r= -0,56) e com VEF1/CVF%(r= -0,75). O percentual de zonas hipoatenuadas na inspiração apresentou correlação com VEF1%(r= -0,64) e com VEF1/CVF%(r= -0,71). Na expiração, houve correlação com VEF1% (r= -0,50) e não houve com o VEF1/CVF%. Na comparação com o previsto em adultos, a correlação foi melhor na inspiração. A saturação de oxigênio em repouso não apresentou associação com o volume de áreas hipoatenuadas, enquanto que a saturação mínima durante o exercício apresentou correlação negativa forte com o volume de zonas com hipoatenuação na inspiração (r= -0,60) e na expiração (r= -0,61). Os pacientes com volumes pulmonares maiores percorreram uma distância maior (r=0,53), e a distância percorrida não foi afetada significativamente pelo volume de áreas hipoatenuadas. Conclusão: Em crianças com BO, o volume de zonas hipoatenuadas correlaciona-se com o VEF1% e VEF1/CVF% e com a queda na saturação durante o exercício, mas não se correlaciona com a saturação em repouso e a distância percorrida.

Teste de fábulas : um estudo com crianças abrigadas

A avaliação psicológica, incluindo a aplicação de testes, foi uma das primeiras tarefas do psicólogo e até hoje é uma atividade de uso restrito desse profissional. Muitos testes já foram criados e alguns, por terem mostrado sua utilidade na avaliação psicológica, foram revisados. Entretanto, na área da avaliação da personalidade e, em especial, para os instrumentos projetivos, não se investiu muito em termos de revisão. Os testes voltados para crianças foram ainda menos privilegiados.Um dos poucos recursos projetivos construídos especificamente para esse tipo de público e recentemente adaptado para utilização com a população brasileira foram as Fábulas de Düss, nomeado no Brasil como Teste das Fábulas. A adaptação para a realidade brasileira é recente e foi realizada com crianças em desenvolvimento normal. Entretanto, estudos com populações especiais, como, por exemplo, crianças institucionalizadas, são limitados. Pensando nessas crianças, nos profissionais que trabalham com elas e na escassez de instrumentos que auxiliem em um melhor entendimento da realidade do seu desenvolvimento, torna-se necessária a realização de estudos para a utilização de testes com essa população. Frente a isto, esta pesquisa avaliou as respostas dadas ao Teste das Fábulas por crianças que residem em instituições, levando em consideração as variáveis sexo, faixa etária e tempo de abrigamento. A amostra foi composta de 62 crianças, com idades entre 4 anos e 9 meses e 11 anos e 8 meses, residentes em abrigos das cidades de Porto Alegre e Canoas, por um período mínimo de 6 meses. Os instrumentos utilizados foram um questionário sócio-demográfico, o teste das Matrizes Progressivas Coloridas de Raven (versão tabuleiro) e o Teste das Fábulas. Os resultados demonstraram que as crianças que residem em abrigos, de um modo geral, respondem de forma diferente ao Teste das Fábulas do que as crianças com desenvolvimento considerado normal. Estes respostas remeteram à conflitiva da própria situação de abandono vivenciada. As maiores diferenças encontradas foram em relação a faixa etária, sendo que as variáveis tempo de abrigamento e sexo exerceram pouca influência. As crianças mais novas apresentaram respostas que indicaram o abandono como uma forma de agressão, enquanto as mais velhas atribuíram a si a culpa por tal acontecimento. Foram verificadas também diferenças entre as fantasias, estados emocionais e mecanismos de defesa quando comparadas as diferentes faixas etárias, assim como foram encontradas novas categorias desses itens nas respostas da amostra total.

Zoneamento da Floresta Nacional de Brasília-DF utilizando técnicas de geoprocessamento e sensoriamento remoto

Utilizando técnicas de geoprocessamento, desenvolveu-se metodologia para avaliar e diagnosticar os impactos ambientais decorrentes do uso e ocupação do solo em áreas de Florestas Nacionais. A área teste da pesquisa foi a Floresta nacional de Brasília. No modelamento para a avaliação da perda e tolerância de solo em função de seu uso, utilizou-se das ferramentas de geoprocessamento e imagem de satélite para a solução da equação USLE. Foi possível determinar as áreas de preservação permanente e as áreas passíveis de reflorestamento, através da criação de cenários de colheita florestal, bem como as diferentes formas de manejo que devem ser adotadas em função das perdas de solo por erosão laminar. As áreas de perda de solo acima de sua tolerãncia representam 1,90% (177,44 ha) da área total da Flona. As áreas consideradas de Preservação Permanente sob o aspecto da legislação vigente e do uso atual representam 6,78% (633,46ha) de sua área total. Destes, 140,18ha (22,13%) apresentam uma cobertura vegetal do tipo campo e devem ser recuperados e convertidos em áreas com cobertura vegetal do tipo floresta, a fim de adequar-se a legislação vigente como também minimizar os processos erosivos que possam comprometer os cursos d'água. A área passível de implantação de floresta corresponde a 8.712,82 ha (93,22%), onde 5.642,48 ha (64,76%) podem ser manejados a corte raso e 3.070,34 hectares (32,24%) devem ser manejados a corte seletivo, para que não haja comprometimento do solo devido às perdas por erosão laminar.

Estratégias de avaliação e herança da tolerância ao alumínio tóxico em linhagens recombinantes de aveia (Avena sativa L.)

Genótipos de aveia variam quanto à tolerância ao alumínio no solo. Uma maneira fácil, rápida e eficiente de identificar a tolerância ao alumínio é através do uso de solução nutritiva, em laboratório. Os objetivos deste estudo foram ajustar a metodologia de avaliação da tolerância ao alumínio, avaliar linhagens recombinantes quanto à tolerância ao alumínio em laboratório e a campo e estimar o número de genes que controlam o caráter, identificar marcadores morfológicos associados com a tolerância ao alumínio e avaliar os efeitos do gene de tolerância ao alumínio sobre caracteres de importância agronômica. Os ajustes na metodologia foram realizados envolvendo genótipos de aveia e trigo com resposta conhecida ao alumínio tóxico. Uma população de 333 linhagens recombinantes nas gerações F5:6 e F5:7 provenientes do cruzamento entre os genitores UFRGS 930598-6 (sensível) e UFRGS 17 (tolerante) foi avaliada em solução nutritiva. O número de genes que controlam a tolerância ao alumínio foi estimado pela distribuição de freqüência do recrescimento médio da raiz principal. Uma amostra de 22 linhagens recombinantes sensível e tolerante ao alumínio tóxico foi avaliada no campo, com alta concentração de alumínio no solo. A associação e o efeito do gene de tolerância ao alumínio com outros caracteres agronômicos foram realizados a campo em solo livre de alumínio. A técnica de avaliação da tolerância ao alumínio permitiu a discriminação mais eficiente dos genótipos após os ajustes realizados. A tolerância ao alumínio em aveia é governada por um gene de grande efeito, sendo que os genótipos tolerantes possuem os alelos AlaAla e os genótipos sensíveis os alelos alaala. A avaliação da tolerância ao alumínio em laboratório foi confirmada a campo. O caráter tolerância ao alumínio não apresenta alta associação com outros caracteres agronômicos. A presença do gene de tolerância ao alumínio não está associada a efeitos negativos em caracteres de importância agronômica.

Injeção distribuída de falhas para validação de dependabilidade de sistemas distribuídos de larga escala

Uma etapa fundamental no desenvolvimento de sistemas tolerantes a falhas é a fase de validação, onde é verificado se o sistema está reagindo de maneira correta à ocorrência de falhas. Uma das técnicas usadas para validar experimentalmente um sistema é injeção de falhas. O recente uso de sistemas largamente distribuídos para execução dos mais diversos tipos de aplicações, faz com que novas técnicas para validação de mecanismos de tolerância a falhas sejam desenvolvidas considerando este novo cenário. Injeção de falhas no sistema de comunicação do nodo é uma técnica tradicional para a validação de aplicações distribuídas, para forçar a ativação dos mecanismos de detecção e recuperação de erros relacionados à troca de mensagens. A condução de experimentos com injetores de comunicação tradicionais é feita pelo uso do injetor em uma máquina do sistema distribuído. Se o cenário desejado é de múltiplas falhas, o injetor deve ser instanciado independentemente nas n máquinas que as falhas serão injetadas. O controle de cada injetor é individual, o que dificulta a realização do experimento. Esta dificuldade aumenta significativamente se o cenário for um sistema distribuído de larga escala. Outro problema a considerar é a ausência de ferramentas apropriadas para a emulação de determinados cenários de falhas. Em aplicações distribuídas de larga escala, um tipo comum de falha é o particionamento de rede. Não há ferramentas que permitam diretamente a validação ou a verificação do processo de defeito de aplicações distribuídas quando ocorre um particionamento de rede Este trabalho apresenta o estudo de uma abordagem para injeção de falhas que permita o teste de atributos de dependabilidade de aplicações distribuídas de pequena e larga escala implementadas em Java. A abordagem considera a não obrigatoriedade da alteração do código da aplicação sob teste; a emulação de um cenário de falhas múltiplas que ocorrem em diferentes nodos, permitindo o controle centralizado do experimento; a validação de aplicações que executem em sistemas distribuídos de larga escala e consideram um modelo de falhas realista deste tipo de ambiente, incluindo particionamentos de rede. A viabilidade da abordagem proposta é mostrada através do desenvolvimento do protótipo chamado FIONA (Fault Injector Oriented to Network Applications), o qual atualmente injeta falhas em aplicações desenvolvidas sob o protocolo UDP.

Qualidade de vida em idosos desenvolvimento e aplicação do módulo WHOQOL-OLD e teste do desempenho do instrumento WHOQOL-BREF em uma população idosa brasileira

Introdução: A presente dissertação de mestrado tem como foco a investigação de qualidade de vida em idosos. Não somente à expectativa de vida e à morbi-mortalidade, o interesse científico tem-se voltado a conferir qualidade aos anos de vida de uma população de idosos crescente em países desenvolvidos e em desenvolvimento. A definição do construto qualidade de vida não desfruta de consenso até o momento. Entretanto, é consensual que a população de idosos apresenta particularidades que, por conseguinte, se refletem na conceituação de qualidade de vida e na determinação de quais fatores contribuem para sua composição. Entretanto, diversos instrumentos utilizados em estudos de qualidade de vida em idosos não abrangem tais especificidades ou não apresentam propriedades psicométricas adequadamente testadas para esta população. Objetivos: Os objetivos principais desta dissertação são dois. Primeiramente, desenvolver a versão em português do módulo de aferição de qualidade de vida em idosos da Organização Mundial de Saúde WHOQOL-OLD e descrever suas propriedades psicométricas em uma amostra de idosos brasileiros. Em segundo lugar, realizar a testagem do desempenho psicométrico do instrumento genérico de avaliação de qualidade de vida WHOQOL-BREF, originalmente gerado em uma população de adultos não-idosos e crescentemente utilizado em investigações geriátricas. Método: 424 sujeitos com idade igual ou superior a 60 anos foram entrevistados, completando uma ficha de dados sócio-demográficos, os instrumentos WHOQOL-BREF, Inventário de Depressão de Beck (BDI), Escala de Desesperança de Beck (BHS) e o módulo WHOQOL-OLD. A uma subamostra de 51 sujeitos foi aplicado o Módulo WHOQOL-OLD após duas semanas. Resultados: A amostra foi constituída predominantemente de mulheres (64,2%), de sujeitos vivendo na comunidade (84,4%) e de sujeitos que se consideram saudáveis (67,5%). O Módulo WHOQOL-OLD é composto por seis facetas e 24 itens, gerando escores em cada uma das facetas e um escore geral (overall). Os coeficientes de Cronbach indicam que todas as facetas e o conjunto de itens apresentam fidedignidade satisfatória, variando de 0,710 (faceta autonomia) a 0,885 (overall). As seis facetas e o escore overall mostram-se capazes de discriminar os idosos com diferentes níveis de depressão, bem como os que se percebem saudáveis daqueles que se percebem doentes. A validade concorrente, aferida através da correlação dos escores com os de sintomatologia depressiva e de desesperança, apresenta significância estatística. A comparação das médias dos escores do teste e reteste não indica diferenças, atestando a estabilidade do instrumento. Em relação ao desempenho do instrumento WHOQOL-BREF, todos seus quatro domínios demonstraram-se capazes de discriminar níveis de sintomas depressivos e de desesperança, bem como diferentes percepções de estado de saúde. Os coeficientes de correlação entre os domínios e os escores do BDI e BHS apresentaram significância estatística. Os coeficientes de fidedignidade de Cronbach assumem valores que variam de 0,614 (domínio relações sociais) a 0,925(conjunto de 26 itens). Em relação à validade de critério, O domínio Relações Sociais não apresentou significância estatística no modelo proposto de regressão linear múltipla (p=0,061). Os domínios físico, psicológico e de meio-ambiente explicam 64,7% da variância do escore global, constituído por dois itens de qualidade de vida geral.Conclusão: O módulo WHOQOL-OLD representa uma ferramenta adicional aos questionários genéricos de qualidade de vida WHOQOL-100 ou WHOQOL-BREF como uma alternativa útil na investigação de qualidade de vida de idosos, abrangendo aspectos relevantes e não abordados nos instrumentos desenhados originalmente para populações não-idosas. A testagem do desempenho psicométrico do instrumento WHOQOL-BREF demonstrou que este apresenta consistência interna, validade concorrente, validade discriminante e validade de critério satisfatórias em uma amostra de idosos brasileiros. Seus itens foram analisados previamente em grupos focais, em relação ao conteúdo e fraseamento, tendo sido considerados pelos idosos como relevantes para a aferição de qualidade de vida e de fácil entendimento. Assim sendo, o WHOQOL-BREF apresenta características que o colocam como um instrumento genérico de aferição de qualidade de vida com adequado desempenho psicométrico testado em idosos.

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.