Recuperação automática da modelação comportamental com aplicações ao ensaio baseado em modelos

O problema dos sistemas de software legados sem documentação ou com documentação obsoleta, continua a ser uma realidade no mundo empresarial. O progressivo aumento da dimensão e complexidade dos sistemas desenvolvidos vem aumentar a necessidade de existirem mecanismos de modelação e documentação de apoio às actividades de manutenção e teste. Apesar da investigação que tem sido levada a cabo para tentar apresentar cada vez melhores abordagens à resolução deste problema,o seu uso no mundo empresarial ainda é muito esparso. Tal deve-se, pelo menos em parte, ao facto de muitas das abordagens propostas acabarem por representar um acrescento do esforço e do tempo, que as organizações não estão em condições de disponibilizar. Esta dissertação contribui com uma abordagem automatizada de suporte às actividades de documentação de sistemas, de manutenção e de testes. Para demonstrar a aplicabilidade e usabilidade da abordagem, propõe-se a implementação de uma ferramenta de apoio. A abordagem proposta baseia-se em técnicas já existentes e consolidadas, mas propõe extensões que permitem melhorar a sua integração,usabilidade e eficiência na sua aplicação. O problema fulcral aqui tratado é a inexistência ou insuficiência de documentação sobre os sistemas desenvolvidos. De modo a mitigar este problema, é apresentado um mecanismo de recuperação da modelação dinâmica de sistemas legados e respectiva geração de artefactos documentais,nomeadamente diagramas de sequência (UML), cartões CRC e matrizes de CRUD. Finalmente, introduzem-se técnicas de rastreabilidade e de apoio a testes de qualidade e cobertura para os sistemas construídos, usando uma metáfora de coloração de diagramas UML.

Caso de demonstração de uma framework para automatização do teste de APIs de aplicações SaaS

Dissertação de mestrado integrado em Engenharia e Gestão de Sistemas de Informação

Estudo e implementação de testes de software em desenvolvimento ágil

Dissertação de mestrado em Engenharia de Sistemas

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.

Optimização do processo de recolha de resíduos: desenvolvimento de ferramentas de investigação operacional para o problema de orientação de equipas com multi-restrições

Tese de Doutoramento em Engenharia Industrial e de Sistemas.

Novos genes de resistência à ferrugem-asiática-da-soja: teste de alelismo para os locos Rpp2 e Rpp4

O objetivo deste estudo foi desenvolver testes de alelismo, inclusive cruzamentos entre um grupo de genótipos resistentes à ferrugem, do banco de germoplasma de soja da Embrapa, e as duas fontes de resistência com os genes Rpp2 e Rpp4. A ferrugem-asiática-da-soja, causada pelo fungo Phakopsora pachyrhizi, tem gerado perdas significativas na produtividade da cultura e preocupado os agricultores brasileiros. Até recentemente, existiam quatro genes de resistência descritos na literatura, mas somente Rpp2 e Rpp4 continuam efetivos no Brasil. Vinte e seis fontes com resistência a P. pachyrhizi foram cruzadas com PI 230970 e PI 459025 (fontes dos genes Rpp2 e Rpp4, respectivamente), e as plantas da geração F2 foram infectadas com uma suspensão com 2,5x10(4) esporos por mililitro e analisadas em casa de vegetação após 20 dias, para verificação da presença de lesões de resistência (RB) ou de suscetibilidade (TAN). Foram aplicados testes de qui-quadrado para investigar as hipóteses de segregação independente ou de alelos de resistência nos locos Rpp2 e Rpp4. Genes de resistência provenientes de PI 197182, PI 230971 e PI 417125 não segregaram em cruzamentos com a PI 230970, o que indica que esses genótipos apresentam um único gene de resistência presente no loco Rpp2. Cruzamentos com os outros 23 genótipos resultaram em populações segregantes, o que indica que estas possuem genes que não pertencem aos locos Rpp2 e Rpp4.

Validade e confiabilidade de uma versão on-line do Female Sexual Function Index por teste e reteste

OBJETIVO: Foi testar a validade e a confiabilidade de uma versão on-line do Female Sexual Function Index (FSFI). MÉTODOS: Uma versão on-line do FSFI foi comparada à versão tradicional, em papel. Para tanto, estudantes de Fisioterapia de três cidades foram alocadas randomicamente em dois grupos - G-pp/ol (n=126) e G-ol/pp (n=147). As mulheres do G-pp/ol responderam ao FSFI do modo tradicional, em papel e caneta, enquanto o G-ol/pp respondeu a uma versão on-line do mesmo questionário. Após 15 dias de intervalo, houve nova coleta, quando o G-pp/ol respondeu a versão on-line enquanto o G-ol/pp respondeu no papel. Todos os dados foram transportados para o software estatístico SPSS. Diferenças demográficas entre os dois grupos foram reveladas pelo teste t de Student ou pelo teste exato de Fischer (IC95%; p>0,05). A associação e a correlação entre as respostas entre G-pp/ol e G-ol/pp durante cada coleta foram acessadas pelo teste t e o coeficiente de Pearson. Estratégia idêntica foi utilizada para as comparações intragrupo. RESULTADOS: Um total de 273 mulheres participou do estudo e 28 (10,2%) desistiram da segunda coleta. Não houve diferenças demográficas entre os grupos. Houve associação entre 15 das 19 questões do FSFI entre os dois grupos, tanto no teste quanto no reteste. A análise intragrupo revelou que todas as questões e os escores do FSFI estiveram associados, mas fracamente correlacionados para um mesmo grupo durante as duas coletas. CONCLUSÃO: A versão on-line do FSFI apresentou validade e confiabilidade aceitáveis quando comparada à versão em papel, o que pode justificar a opção por essa modalidade, especialmente em estudos envolvendo sexualidade.

Teste rápido de condutividade elétrica e correlação com outros testes de vigor

O presente trabalho teve como objetivo estimar a correlação entre os resultados de condutividade elétrica realizado em diferentes temperaturas e períodos de embebição com outros testes de qualidade fisiológica. Utilizaram-se sementes de soja colhidas no estádio R8 e aos 15, 30 e 45 dias após R8, nos anos agrícolas 2001/2002 e 2002/2003. A qualidade foi avaliada pelos testes de germinação, primeira contagem da germinação, envelhecimento acelerado, emergência em leito de areia e condutividade elétrica. No teste de condutividade elétrica, além da metodologia tradicional, na temperatura de 25ºC por 24 horas, estudaram-se outras metodologias, utilizando 20 subamostras de 10 sementes mantidas em temperaturas de 32ºC ou de 40ºC por 10, 30, 60 e 120 minutos. As metodologias estudadas correlacionaram-se bem com a metodologia tradicional, como também, com os outros testes avaliados e o período de 120 minutos, em ambas as temperaturas, foi o que melhor correlacionou com os outros testes avaliados, equiparando-se ao período de 24 horas.

Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional

A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. O paradigma da Orientação a Objetos (OO) surgiu com o objetivo de melhorar a qualidade bem como a produtividade no desenvolvimento de aplicações. Entretanto, apesar do aumento constante de aceitação do paradigma OO pela indústria de software, a presença de algumas de suas características torna a atividade de teste de programas neste paradigma mais complexa do que o teste de sistemas tradicionais. Entre estas características cita-se a herança, o encapsulamento, o polimorfismo e a ligação dinâmica [EIS 97] [PRE 95] [UNG 97]. Algumas técnicas estão sendo implementadas para auxiliarem a atividade de teste através do uso da tecnologia de reflexão computacional [HER 99]. Estas técnicas permitem a realização de análises de aspectos dinâmicos dos programas, sem a necessidade de instrumentar o código-fonte das aplicações que estão sendo monitoradas. Com o objetivo de auxiliar o processo de teste de programas orientados a objetos, este trabalho aborda o desenvolvimento de uma ferramenta, a qual automatiza parcialmente o teste de programas escritos em Java. A ferramenta evidencia o teste de estados fazendo uso da tecnologia de reflexão computacional. Através da especificação de asserções, feitas pelo usuário da ferramenta, na forma de invariantes de classe, pré e pós-condições de métodos, é possível verificar a integridade dos estados dos objetos durante a execução do programa em teste. A ferramenta possibilita também, armazenar a seqüência de métodos chamados pelos objetos da aplicação em teste, tornando possível ao testador, visualizar o histórico das interações entre os objetos criados no nível-base.

Testes de estrutura ótima de capital em empresas brasileiras: o efeito de liquidez, desempenho do mercado acionário e assimetria de informação nas decisões de financiamento

Este trabalho busca explorar, através de testes empíricos, qual das duas principais teorias de escolha de estrutura ótima de capital das empresas, a Static Trade-off Theory (STT) ou a Pecking Order Theory(POT) melhor explica as decisões de financiamento das companhias brasileiras. Adicionalmente, foi estudado o efeito da assimetria de informações, desempenho e liquidez do mercado acionário nessas decisões. Utilizou-se no presente trabalho métodos econométricos com dados de empresas brasileiras de capital aberto no período abrangendo 1995 a 2005, testando dois modelos representativos da Static Trade-off Theory (STT) e da Pecking Order Theory(POT). Inicialmente, foi testado o grupo amplo de empresas e, posteriormente, realizou-se o teste em subgrupos, controlando os efeitos de desempenho e liquidez do mercado acionário, liquidez das ações das empresas tomadoras e assimetria de informações. Desta forma, os resultados obtidos são indicativos de que a Pecking Order Theory, na sua forma semi-forte, se constitui na melhor teoria explicativa quanto à escolha da estrutura de capital das empresas brasileiras, na qual a geração interna de caixa e o endividamento oneroso e operacional é a fonte prioritária de recursos da companhia, havendo algum nível, embora baixo, da utilização de emissão de ações. Os estudos empíricos para os subgrupos de controle sugerem que a liquidez do mercado e liquidez das ações das empresas são fatores de influência na propensão das empresas emitirem ações, assim como a assimetria de informação. O desempenho do mercado acionário, com base nos dados analisados, aparenta ter pouca influência na captação de recursos via emissões de ações das empresas, não sendo feito no presente estudo distinções entre emissões públicas ou privadas

Testes de validade do capital asset pricing model no mercado acionário de São Paulo : um estudo indicativo do poder de teste da metodologia de Fama e Macbeth

Utiliza a técnica de simulação para estimar a "eficiência" de se testar o modelo Capital Asset Pricing Model (CAPM) num mercado com características do mercado acionário paulista, marcado por elevado retorno e alta volatilidade.

Equipamento de biotelemetria para monitoramento em tempo real do teste da caminhada de seis minutos

Este estudo visa desenvolver um sistema portátil de radiocomunicação de radiação restrita, indicado para biotelemetria digital de curta distância aplicada ao Teste da Caminhada de Seis Minutos (TC6M) em pacientes com doença pulmonar obstrutiva crônica ou hipertensão pulmonar. A saturação periférica da hemoglobina (SpO2) e a freqüência cardíaca (FC) são monitoradas em tempo real. É utilizada a banda destinada a aplicações médicas, industriais e científicas (ISM), com freqüência de portadora em 916MHz e potência de transmissão de 0,75mW. Este sistema foi projetado para operar através de um enlace half duplex e codificação Manchester NRZ incorporando um protocolo para correção de erros do tipo automatic repeat request error com utilização de um código CRC-16 para detecção de erros. A velocidade máxima de transmissão de dados é de 115.2 kbps. O sistema é constituído de três partes: unidade portátil (Master), unidade estacionária (Slave) e software de visualização em tempo real. A unidade portátil recebe do oxímetro os parâmetros de monitorização que são transmitidos via enlace de rádio-freqüência. A interface da unidade estacionária com o software é feita através da porta de comunicação serial padrão RS-232. Os testes de laboratório e de campo demonstraram que o sistema de biotelemetria é adequado a realizar o TC6M com precisão de SpO2 de ±3 dígitos (com ±1 desvio padrão) e FC de ±3% ambos com taxa de Frame Error Rate < 10-4 (0,01%), sem restrigir os movimentos do usuário durante o processo de monitorização.

Evolução, avaliação e validação do software RoboEduc

Considering the transition from industrial society to information society, we realize that the digital training that is addressed is currently insufficient to navigate within a digitized reality. As proposed to minimize this problem, this paper assesses, validates and develops the software RoboEduc to work with educational robotics with the main differential programming of robotic devices in levels, considering the specifics of reality training . One of the emphases of this work isthe presentation of materials and procedures involving the development, analysis and evolution of this software. For validation of usability tests were performed, based on analysis of these tests was developed version 4.0 of RoboEduc

Desenvolvimento e testes de software de um receptor de GPS para uso espacial

Spacecraft move with high speeds and suffer abrupt changes in acceleration. So, an onboard GPS receiver could calculate navigation solutions if the Doppler effect is taken into consideration during the satellite signals acquisition and tracking. Thus, for the receiver subject to such dynamic cope these shifts in the frequency signal, resulting from this effect, it is imperative to adjust its acquisition bandwidth and increase its tracking loop to a higher order. This paper presents the changes in the GPS Orion s software, an open architecture receiver produced by GEC Plessey Semiconductors, nowadays Zarlink, in order to make it able to generate navigation fix for vehicle under high dynamics, especially Low Earth Orbit satellites. GPS Architect development system, sold by the same company, supported the modifications. Furthermore, it presents GPS Monitor Aerospace s characteristics, a computational tool developed for monitoring navigation fix calculated by the GPS receiver, through graphics. Although it was not possible to simulate the software modifications implemented in the receiver in high dynamics, it was observed that the receiver worked in stationary tests, verified also in the new interface. This work also presents the results of GPS Receiver for Aerospace Applications experiment, achieved with the receiver s participation in a suborbital mission, Operation Maracati 2, in December 2010, using a digital second order carrier tracking loop. Despite an incident moments before the launch have hindered the effective navigation of the receiver, it was observed that the experiment worked properly, acquiring new satellites and tracking them during the VSB-30 rocket flight.