Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Efeitos de dois modelos experimentais de dietas hipercalóricas sobre parâmetros comportamentais e biológicos em ratos da linhagem Wistar

O objetivo deste estudo foi investigar os efeitos de dois modelos experimentais de dietas hipercalóricas em comportamentos de ansiedade, processos de aprendizagem e memória e alterações metabólicas. Os animais foram divididos em seis grupos experimentais, de acordo com a condição nutricional. 1) Controle (C); 2) Dieta de Cafeteria (DC); 3) Dieta Hiperlipídica (DH); 4) Controle AIN-93 (C/AIN-93); 5) Dieta de Cafeteria AIN-93 (DC/AIN-93), e 6) Dieta Hiperlipídica AIN-93 (DH/AIN-93). Posteriormente, os grupos foram subdivididos em dois grupos independentes, conforme a tarefa à qual foram submetidos. Pesagens foram realizadas semanalmente até os 98 dias de vida; foram verificados os pesos do fígado, do coração e o peso de tecido adiposo retroperitoneal e epididimal e foram realizadas dosagens de glicose, triglicérides, TGO e TGP no soro e gordura total, colesterol total e triglicérides no fígado. Os testes utilizados: Labirinto em T Elevado (LTE), Caixa Claro/Escuro e Labirinto Aquático de Morris (LAM). Os resultados de peso corporal, os dados comportamentais do LAM, do LTE e os dados de peso dos tecidos extraídos no dia do sacrifício e as análises bioquímicas foram submetidos a uma Análise de Variância (ANOVA). Quando apropriado, foi utilizado o teste de comparações múltiplas de Newman-Keuls (p< 0,05). Os dados comportamentais do teste claro/escuro foram submetidos ao teste t-Student (p< 0,05). Animais tratados com dieta hiperlipídica apresentaram maiores medidas de peso e ganho de peso comparados aos animais controle e dieta de cafeteria, tratados com pellet e com dieta AIN-93. Animais DH1, DC1, DH1 AIN-93, DH2 AIN-93 e DH2 apresentaram maior peso no dia do sacrifício. Animais DH1, DH1 AIN-93, DH2 e DH2 AIN-93 apresentaram maior acúmulo dos tecidos adiposos retroperitoneal e epididimal. Animais DH1 AIN-93 e DC2 AIN-93 apresentaram maiores níveis de glicose. Animais C2, DH2 e DC2 apresentaram maiores níveis de triglicérides. Animais DH1 e C1 apresentaram menores valores de TGO. Animais C2 e C2 AIN-93 apresentaram maiores níveis de TGO. Animais C1, DH1, C2 e DH2 apresentaram maiores níveis de TGP. Animais DH1 AIN-93, DH1, DH2 e DH2 AIN-93 apresentaram maiores valores de gordura total no fígado. Animais DH1 AIN-93 e DH2 apresentaram maiores níveis de colesterol no fígado. Animais DH1, DC1, DH2 e DH2 AIN-93 apresentaram maiores níveis de triglicérides no fígado. Com relação ao consumo alimentar, animais DH apresentaram maior consumo calórico e maior consumo lipídico quando comparados aos animais C e DC, com ração em pellet ou dieta AIN-93. Com relação ao LTE, não foram verificadas diferenças nas esquivas e na fuga. Animais DC1, DH1 e DH1 AIN-93 apresentaram menores níveis de ansiedade verificados a partir dos dados do teste da caixa claro-escuro. Animais DC2 AIN-93 apresentaram pior desempenho em tarefa de memória. Os dados obtidos a partir deste estudo demonstraram que as dietas utilizadas foram capazes de acarretar ganho de peso, acúmulo de tecido adiposo, alterações metabólicas, diminuição da ansiedade nos animais e pior desempenho em uma tarefa de memória em um dos grupos nutricionais.

Avaliação do reconhecimento de melodias tradicionais em crianças normo-ouvintes

A contribuição da música no campo das ciências humanas vem sendo valorizado pelas ciências da saúde nas últimas décadas, favorecendo relações entre a Fonoaudiologia e a Musicoterapia. A avaliação da percepção musical busca compreender princípios básicos como a discriminação de timbres, melodias, ritmos, intensidade, altura, duração das notas, densidade, entre outros, além de conhecimentos inerentes em relação a audição, bem como as experiências musicais no decorrer da vida. O objetivo deste estudo foi elaborar um teste informatizado de avaliação do reconhecimento de melodias tradicionais brasileiras e verificar o desempenho de crianças com audição normal neste instrumento. Foi realizada a elaboração de um teste, denominado Avaliação do Reconhecimento de Melodias Tradicionais em Crianças normo-ouvintes (ARMTC), em formato de website, composto por 15 melodias tradicionais da cultura brasileira, gravadas com timbre sintetizado de piano, padronizadas com andamentos variáveis, intensidades similares, tonalidade de acordo com a partitura utilizada, reprodução de 12 segundos cada melodia e pausas de quatro segundos entre cada melodia. A casuística foi composta por 155 crianças, com faixa etária entre oito e 11 anos, de ambos os sexos, com limiares auditivos nas frequências de 500 Hz a 4000 Hz dentro dos padrões de normalidade e curva timpanométrica tipo A. Todas as crianças foram submetidas à triagem audiológica (frequências de 500 Hz, 1 KHz, 2 KHz e 4 KHz), Timpanometria e ao ARMTC. O ARMTC foi aplicado em campo livre com intensidade de 65 dBNA, com caixa de som posicionada a 0o azimute, à uma distância de um metro do participante que se manteve sentado. As crianças foram instruídas a clicar na tela do notebook no ícone correspondente ao nome e ilustração da melodia a qual ouviram e prosseguir dessa forma até o término das 15 melodias apresentadas. Na maioria das melodias selecionadas não houve diferença significante entre número de erros/acertos e tempo de reação quando estas variáveis foram correlacionadas ao sexo, idade e local em que o teste foi aplicado. As melodias mais reconhecidas foram: Cai, cai balão, Boi da cara preta, que teve igual score a Caranguejo, Escravos de Jó, O cravo, Parabéns a você e Marcha soldado, as quais obtiveram reconhecimento superior à 70% de acertos e a melodia com menor reconhecimento foi Capelinha de melão.