OZJ : uma ferramenta para geração de óraculos para teste de software a partir de especificação formal

A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.

Impacto do gerenciamento de reclamações na confiança e lealdade do consumidor, no contexto de trocas relacionais de serviços : construção e teste de um modelo teórico

Esta tese tem como objetivo central investigar o impacto do gerenciamento de reclamações na confiança e lealdade do consumidor, em trocas de serviços relacionais. Para tanto, foi desenvolvido e testado um modelo teórico, que retrata os inter-relacionamentos entre avaliações específicas do processo de reclamação e construtos relacionais. Desta forma, o presente estudo relaciona três importantes correntes de pesquisa - teoria da justiça, gerenciamento de reclamações e estudos sobre confiança. De modo geral, os resultados obtidos através da Modelagem de Equações Estruturais confirmam 10 das 12 hipóteses estabelecidas a partir do modelo teórico proposto. Mais especificamente, os resultados indicam que as percepções de justiça distributiva, interpessoal e processual afetam significativamente a percepção global de justiça e o nível de satisfação do consumidor com o gerenciamento da reclamação. A confiança do consumidor após a reclamação é influenciada diretamente pelo nível de satisfa ção final alcançado e pelas experiências anteriores do consumidor com a empresa. Por fim, o grau de lealdade do consumidor é influenciado pela confiança do consumidor e pelo valor relacional.

Efeito do exercício aeróbio moderado em gestantes com sobrepeso avaliado através de teste de exercício submáximo : um ensaio clínico randomizado

Objetivo: Avaliar os efeitos de um programa de exercício aeróbio sobre o condicionamento cardiorrespiratório em gestantes hígidas, de baixo risco, com sobrepeso. Métodos: 92 mulheres gestantes com sobrepeso (índice de massa corporal 26-31kg/m2), idade ≥ 20 anos, idade gestacional ≤ 20 semanas, com ausência de diabetes e hipertensão, foram alocadas aleatoriamente para realizar exercício aeróbio três vezes por semana com uma hora de duração ou para realizar sessões de relaxamento no grupo controle. Foram realizados dois testes de exercício submáximo em esteira, utilizando protocolo de rampa na entrada do estudo e outro teste após 12 semanas. Resultados: Em teste de exercício submáximo 12 semanas após randomização, o consumo de oxigênio (VO2) no limiar anaeróbio aumentou 17% (± 3) no grupo intervenção enquanto reduziu 16% (± 3) no grupo controle, de modo que após 12 semanas de exercício ajustado através da análise de covariância pelo o VO2 no limiar na linha de base, idade gestacional e idade materna foi de 2,68ml/kg/min (IC 95% 1,32-4,03) maior, P = 0,002. Conclusão: Exercício aeróbio realizado em gestantes com sobrepeso produz um aumento no limiar anaeróbio, sobrepondo os efeitos negativos da gestação sobre o condicionamento cardiorrespiratório em mulheres com estilo de vida sedentário.

Teste de rastreamento de distúrbios articulatórios de fala em crianças de 1ª série do ensino fundamental público

Resumo não disponível.

Projeto mecânico do mecanismo de aplicação de carga do sistema de deslocamento longitudinal e vertical de um simulador de teste acelerado de pavimentos rodoviários

O presente trabalho trata do desenvolvimento do projeto mecânico do mecanismo de aplicação de carga do sistema de deslocamento longitudinal do Simulador de Tráfego UFRGS DAERlRS. Esta é uma máquina utilizada para executar teste acelerado em pavimentos rodoviários. O sistema mecânico que executa o deslocamento longitudinal é composto de um chassi tipo carro que se movimenta de forma alternada dentro de uma estrutura metálica ao longo de 12 metros. Neste sistema mecânico deverá estar acop1ado um par de pneus para fazer a aplicação da carga por rolamento sobre a pista que estará sendo testada pelo simulador de tráfego. A cada ciclo completo um atuador hidráulico fará o respectivo carregamento sobre o garfo que guia os pneus, num único sentido, ou seja, no retomo o atuador suspende este mesmo garfo garantindo que não haja contato com a pista. A magnitude da carga aplicada deverá ser mantida constante e devidamente monitorada no decorrer dos ensaios. Para isso, conta-se com a imp1ementação de elementos elásticos e células de carga no conjunto. Para o desenvolvimento deste estudo foi empregada uma metodologia para o processo de projeto que se desdobra em quatro fases principais: Projeto Informacional, Projeto Conceitual, Projeto Preliminar e Projeto Detalhado. Tem-se como resultado deste 1rabalho o projeto mecânico do mecanismo de aplicação de carga do Simulador de Tráfego UFRGS-DAERlRS que poderá ser facilmente fabricado e imp1ementado no equipamento existente. O projeto foi elaborado considerando os itens montagem, manutenção e operação, o que resultará em aumento da sua performance durante sua utilização.

Efeitos de antidepresivos ou do nado forçado sobre parâmetros gabaérgicos e de glicose em ratos não diabéticos por estreptozotocina

Pacientes diabéticos apresentam maior risco de depressão e o tratamento com antidepressivos melhora o controle glicêmico. O envolvimento do GABA na etiologia da depressão tem sido estudado e, coincidentemente, esse neurotransmissor está diminuído no pâncreas de ratos diabéticos induzidos por estreptozotocina . Assim sendo, o objetivo foi estudar o efeito de antidepressivos sobre a glicemia e a insulinemia de ratos diabéticos por estreptozotocina, bem como as alterações centrais de glicose, pelo emprego de um agente GABAérgico. Avaliou-se também a concentração do GABA no teste do nado forçado. Ratos Wistar, não diabéticos e diabéticos por estreptozotocina, foram tratados com imipramina, moclobemina, fluoxetina, sertralina e clonazepam. Após mensurada a glicemia de jejum se administrou sobrecarga de glicose, com coletas de sangue a cada 30 min. Dentre os antidepressivos testados, fluoxetina e moclobemida aumentaram a glicemia pós-prandial, enquanto sertralina reduziu tanto a glicemia de jejum quanto a pós-prandial. A coleta de sangue de animais não diabéticos aos 60 min revelou que a redução da glicemia pela sertralina foi acompanhada de aumento significativo dos níveis de insulina após a sobrecarga de glicose. As alterações de glicose central pelo emprego de clonazepam, um agente GABAérgico com propriedades antidepressivas, bem como as alterações na concentração do GABA no estriado de ratos submetidos ao teste da natação forçada eram avaliados in vivo por técnica de microdiálise. Previamente ao dia de experimentação era realizada cirurgia estereotáxica para implantação de cânula-guia no núcleo estriado dos ratos. As alterações in vivo da glicose eram observadas em todos os animais na caixa de livre movimentação, ao passo que os níveis extracelulares de GABA eram determinados no estriado de ratos durante e após o teste do nado forçado. Clonazepam não alterou a glicemia de jejum ou pós-prandial de ratos diabéticos e não diabéticos, porém aumentou a concentração de glicose extracelular no estriado desses animais. Quando submetidos ao teste da natação forçada, os ratos diabéticos apresentaram maior tempo de imobilidade e retardo no incremento da concentração do GABA no estriado. Os resultados mostram que nesse modelo animal de diabete há interferência de agentes GABAérgicos sobre a glicose estriatal, bem como deficiência do sistema GABAérgico, sugerindo o envolvimento desse sistema com as alterações de humor que acompanham o diabete.

Microinfiltração cervical imediata de dois sistemas adesivos em restaurações ocluso-proximais de resina composta em molares decíduos : estudo in vitro

O objetivo deste estudo foi de avaliar in vitro a microinfiltração cervical imediata em restaurações ocluso-proximais de resina composta, onde foram utilizados dois sistemas adesivos (Scotchbond Multi Purpose - 3M; Clearfil Mega Bond - Kuraray) através de uma técnica de baixa intensidade de luz polimerizável. Em cada um dos 11 molares decíduos foram confeccionados dois preparos cavitários ocluso-proximais padronizados (um ocluso-mesial e outro ocluso-distal), com o auxílio de uma ponta diamantada cilíndrica de extremidade plana n°2094, (KG Sorensen), fixada a uma caneta de alta rotação sob refrigeração ar/água. Os sistemas adesivos foram aplicados seguindo as instruções do fabricante, um na cavidade ocluso-mesial e outro na ocluso distal, sendo inserida, posteriormente, uma resina composta híbrida (Z250 - 3M) pela técnica incremental LUTZ (1986). O primeiro incremento foi inserido na parede cervical da caixa proximal (sentido horizontal) e fotopolimerizado (fotopolimerizador VIPTM - Bisco) a uma intensidade de 100 mW/cm2 por 60 segundos. Dois outros incrementos foram inseridos diagonalmente na porção vestibular e lingual/palatina, a uma intensidade de 200 mW/cm2, também pelo tempo de 60 segundos. As restaurações foram submetidas a acabamento e polimento com o auxílio de um bisturi lâmina n°12 e com discos Sof-lex Pop-on (3M). Após o acabamento, foi realizada a impermeabilização, em seguida os dentes foram imersos em solução azul de metileno a 0,5% por um período de 24 horas, sendo posteriormente seccionados longitudinalmente no sentido mésio-distal para avaliação da penetração do corante, usando para tal o estereo-microscópio. Os resultados foram submetidos à análise estatística através dos testes Qui-quadrado e o teste não-paramétrico U de Mann-Whitney. Os resultados demonstraram não haver diferença estatisticamente significante entre os dois sistemas adesivos testados, podendo-se concluir que a utilização deste protocolo restaurador de cavidades ocluso-proximais com resina composta em molares decíduos resultou em baixos níveis de microinfiltração cervical imediata.

Monitoramento do impacto de dejetos industriais em amostras de água do Rio Caí através do teste SMART em Dorsophila melanogaster

O presente estudo teve como objetivos (i) avaliar a validade do emprego do teste SMART, em Drosophila melanogaster, como indicador da contaminação de amostras de água superficial associada a misturas complexas, (ii) detectar a atividade tóxico-genética de dejetos industriais, lançados no rio Caí, empregando o cruzamento aprimorado. Dentro desta perspectiva, pretendeu também (iii) comparar os dados obtidos para as amostras sob influência de despejos industriais com aqueles previamente observados para amostras sob influência de dejetos de origem urbana, provenientes das cidades de Montenegro e São Sebastião do Caí (Silva., 1999). Na tentativa de avaliar a genotoxicidade, associada ao curso final do rio Caí, foram selecionados os seguintes pontos de coleta de despejos industriais: Km 18,6 - situado na foz do arroio Bom Jardim, próximo à área de disposição do efluente final líquido e da drenagem das áreas de disposição dos resíduos sólidos do complexo industrial – e Km 13,6 - no canal da bacia de acumulação e segurança 7 do pólo industrial Neste ensaio genético, cada amostra industrial foi administrada às larvas de terceiro estágio em duas diluições (25% e 50%), bem como na sua forma crua (100%) - sendo avaliados um total de 40 indivíduos por amostra por concentração, totalizando a análise de 11.712.000 células por amostra. Foram utilizados dois controles negativos, o controle de campo – representado pela nascente de um riacho localizada em uma área conservada com fraca ação antrópica e próxima aos pontos do rio – assim como o diluente água destilada. Uma vez que as freqüências das diferentes categorias de manchas não foram significantemente superiores àquelas observadas nos controles negativos (água destilada), os pontos Km 18,6 e Km 13,6 foram caracterizados como destituídos de ação genotóxica nos três meses de coleta : março, junho e setembro. Estes achados sugerem que, nas condições experimentais empregadas, os dejetos de origem industrial não foram capazes de induzir lesões do tipo mutação gênica, cromossômica, assim como eventos relacionados com recombinação mitótica. Por outro lado, a comparação dos dados obtidos no presente estudo com os observados por Silva (1999) para dejetos urbanos, revelou a validade do emprego do teste SMART como uma ferramenta para detecção de contaminação ambiental. De fato, as amostras urbanas referentes aos meses de março (Km 52, 78 e 80) e setembro (Km 52) – coletadas concomitantemente com as de origem industrial – foram diagnosticadas como indutoras de aneuploidias e/ou de grandes deleções cromossômicas. As potências genotóxicas médias estimadas mostraram que o Km 80 foi o local com o maior grau de genotoxicidade – seguido pelos Km 78 e 52 – que apresentaram potências semelhantes Considerando os resultados obtidos, em cinco pontos situados ao longo do curso final do rio Caí, conclui-se que os prejuízos causados pelos dejetos urbanos podem ser tão ou mais nocivos que os impostos pelos de origem industrial – especialmente em função de seu grande volume de lançamento.

Identificação das causas da não utilização do Sistema de Internet Banking da Caixa Econômica Federal em Porto Alegre

Os anos noventa representaram, para a sociedade brasileira, o início de uma era de mudanças contínuas. Na esfera econômica, as empresas passaram a ter um ambiente competitivo como nunca visto antes. Os bancos têm investido, desde então, recursos vultosos em sistemas de informação. A popularização da Internet para as empresas e o cidadão comum, ocorrida também neste período, criou um novo ambiente competitivo de marketing, levando os bancos a investirem pesadamente neste novo canal de distribuição. A Caixa Econômica Federal, um dos maiores bancos brasileiros, fez elevados investimentos na área de Internet, permitindo a seus clientes realizarem a maioria de suas operações domésticas a partir de qualquer computador. Apesar de ser uma forma rápida e barata de resolver os problemas de serviços bancários, muitos clientes não o utilizam, e, entre os que utilizam, muitos não o fazem com freqüência. Para entender melhor este problema, foi realizado uma pesquisa de cunho exploratório para analisar o comportamento dos usuários de Internet Banking da Caixa Econômica Federal, identificando quais atributos podem ser utilizados pela empresa para aumentar a utilização deste tipo de serviço. Este trabalho foi realizado com clientes de três agências de Porto Alegre (São João, Mont Serrat e Shopping Iguatemi), ao longo de 2.001. As principais conclusões deste trabalho são de que, para aumentar o acesso é necessário resolver dois problemas: primeiro, é necessário maior estímulo da mídia para persuadir os clientes a se habituarem com o novo sistema. Segundo, é necessário treinar os clientes, para que tenham mais facilidade no uso da Internet, ainda complicada para muitos.

Uma Técnica de depuração e teste de circuitos integrados usando um microscópio eletrônico

O trabalho tem por objetivo mostrar uma técnica de depuração de circuitos integrados VLSI, utilizando um microscópio eletrônico de varredura (MEV) aliado ao fenômeno de contraste por tensão. São abordadas a descrição da ferramenta, técnicas de observação e depuração dos circuitos, bem como, são sugeridas estratégias de concepção visando facilitar a depuração dos circuitos. Embora tenham sido utilizados circuitos NMOS para realizar as experiências, a técnica é aplicável a circuitos MOS em geral. Resultados experimentais, utilizando circuitos projetados no PGCC, são apresentados.

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.

Relação entre resistência dos músculos ventilatórios e resistência geral em indivíduos com doença pulmonar obstrutiva crônica

O desempenho do sistema músculo esquelético pode ser afetado por muitos fatores durante o exercício. Em indivíduos saudáveis, o sistema muscular é o principal fator limitante da atividade aeróbia. O desempenho físico durante o exercício em pacientes com Doença Pulmonar Obstrutiva Crônica (DPOC) pode estar limitado por fatores como fraqueza dos músculos ventilatórios, alteração da mecânica da caixa torácica e também pelo metabolismo anaeróbio. O objetivo do estudo foi avaliar se existe correlação entre a resistência muscular ventilatória com a capacidade ao exercício em indivíduos com DPOC. Para determinar a capacidade de resistir trabalho da musculatura ventilatória, realizamos o teste incremental destes músculos proposto por Martyn e col. A capacidade ao exercício foi determinada pelo teste da caminhada de seis minutos. Foram avaliados onze indivíduos com diagnóstico clínico de DPOC (VEF1 1.01+/-0.52 L / idade 67+/-12anos). A distância percorrida no teste de caminha em metros se correlacionou positivamente com resistência ventilatória, expressa em peso (r=0.72) e com VEF1 (r=0.75). Com base nestes resultados conclui-se que a capacidade ao exercício em indivíduos com DPOC correlaciona-se com resistência da musculatura ventilatória.

Análise ergonômica de postos de trabalho de Caixa de Banco : comparação de dois modelos do Banrisul S.A.

Este trabalho aborda uma intervenção ergonômica baseada em princípios da macroergonomia, de caráter participativo, realizada nos postos de trabalho dos caixas do Banco do Estado do Rio Grande do Sul S. A. - Banrisul. A demanda deveu-se à alta incidência de patologias ocupacionais, LERlDORT (Lesões por Esforços Repetitivos /Doenças Osteomusculares relacionadas ao Trabalho), em escriturários do banco (caixas). Utilizando os mesmos instrumentos de pesquisa, foi avaliado o grau de satisfação dos empregados em relação à organização do trabalho, saúde, ambiente laboral e mobiliário, antes e após a intervenção realizada nos setores de caixa. Os resultados demonstraram que a metodologia Análise Macroergonômica do Trabalho (AMT) utilizada foi adequada, pois inova ao identificar e quantificar também fatores subjetivos que, muitas vezes, permanecem restritos aos próprios trabalhadores, pois provêm de suas vivências e experiências pessoais ou de grupo.