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 da apomorfina e de um produto derivado de sua autoxidação em diferentes modelos biológicos

Apomorfina é um potente agonista dopaminérgico D1/D2, utilizada no tratamento da Doença de Parkinson. Em maio de 2001, apomorfina HCl foi aprovada para utilização no tratamento da disfunção erétil, aumentando o número de usuários potenciais deste fármaco. Estudos sugerem que apomorfina e outros agonistas dopaminérgicos podem induzir neurotoxicidade mediada por seus derivados de oxidação semiquinonas e quinonas, os quais levam à formação de espécies reativas de oxigênio. Os objetivos do presente estudo foram de avaliar os possíveis efeitos genotóxicos, antimutagênicos, citotóxicos de apomorfina (APO) e de um produto derivado de sua oxidação, 8-oxo-apomorfina-semiquinona (8-OASQ), utilizando o teste Salmonella/microssoma, Mutoxiteste WP2, ensaio Cometa e teste de sensibilidade em Saccharomyces cerevisiae. Em adição, foram avaliados os efeitos de APO e 8-OASQ sobre a memória e o comportamento em ratos (tarefa de esquiva inibitória, comportamento e habituação ao campo aberto) e o comportamento estereotipado em camundongos. Ambos compostos induziram mutações por erro no quadro de leitura em linhagens de S. typhimurium TA97 e TA98, sendo que 8-OASQ foi cerca de duas vezes mais mutagênico que APO, na ausência de S9 mix. Para linhagens que detectam mutágenos oxidantes, 8-OASQ foi mutagênico, enquanto APO foi antimutagênico, inibindo a mutagenicidade induzida por H2O2 e t-BOOH em linhagens de S. typhimurium e derivadas WP2 de E. coli. O S9 mix inibiu todos os efeitos mutagênicos, provavelmente retardando a oxidação de APO ou devido à conjugação de APO e seus produtos de autoxidação, como 8-OASQ, a proteínas do S9. Em testes de sensibilidade com S. cerevisiae, APO foi citotóxica para algumas linhagens apenas nas doses mais altas. Para 8-OASQ este efeito foi dose-depende para todas as linhagens, sendo que as mutantes deficientes em catalase (ctt1), superóxido dismutase (sod1) e yap1 foram as mais sensíveis. APO protegeu as linhagens de S. cerevisiae contra danos oxidativos induzidos por concentrações altas de H2O2 e t-BOOH, enquanto que 8-OASQ aumentou os efeitos pró-oxidantes e induziu respostas adaptativas para aqueles agentes. APO e 8-OASQ induziram efeitos de prejuízo na memória de curta e de longa duração em uma tarefa de esquiva inibitória em ratos. APO, mas não 8-OASQ, prejudicou a habituação a um novo ambiente de forma dose-dependente. Os efeitos de prejuízo de memória não foram atribuídos à redução da nocicepção ou outra alteração inespecífica de comportamento, visto que nem APO e nem 8-OASQ afetaram a reatividade ao choque nas patas e comportamento durante a exploração ao campo aberto. Os resultados sugerem, portanto, que os produtos de oxidação de dopamina ou de agonistas dopaminérgicos podem induzir deficiências cognitivas.APO, mas não 8-OASQ, induziu comportamento estereotipado em camundongos machos CF-1. A falta da indução deste comportamento por 8-OASQ sugere que a autoxidação de APO causa a perda na sua habilidade de ligar-se a receptores dopaminérgicos. Pelo ensaio Cometa, 8-OASQ provocou danos ao DNA do tecido cerebral de camundongos sacrificados 1 h e 3 h, mas não 24 h após sua administração, enquanto que APO induziu um fraco aumento da freqüência de dano ao DNA 3 h após o tratamento. Esses resultados sugerem que ambos APO e 8-OASQ desempenham uma atividade genotóxica no tecido cerebral.

O teste do hidrogênio expirado no diagnóstico da má absorção de doses fisiológicas de lactose em alunos de escolas públicas de Porto Alegre

Objetivo: Determinar a prevalência de má absorção de lactose e sua associação com a cor da pele e a idade em crianças e adolescentes de escolas públicas do município de Porto Alegre. Material e Métodos: Foi realizado um estudo transversal que incluiu 225 indivíduos de 8 a 18 anos, freqüentadores de escolas públicas do município de Porto Alegre. Os participantes foram classificados segundo a cor e a faixa etária. A má absorção de lactose foi diagnosticada através do teste do hidrogênio expirado após ingestão de 250 ml de leite. O teste teve duração de 3 horas e foi considerado como critério de positividade o aumento ≥ 20 partes por milhão na concentração de hidrogênio em relação ao nível basal. Resultados: Foram estudados 225 alunos, com uma média e desvio padrão de idade de 12,2 ± 2,0 anos. Cento e cinqüenta e quatro alunos eram de cor branca (68,4%) e os restantes, de cor não-branca (preta ou parda). A má absorção de lactose foi evidenciada em 19/225 casos (8,4%). Foram diagnosticados 8/154 casos (5,2%) nos alunos de cor branca e 11/71 casos (15,5%) nos alunos de cor não-branca (p = 0,02). Em relação à faixa etária, ocorreram 15/143 casos (10,5%) nos alunos entre 8 e 12 anos e 4/82 casos (4,9%) entre 13 e 18 anos (p = 0,227). Conclusões: A prevalência de má absorção de lactose encontrada em alunos de escolas pú-blicas de Porto Alegre é alta, especialmente se considerarmos que foram utilizadas doses fi-siológicas (250 ml de leite) para o diagnóstico. As taxas de má absorção foram maiores entre as crianças de cor não-branca em relação às crianças de cor branca, confirmando a influência racial na hipolactasia primária do tipo adulto.

Avaliação da genotoxicidade induzida por emissões de veículos automotores - Ctenomys minutus como organismo bioindicador

Existe um número crescente de componentes químicos lançados ao meio ambiente, muitos dos quais são capazes de induzir efeitos danosos adversos à saúde de animais e humanos, representando uma causa importante de preocupação por seus possíveis efeitos a longo prazo. O impacto ecológico e os riscos a saúde dos organismos associados com a exposição a poluentes ambientais são extremamente difíceis de se avaliar devido a muitos desses componentes serem parte de misturas complexas. Os gases produzidos pelos motores dos veículos à combustão contém diversos poluentes sabidamente genotóxicos, como óxidos de nitrogênio (NOX), monóxido de carbono (CO), óxidos de enxofre (SOx), hidrocarbonetos (HC) e seus derivados, bem como particulados, e metais (cádmio, cromo, cobre, níquel, vanádio, zinco e chumbo). Todos esses compostos isolados ou associados a outros elementos são tóxicos ou de efeito danoso aos organismos, de forma não totalmente esclarecida. Este estudo teve como objetivo verificar o possível efeito genotóxico das emissões dos automóveis em roedor nativo Ctenomys minutus cronicamente exposto, através do Ensaio Cometa (EC), comparando os resultados com o Teste de Micronúcleos (MN), ambos em sangue periférico. Levando em consideração alguns fatores que pudessem influenciar os resultados dos testes de genotoxicidade, este trabalho ainda teve como objetivos: identificar a presença de alguns agentes envolvidos na poluição gerada pelos veículos; verificar possíveis diferenças sazonais, como temperatura e ventos; e se existe influência da idade e sexo dos roedores. Os C. minutus (Octodontidae-Rodentia), foram capturados em dois campos diferentes, ambos ao lado da estrada RS/030, na cidade de Osório, Estado do Rio Grande do Sul (RS): (a) Amaral, e (b) Weber. Animais para controle externo foram capturados no Campo Maribo à cerca de 3 km de distância de outra estrada (RS/389-Osório/RS), conseqüentemente afastada das emissões dos veículos. No final do período desse estudo, foram capturados 123 animais (73 fêmeas e 50 machos).