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.

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.

Análise de campos profundos da LMC imageados com o HST

Apresentamos fotometria profunda (V ~ 25,5) nas bandas V e I obtidas com a Wide Field and Planetary Camera 2 a bordo do telesc opio espacial Hubble para 7 campos distantes ~5º do centro da Grande Nuvem de Magalhães. Ajustamos isócronas aos diagramas cor-magnitude a fim de identficar diferentes populaões estelares nestes campos. Uma população velha (τ > 10¹º anos) foi encontrada em todos os campos. Alguns eventos de elevada formação estelar, com idades entre 2 x 109 e 4 x 109 anos, foram também encontrados em alguns campos localizados na região N/NO. Funções de luminosidade de estrelas de baixa massa (m ≤ 1; 1msol) foram obtidas para todos os campos. Aparentemente não há diferenças na mistura de populações entre os campos como sugerido através do teste Kolmogorov-Smirnov aplicados as funções de luminosidade. Finalmente, derivamos perfis de densidade para estrelas velhas e de idade intermediária. O primeiro apresenta uma inclinação levemente maior quando comparado com o último.

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.

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.

Influência de diferentes calçados sobre os percentuais da força peso aplicados na base de sustentação e a postura corporal em pé

Muitos estudos sobre a postura corporal têm sido feitos em diferentes faixas etárias, buscando verificar a influência de diferentes fatores sobre o posicionamento dos segmentos corporais na manutenção da postura em pé (Zatsiorsky e Duarte, 1999; Fialho e cols., 2001; Lima e cols., 2001; Mochizuki e cols., 2001; Wiczorek e cols., 2001). Nessas investigações os indivíduos são avaliados principalmente com pés descalços. Entretanto, sobre o uso do calçado, acessório indispensável ao ser humano na execução da maioria das atividades de vida diária, há poucas investigações. Diante disso, o objetivo deste estudo foi verificar se há influências de seis modelos de calçado com diferentes altura de salto (-0,9cm, 0,7cm, 5,0cm, 5,6cm, 7,5cm e 9,0cm) sobre os percentuais da força peso aplicados na base de sustentação e a postura corporal em pé de mulheres voluntárias que não apresentavam lesões músculo–esqueléticas. A amostra foi composta por 11 indivíduos, com idade, altura e massa médios, respectivamente, de 23 (± 2,24) anos, 159,67 (± 3,14) cm e 52,42 (±4,37) Kg. Para analisar a influência dos seis modelos de calçado sobre os percentuais da força peso aplicados na base de sustentação, quantificou-se a componente vertical (Fz) da força de reação do solo (FRS) através de duas plataformas de força (AMTI); para a análise da postura em pé realizou-se um estudo cinemático (Sistema Peak Motus 32), com reconstrução tridimensional das variáveis espaciais Os calçados usados no estudo apresentavam três categorias de salto definidas de acordo com a altura do salto de cada modelo (calçado com salto negativo, sem salto e com salto positivo). Utilizou-se o teste ANOVA One Way para a análise estatística dos dados (p<0,05). Os resultados indicam diferenças estatisticamente significativas nos percentuais da Fz aplicados no retropé e no antepé dos avaliados durante a postura em pé com o uso de dois calçados com salto positivo de 5,6cm e de 9,0cm. Tais resultados demonstraram que houve uma diminuição do percentual da Fz aplicado no retropé e um aumento no antepé. No entanto, os percentuais aplicados sobre o antepé direito e esquerdo não foram maiores que 27% do peso corporal, em cada um dos pés, e não aumentaram proporcionalmente à altura do salto. Em relação à postura corporal em pé, o uso dos seis modelos de calçado não influenciou o posicionamento das curvaturas da coluna vertebral, da pelve (lado esquerdo), do quadril (lado direito) e do joelho dos sujeitos avaliados em curto período de tempo (aproximadamente 60 segundos). Todavia, encontraram-se resultados estatísticos significativos para o posicionamento da pelve (lado direito) com o uso do calçado de salto negativo (-0,9cm), no quadril (lado esquerdo) com o calçado de salto positivo de 7,5cm, e no tornozelo com o uso de três calçados com salto positivo (5,6cm, 7,5cm, 9cm). Não se observou um aumento da lordose lombar, nem da inclinação pélvica com o uso dos calçados com salto positivo, contrariando, assim, as idéias disseminadas a partir de observações clínicas que associam o uso de calçado com salto alto ao aumento da lordose lombar e ao posicionamento da pelve em anteversão. Ressalta-se que esses resultados foram encontrados para uma amostra jovem que não apresentava limitações na amplitude de movimento (ADM) do tornozelo.

Avaliação genotóxica pelo teste Salmonella/Microssoma e determinação de contaminantes químicos de amostras de água superficial da bacia do Guaíba

A avaliação do potencial genotóxico é um importante índice da ação do homem sobre os corpos d’água, complementando os critérios legalmente exigidos na avaliação da qualidade de águas. A bacia do Lago Guaíba é a mais importante do Rio Grande do Sul em termos sócio- econômicos, concentrando em suas margens mais da metade da população e 86% da produção do estado. Esse estudo avaliou o potencial mutagênico de amostras não concentradas das águas superficiais dos rios que compõem a bacia hidrográfica do Guaíba, e do próprio Lago Guaíba, pelo ensaio Salmonella/Microssoma. Paralelamente foi analisada a presença de hidrocarbonetos aromáticos policíclicos (criseno e benzo[a]pireno), de pesticidas (pentaclorofenol, organofosforados e carbamatos), e de elementos inorgânicos, buscando uma possível correlação desses com os efeitos mutagênicos encontrados. As amostras apresentaram fraca atividade mutagênica, sendo detectado um único resultado positivo frente a linhagem TA98, na presença de ativação metabólica em águas coletadas no lago Guaíba próximo a um local de liberação de efluente urbano Foram ainda observados cinco indícios de mutagenicidade, indicando a provável presença de compostos de ação indireta sobre o DNA, que causam mutações do tipo substituição nos pares de bases (detectado pela TA100). Os efeitos tóxicos encontrados foram igualmente pouco intensos, podendo estarem relacionados à presença de elementos inorgânicos detectados acima dos limites permitidos pela resolução número 20 do CONAMA. Além disso, observou-se influência sazonal sobre a resposta mutagênica das amostras de água da bacia do Lago Guaíba. Os resultados nos levam a concluir que os rios que formam a Bacia do Guaíba contribuem com uma parte muito pequena da atividade genotóxica das águas do Lago Guaíba, sendo o grande problema a contaminação por esgoto urbano.