Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Pico e flutuação da pressão intra-ocular: comparação entre curva tensional diária e teste de sobrecarga hídrica e comparação entre 2 testes de sobrecarga hídrica em horários diferentes

Pós-graduação em Bases Gerais da Cirurgia - FMB

Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um sistema eletrônico de 2kW para emulação/simulação experimental da característica estática de saída, tensão (versus) corrente, de sistemas de geração com células combustível tipo PEM

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento e teste de um programa computacional para simulação de plantas térmicas e de potência

Pós-graduação em Engenharia Mecânica - FEIS

Desenvolvimento de um método de análise digital para o teste do cometa corado pela prata

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sistema eletrônico para geração e avaliação de movimentos em paraplégicos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Avaliação da resistência de união à tração e espessura de camada híbrida : influência de sistemas adesivos e condições de substrato dentinário

Pós-graduação em Ciências Odontológicas - FOAR

Procedimentos de ensino e de testes de construção e leitura de sentenças com compreensão

Análise de relações ordinais nos quais o responder estaria sob controle de propriedades relacionais do tipo primeiro, segundo, terceiro e assim por diante, a partir do paradigma de equivalência, constitui uma importante forma de compreender o comportamento verbal (sintaxe). Cinco estudos buscaram avaliar a emergência de novas sentenças com três ou quatro palavras (artigos, substantivos, adjetivos ou verbos e advérbios), com base nas posições ocupadas pelas mesmas em cada sentença ensinada independentemente. Participaram do Estudo 1 cinco crianças da pré-escola. Todos os participantes foram submetidos a procedimentos de ensino com três palavras através de emparelhamento de acordo com o modelo, testes de equivalência, treino por encadeamento de respostas, testes de produção de seqüências, conectividade e testes de leitura com compreensão. No Estudo 2, outras cinco crianças do ensino fundamental foram expostas aos mesmos procedimentos de ensino e testes, com quatro palavras. No Estudo 3, quatro crianças eram submetidas ao procedimento por encadeamento, testes de produção de seqüências, conectividade e de leitura com compreensão com quatro palavras. No Estudo 4 outras quatro crianças com história de fracasso escolar foram submetidas ao mesmo procedimento de ensino e testes dos Estudos 1 e 2, com quatro palavras. No Estudo 5 três outras crianças também com história de fracasso escolar foram submetidas ao mesmo procedimento adotado no Estudo 3 com quatro palavras. Os participantes não tinham leitura fluente de frases, mas liam palavras isoladamente. As sessões experimentais ocorreram numa sala da escola freqüentada pelas crianças. Um microcomputador forneceu suporte ao estudo e um software específico exerceu o controle e registro dos dados comportamentais. Utilizaram-se três conjuntos de estímulos: A (desenhos), B (palavras maiúsculas) e C (palavras minúsculas), para ensinar as relações condicionais AB e AC e testes BC/CB. No treino por encadeamento eram usadas três sentenças diferentes. Na primeira tentativa, a palavra UM, por exemplo, era apresentada na área de escolha. Um toque sobre a palavra produzia como conseqüência seu deslocamento para a área de construção na parte superior da tela, uma animação gráfica era apresentada acompanhada de um som muito bem, legal, certo. Em seguida, duas palavras eram apresentadas 10 simultaneamente na tela e o participante deveria tocar em uma delas e depois, na outra. Caso as palavras fossem ordenadas corretamente, a mesma conseqüência anterior era apresentada, e a mesma configuração de palavras era reapresentada em posições diferentes na área de escolha. Caso a resposta fosse diferente da programada pela experimentadora, produzia um escurecimento na tela por 3s e uma nova configuração de palavras era apresentada, lado a lado na área de escolha. Após o ensino da linha de base, testes de produção de seqüências e de conectividade eram aplicados para verificar a emergência de seis novas sentenças (exceto Estudo 1), a partir da recombinação das palavras ensinadas anteriormente. Finalmente, um teste de compreensão de leitura com novas frases era apresentado aos participantes. Por exemplo, na presença de uma figura, três sentenças diferentes em letras maiúsculas eram apresentadas e o participante deveria selecionar qual a sentença correta. Em todos os estudos, os participantes alcançaram o critério de acerto, três vezes consecutivas, sem erro, embora alguns tenham precisado de re-exposições. No Estudo 1 e 2 todos os participantes responderam consistentemente aos testes e leram as novas sentenças fluentemente e com compreensão. No Estudo 3, um participante construiu as seis novas sentenças prontamente. Nenhum participante leu com compreensão aos testes finais de leitura. No Estudo 4, três participantes construíram duas novas sentenças prontamente e um participante não respondeu aos testes de conectividade. Dois participantes responderam aos testes de leitura com compreensão. No Estudo 5 dois participantes construíram quatro novas sentenças prontamente. Nos Estudos 3 e 5 os participantes não responderam aos testes de nomeação oral. Estes resultados demonstraram a emergência de novas sentenças, sem qualquer treino adicional, a partir do ensino com três sentenças independentes. Os resultados dos testes de leitura com compreensão mostraram uma coerência com o paradigma de equivalência. Conclui-se que os estímulos utilizados eram funcionalmente equivalentes e exerceram ainda funções ordinais pela posição que cada um ocupou nas sentenças.

Investigação de estratégias de controle digital para regulação de velocidade e emulação da dinâmica de turbinas hidráulicas, com implementação e testes experimentais em uma micromáquina de 10 KVA

Devido não ser comum o estudo de sistemas de potência em plantas reais como usinas hidrelétricas por causa dos riscos e custos que envolvem sua operação, dá-se preferência pela realização computacional de modelos matemáticos desse tipo de planta na resolução de problemas, desenvolvimento de novas tecnologias e formação de recursos humanos. No entanto, modelos realizados computacionalmente não proveem a experiência, visual, auditiva e tátil que um modelo físico real pode oferecer. Portanto, neste trabalho, apresenta-se a descrição e a modelagem de um sistema de geração em escala reduzida de 10kVA, que é um sistema físico real, composto por um motor CC, um gerador síncrono e transformadores, chamado também de sistema micromáquina, o qual faz parte da infraestrutura do Laboratório de Engenharia Elétrica da UFPA. Para este sistema, por intermédio deste trabalho de mestrado e do trabalho de mestrado de Moraes (2011), foram desenvolvido subsistemas eletrônicos e computacionais de acionamento, automação e controle para operá-lo de forma segura resultando em uma excelente plataforma didática para dar suporte às pesquisas em dinâmica e controle de sistemas de potência, bem como o desenvolvimento de trabalhos acadêmicos e de ensino. Nesse mesmo contexto, é apresentada uma proposta de técnica de emulação de turbina hidráulica, tendo como base o controle de potência aplicado ao motor CC do sistema micromáquina. Tal técnica foi desenvolvida principalmente com o propósito de dar suporte ao estudo e desenvolvimento de técnicas de regulação de velocidade de turbinas hidráulicas. Consequentemente, também é apresenta uma proposta de um regulador de velocidade digital para turbinas hidráulicas baseado na estrutura canônica RST de controle digital, cujos parâmetros são projetados por duas técnicas de projeto estudadas neste trabalho: o método de alocação polinomial de polos e o projeto de compensadores por atraso de fase pelo método de resposta em frequência para sistemas discretos. Logo para comprovar a eficácia das ferramentas de hardware, software e teóricas desenvolvidas neste trabalho, resultados de experimentos realizados no sistema micromáquina são apresentados e analisados.

Infecção pelo HCV em uma unidade de diálise em Belém-Pará: desempenho de testes imunoenzimáticos em relação à técnica de biologia molecular

O presente estudo objetivou comparar o desempenho de quatro kits para detecção do anti-HCV, por enzimaimunoensaio, frente à detecção do HCV-RNA por meio de reação em cadeia pela polimerase (PCR), em 19 funcionários (FC) e 66 pacientes, sendo 54 submetidos à hemodiálise (HD) e 12 a diálise peritoneal (DP), em uma unidade de diálise em Belém, Pará. A pesquisa do anti-HCV foi realizada com kits de 3ª geração do Ortho, Ubi, BioChem e Abbott. A amplificação e quantificação de HCV-RNA foram realizadas utilizando-se kits do Roche. A concordância de resultados entre os quatro kits imunoenzimáticos foi de 89,5% entre os funcionários e 81,8% entre os pacientes. A prevalência do anti-HCV variou de 34,1 a 37,5% entre a população estudada, e de 42,4 a 47% entre os pacientes. O HCV-RNA foi detectado em 25 (37,9%) dos pacientes, dos quais 24 eram submetidos à hemodiálise. Não foi detectada infecção pelo HCV entre os funcionários. Não houve diferença estatística à análise dos índices de sensibilidade, especificidade e valores preditivos, entre os quatro kits em relação ao PCR, contudo, deixou-se de identificar, na dependência do kit utilizado, de 12,5 a 20% de indivíduos infectados pelo HCV. Não se observou correlação entre infecção pelo HCV e aumento nas aminotransferases. Foi possível mostrar correlação estatística entre a infecção pelo HCV e o tratamento por hemodiálise, tempo de tratamento superior a seis meses e idade dos pacientes superior a cinqüenta anos. Além disso, houve alta prevalência de portadores do HBV (13%) entre os hemodiálisados.

Testes para a seleção de populações de cenoura visando ao vigor e à longevidade das sementes

Populations of carrot seeds with superior physiological quality and storage potential are of interest to seed companies and growers. Thus, we verified the efficiency of some tests for the selection of carrot populations with greater vigor and longevity of seeds. Seeds of 50 carrots progenies of different half-brothers from Brasilia cultivar were evaluated for the mass of one hundred seeds, the first count, germination, dormancy, accelerated aging with water and saturated NaCl solution. The seeds were stored at moisture contents of 6.1±0.3% in hermetic packaging at temperatures of 15 and 25°C for 12 months and germination was evaluated quarterly. The experimental data were evaluated for variance and phenotypic, genotypic and environmental heritability, coefficient of variation and genetic gain from selection. Selection based on the mass should not be used because it would increase the occurrence of dormancy in seeds of the next generation. The test of the first count, germination and accelerated aging in water or saline solution saturated may be used to select populations of carrot seeds of higher vigor and longevity. The estimated gain genetic selection for germination after 12 months storage at 25°C was 14%.

Desenvolvimento de software utilizando a técnica sph (smoothed particle hydrodynamics) na geração de ondas de submersão

Pós-graduação em Engenharia Elétrica - FEIS

Padronização do teste dot blotting e comparação entre testes de diagnóstico de brucelose em bovinos

Pós-graduação em Medicina Veterinária - FCAV