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.

Os valores pessoais na decisão pela escola dos filhos

O presente trabalho busca demonstrar quais os valores que mais influenciam os pais, na escolha da escola de ensino médio para os filhos. Tais valores, não apontam apenas para as escolas particulares, mas se referem a toda e qualquer escola da rede educacional urbana. Por se tratar de serviços, implica também em marketing. Por isso, busca-se trazer à tona, a necessidade da adoção de pesquisa em marketing pelas escolas, como instituto hábil à garantia da clientela. Nesse contexto, apresenta-se os pais dos alunos como decisores dos serviços educacionais, já que são eles que fazem as opções, bem como, os processos pelos quais eles passam antes de se decidirem pela escola. Outro aspecto abordado relaciona-se ao conhecimento do cliente pela empresa prestadora de serviço, de modo a caracterizar a forma pela qual ela deve se posicionar em relação a esse cliente. Uma pesquisa de campo relacionada ao tema foi desenvolvida, envolvendo 400 famílias da cidade de Curitiba, utilizando-se um teste de valores formulado por ROKEACH, e que contribuiu para fazer uma distinção entre as teorias existentes e a subjetividade do consumidor, oportunizando assim, o conhecimento dos valores potencialmente capazes de levar à opção da escola. Por fim, faz-se uma análise estatística das questões levantadas, procurando dar uma visão ampla e clara dos aspectos relacionados aos motivos que induzem os pais à escolha da escola de ensino médio para os filhos.

Desempenho de ações da Bolsa de Valores de São Paulo e sua relação com o índice preço-lucro

O trabalho procura analizar a rentabilidade das ações da Bolsa de valores de São Paulo de junho de 81 a maio de 88. As carteiras estudadas foram construidas com base no índice preço-lucro e tmabém com base nos valores de mercado dos ativos analisados.O desempenho das carteiras foi avaliado pelos classicos índices de Sharpe, Jensen e Treynor.A hipótese de mercado eficiente consistente com o CAPM foi testada pelo teste multivariado de Hotelling

Estabelecimento de escores histopatológicos de lesão hepática e determinação dos valores normais das enzimas aspartato aminotrasferase e creatina quinase em frangos de corte.

A aflatoxicose é uma doença causada pela ingestão de aflatoxinas, as quais constituem um grupo de metabólitos altamente tóxicos e carcinogênicos, produzidos principalmente pelos fungos Aspergillus flavus e Aspergillus parasiticus. O mecanismo de ação das micotoxinas na célula animal ocorre na maioria das vezes, através de alterações dos processos metabólicos básicos e de alterações da função mitocondrial, da síntese protéica e de ácidos nucléicos, sendo este último um dos principais sítios de ação das aflatoxinas. A aflatoxicose pode se apresentar de duas formas. A forma aguda se caracteriza por desordem hepática, hemorragias e alta mortalidade; e a crônica, pela queda na produção, penas arrepiadas, paralisia imunossupressão e diarréia. Foram estudados 18 lotes de frangos de corte com 28 dias de idade, provenientes de seis produtores de nível bom produtivo, seis de nível médio e seis produtores de baixo nível de produção; totalizando 180 aves. As aves foram pesadas e sacrificadas, sendo coletadas amostras de fígados e de soros. Os fígados foram fixados em formalina a 10%, para análise histopatológica e congelados a -20°C para teste de ELISA. Das amostras de soro foram realizados testes de dosagem enzimática de aspartato aminotransferase (AST) e creatina quinase (CK) na tentativa de confirmar a lesão hepática. Os cortes histológicos de fígado foram analisados e escores de lesão estabelecidos para necrose e vacuolização dos hepatócitos, hiperplasia dos ductos biliares e infiltração periportal de células inflamatórias. Os escores de cada lesão foram comparados com os níveis de aflatoxina obtidos pelo teste de ELISA, com o peso das aves e com os valores de AST e CK. Além disso, foram comparados os níveis de aflatoxina com o peso dos frangos e com os valores enzimáticos. Por fim, estes valores de AST e CK foram relacionados com o peso dos frangos. Foi possível concluir que, nas condições estudadas, os escores de lesões hepáticas são inversamente proporcionais aos níveis de aflatoxina detectados nos fígados de frangos com 28 dias de idade. Observou-se também, que não há relação entre os valores de AST, em função dos níveis de lesão hepática e dos valores de aflatoxina detectados; e a dosagem de AST não se presta como teste preliminar para detecção de lesão hepática causada pela ingestão de aflatoxina em frangos de corte aos 28 dias de idade.

Qualidade de vida em idosos desenvolvimento e aplicação do módulo WHOQOL-OLD e teste do desempenho do instrumento WHOQOL-BREF em uma população idosa brasileira

Introdução: A presente dissertação de mestrado tem como foco a investigação de qualidade de vida em idosos. Não somente à expectativa de vida e à morbi-mortalidade, o interesse científico tem-se voltado a conferir qualidade aos anos de vida de uma população de idosos crescente em países desenvolvidos e em desenvolvimento. A definição do construto qualidade de vida não desfruta de consenso até o momento. Entretanto, é consensual que a população de idosos apresenta particularidades que, por conseguinte, se refletem na conceituação de qualidade de vida e na determinação de quais fatores contribuem para sua composição. Entretanto, diversos instrumentos utilizados em estudos de qualidade de vida em idosos não abrangem tais especificidades ou não apresentam propriedades psicométricas adequadamente testadas para esta população. Objetivos: Os objetivos principais desta dissertação são dois. Primeiramente, desenvolver a versão em português do módulo de aferição de qualidade de vida em idosos da Organização Mundial de Saúde WHOQOL-OLD e descrever suas propriedades psicométricas em uma amostra de idosos brasileiros. Em segundo lugar, realizar a testagem do desempenho psicométrico do instrumento genérico de avaliação de qualidade de vida WHOQOL-BREF, originalmente gerado em uma população de adultos não-idosos e crescentemente utilizado em investigações geriátricas. Método: 424 sujeitos com idade igual ou superior a 60 anos foram entrevistados, completando uma ficha de dados sócio-demográficos, os instrumentos WHOQOL-BREF, Inventário de Depressão de Beck (BDI), Escala de Desesperança de Beck (BHS) e o módulo WHOQOL-OLD. A uma subamostra de 51 sujeitos foi aplicado o Módulo WHOQOL-OLD após duas semanas. Resultados: A amostra foi constituída predominantemente de mulheres (64,2%), de sujeitos vivendo na comunidade (84,4%) e de sujeitos que se consideram saudáveis (67,5%). O Módulo WHOQOL-OLD é composto por seis facetas e 24 itens, gerando escores em cada uma das facetas e um escore geral (overall). Os coeficientes de Cronbach indicam que todas as facetas e o conjunto de itens apresentam fidedignidade satisfatória, variando de 0,710 (faceta autonomia) a 0,885 (overall). As seis facetas e o escore overall mostram-se capazes de discriminar os idosos com diferentes níveis de depressão, bem como os que se percebem saudáveis daqueles que se percebem doentes. A validade concorrente, aferida através da correlação dos escores com os de sintomatologia depressiva e de desesperança, apresenta significância estatística. A comparação das médias dos escores do teste e reteste não indica diferenças, atestando a estabilidade do instrumento. Em relação ao desempenho do instrumento WHOQOL-BREF, todos seus quatro domínios demonstraram-se capazes de discriminar níveis de sintomas depressivos e de desesperança, bem como diferentes percepções de estado de saúde. Os coeficientes de correlação entre os domínios e os escores do BDI e BHS apresentaram significância estatística. Os coeficientes de fidedignidade de Cronbach assumem valores que variam de 0,614 (domínio relações sociais) a 0,925(conjunto de 26 itens). Em relação à validade de critério, O domínio Relações Sociais não apresentou significância estatística no modelo proposto de regressão linear múltipla (p=0,061). Os domínios físico, psicológico e de meio-ambiente explicam 64,7% da variância do escore global, constituído por dois itens de qualidade de vida geral.Conclusão: O módulo WHOQOL-OLD representa uma ferramenta adicional aos questionários genéricos de qualidade de vida WHOQOL-100 ou WHOQOL-BREF como uma alternativa útil na investigação de qualidade de vida de idosos, abrangendo aspectos relevantes e não abordados nos instrumentos desenhados originalmente para populações não-idosas. A testagem do desempenho psicométrico do instrumento WHOQOL-BREF demonstrou que este apresenta consistência interna, validade concorrente, validade discriminante e validade de critério satisfatórias em uma amostra de idosos brasileiros. Seus itens foram analisados previamente em grupos focais, em relação ao conteúdo e fraseamento, tendo sido considerados pelos idosos como relevantes para a aferição de qualidade de vida e de fácil entendimento. Assim sendo, o WHOQOL-BREF apresenta características que o colocam como um instrumento genérico de aferição de qualidade de vida com adequado desempenho psicométrico testado em idosos.

Coesão e hierarquia em famílias com história de abuso físico

Esta tese trata sobre a estrutura e funcionamento de famílias com história de abuso físico através da análise da coesão e da hierarquia nestes microssistemas. Assim, examina o fenômeno da violência intrafamiliar, especificamente do abuso físico dos pais para com os filhos, através da Teoria Bioecológica do Desenvolvimento Humano, Teoria Estrutural Sistêmica Familiar e da Psicologia Positiva. Participaram deste estudo vinte famílias de nível sócio-econômico baixo e história de abuso físico intrafamiliar. O método utilizado foi a inserção ecológica, através da participação da equipe de pesquisa nos contextos nos quais as famílias participam (residência, hospital, escola e organização não-governamental). Foram aplicadas entrevistas semi-estruturadas e o Teste do Sistema Familiar –FAST. Esta tese está organizada em três estudos. O primeiro analisa o perfil destas famílias, levando-se em conta os dados bioecológicos (condições socioeconômicas e constituição familiar) e relacionais (indicadores de risco, de proteção, eventos, expectativas de futuro), e analisa o perfil da violência (membros envolvidos, motivos, severidade, freqüência e intensidade) O segundo analisa quantitativamente as representações dos membros familiares sobre a coesão e a hierarquia, obtidas através do FAST. O terceiro apresenta três casos, nos quais é aprofundado o estudo do fenômeno do abuso físico intrafamiliar, de forma qualitativa. Os resultados mostram a presença de indicadores de risco severos para o desenvolvimento saudável dos membros familiares e do sistema como um todo, como os relacionados aos papéis, à educação formal, patologias, práticas disciplinares e aos comportamentos agressivos. Os fatores de proteção, identificados na família, como a rede de apoio, o desejo de mudança e valorização das conquistas, não são suficientemente capazes para promover a resiliência e evitar a violência, tal é a sua severidade. As perspectivas divergentes entre os membros familiares sobre a coesão e a hierarquia também contribuem para isto. Os agressores não se reconhecem como tal e tendem a representar a família coesa, mesmo diante de situações conflituosas. Estes resultados foram confirmados nos estudos de casos, que demonstram também o papel da violência associado à necessidade do abusador em manter o controle sobre o sistema relacional, ao descontrole emocional individual, influenciando todo o sistema, e como interação, substituindo o afeto amoroso.

Qual índice de mercado utilizar? : um teste das aproximações da Carteira de Mercado Brasileira

Este trabalho analisa as propriedades de alguns índices em busca da melhor aproximação (proxy) para a carteira de mercado brasileira. Além dos usuais Ibovespa, IBrX, FGV-100, são considerados dois índices construídos segundo as diretrizes da Moderna Teoria de Carteiras, a saber, uma carteira ponderada pelo valor de mercado (PV) e uma carteira igualmente ponderada (PI). Em um primeiro teste é analisada a eficiência em média e variância e em um segundo avalia-se o potencial dos índices como fatores de risco sistemático. O estudo cobre o período de 1996 a 2009 e todas as ações negociadas na BOVESPA. Os resultados evidenciam a semelhança nas qualidades dos índices, não sendo possível destacar uma melhor aproximação. Ibovespa, IBrX e FGV-100 são aproximações razoáveis e podem ser utilizadas.

Teste de eficiência da magic formula de value investing para o mercado brasileiro de ações

O objetivo desse trabalho é realizar um procedimento de back-test da Magic Formula no IBX-100, a fim de reunir evidencias sobre a eficiência de tal metodologia no processo de seleção das melhores ações e formação de carteiras que superem o desempenho do IBX-100 no longo prazo. Desenvolvida por Joel Greenblatt, a Magic Formula é uma metodologia de formação de carteiras que consiste em escolher ações com altos ROICs e Earnings Yields, seguindo a filosofia de Value Investing. Diversas carteiras foram montadas no período de janeiro de 2000 a junho de 2015 utilizando diferentes combinações de número de ativos por carteira e períodos de permanência. Nem todas as carteiras apresentaram retornos superiores ao índice de mercado. Aparentemente, as carteiras com mais ações e períodos de permanência mais longos apresentam desempenho superior às carteiras menores e com rotatividade maior (períodos de permanência mais curtos). A carteira de 10 ações, com período de permanência de 1 ano, apresentou o maior CAGR dentre todas as outras (17,77%), superando o CAGR de 13,17% do IBX-100 no mesmo período. Esse resultado foi superior mesmo quando ajustado ao risco. Independentemente do período de permanência e número de ações, todas as carteiras apresentaram riscos sistemáticos menores do que o índice IBX-100 (todos os betas foram significativos e menores do que 1). Por outro lado, os alfas das carteiras foram muito baixos e, raramente, significativos, sugerindo que a gestão ativa de acordo com os critérios da Magic Formula não adiciona retornos substancialmente maiores do que o retorno relacionado à variações de mercado.

Teste do desenho da figura humana: validação e aferição do sistema de Wechsler à população portuguesa “madeirense”

O desenho da figura humana é um tipo de desenho realizado espontaneamente pelas crianças de diferentes culturas. Este pode ser encarado como medida não verbal da maturidade conceptual da criança. Ao longo dos tempos, na tentativa de construir um instrumento mais eficaz, vários autores desenvolveram diferentes sistemas de avaliação do Teste do Desenho da Figura Humana (TDFH). Assim, o objectivo desta investigação consiste na aferição e validação do TDFH à população portuguesa madeirense, utilizando o sistema de avaliação de Solange Wechsler (2003). Este teste propõe a aplicação de dois desenhos, uma figura masculina e outra feminina, que são cotados independentemente ao longo de 18 itens e 17 itens subdivididos respectivamente. Neste estudo participaram 489 sujeitos, 50,3% do sexo masculino e 49,7% do sexo feminino, com idades compreendidas entre os 5 e os 13 anos de idade da Região Autónoma da Madeira no ano lectivo 2009/2010. Os resultados mostram diferenças significativas na forma de desenhar a figura humana, entre os sexos, as faixas etárias e os anos escolares. Assim, as raparigas apresentam valores superiores aos dos rapazes; à medida que a idade avança os valores obtidos aumentam; e por fim à medida que as crianças progridem na escolaridade os resultados são superiores. Verificou-se ainda que alunos de escolas públicas apresentam resultados mais elevados do que os alunos de escolas privadas, sendo que alunos de escolas rurais expressam valores superiores aos das escolas urbanas. Os dados do TDFH apresentaram correlações positivas significativas com os das Matrizes Progressivas Coloridas de Raven, bem como com as classificações de Português e Matemática. Ao nível da consistência interna, o instrumento apresenta alphas de Cronbach entre os 0,80 e os 0,924, o que lhe confere fiabilidade. Globalmente, o TDFH apresenta bons valores de validade mostrando ser uma boa medida desenvolvimental e conceptual.

Adequação do teste de condutividade elétrica para determinar a qualidade fisiológica de sementes de jacarandá-da-bahia (Dalbergia nigra (Vell.) Fr.All. ex Benth.)

Para testar o efeito da temperatura e do tempo de embebição nos valores de condutividade elétrica e verificar sua aplicabilidade para determinar a qualidade fisiológica de sementes de Dalbergia nigra (jacarandá-da-bahia), foram utilizadas sementes colhidos em três anos (lote I _ 1998; lote II _ 1997 e lote III - 1994). Inicialmente determinou-se o teor de água e depois conduziu-se os testes de germinação em laboratório e viveiro, utilizando-se quatro repetições de 25 sementes. Para estudar a condutividade elétrica (CE) foram utilizadas quatro repetições de 50 sementes. Cada subamostra foi colocada em recipiente contendo 75ml de água deionizada, embebidas por 6, 12, 18, 24, 30 e 36 horas, a 20, 25 e 30ºC. Sementes do lote II apresentaram maiores valores na primeira contagem da germinação, diferindo significativamente dos demais lotes. O lote III apresentou qualidade inferior. Com o aumento do período e da temperatura de embebição ocorreu aumento nos valores de CE das sementes dos três lotes. O lote III mostrou qualidade fisiológica inferior a dos lotes I e II, que apresentaram valores mais elevados de CE. Não houve diferenciação entre os lotes I e II. Concluiu-se que o teste de CE foi eficiente para diferenciar os lotes de sementes de Dalbergia nigra, com alto grau de associação com o teste de germinação.

Diferenciação de lotes de sementes de jacarandá-da-bahia (Dalbergia nigra (Vell.) Fr.All. ex Benth.) pelo teste de germinação em laboratório e viveiro

O desempenho germinativo de sementes de Dalbergia nigra (jacarandá-da-bahia) foi avaliado em laboratório e viveiro, com o objetivo de verificar a eficiência do teste de germinação em laboratório em predizer o comportamento de lotes de sementes em condições de viveiro. Para tanto sementes pertencentes a três lotes (anos de colheita: lote I - 1998, lote II - 1997 e lote III - 1994) foram utilizados para determinar os dados biométricos, teor de água, germinação, índice de velocidade e primeira contagem da germinação e porcentagem de plântulas normais em laboratório e emergência, índice de velocidade de emergência e porcentagem de plântulas normais em viveiro. Sementes pertencentes ao lote III apresentaram qualidade inferior aos lotes I e II, tanto em laboratório como em viveiro. Os altos valores do coeficiente de correlação simples entre as características avaliadas nas duas condições, evidenciam a eficiência do teste de germinação em laboratório em predizer o desempenho germinativo de sementes de jacarandá-da-bahia em viveiro.

Teste de condutividade elétrica em sementes de Albizia hassleri (Chodat) burkart. fabaceae-mimosoideae

Este trabalho teve por objetivo verificar o uso do teste de condutividade elétrica para avaliar a qualidade fisiológica de sementes de Albizia hassleri (Chod) Burkart. provenientes de diferentes matrizes. O teste de condutividade elétrica foi realizado a 25 ºC, com cinco repetições de 20 sementes embebidas em 75 mL de água destilada por 2, 4, 6, 12, 24, 48, 72, 96 e 120 h. O teste de germinação foi conduzido a 25 ºC com cinco repetições de 20 sementes por 19 dias. Os dados foram submetidos à análise de variância e as médias de matrizes, comparadas pelo teste de Scott-Knott a 5% de probabilidade. Adicionalmente, procedeuse ao estudo de correlações entre os resultados de condutividade elétrica com os do teste de germinação e ao ajuste de regressões entre os valores de sementes com protrusão de radícula e de plântulas normais em função dos valores de condutividade elétrica, em cada período de embebição das sementes. Verificou-se grande variabilidade entre as matrizes, tanto no teste de germinação quanto no de condutividade elétrica. Os resultados de condutividade elétrica apontaram baixas estimativas de correlações com os obtidos no teste de germinação. As equações de regressão apresentaram baixos valores de coeficiente de determinação, denotando-se a grande variabilidade dos resultados. Pode-se concluir que o teste de condutividade elétrica não foi adequado para discriminação da qualidade fisiológica de sementes de A. hasslerii provenientes de diferentes árvores-matriz.

Temperatura e período de exposição de sementes de milho no teste de envelhecimento acelerado

O teste de envelhecimento acelerado (EA) apresenta possibilidades de uso nos programas de controle de qualidade de sementes de milho. Porém, para uso em rotina, há necessidade de padronização das condições de temperatura e período de exposição das sementes na realização do teste. Esta pesquisa teve por objetivo avaliar o efeito da combinação de duas temperaturas (42 e 45ºC) e dois períodos de envelhecimento (72 e 96h) nos resultados do teste de envelhecimento acelerado em sementes de milho. Para isso, sementes de seis genótipos de milho, tratadas e sem tratamento fungicida, com altos valores de germinação inicial, semelhantes entre si, dentro de cada genótipo, foram submetidas ao EA, de acordo com condições de temperatura e período de exposição pré-estabelecidos. Utilizou-se o delineamento experimental inteiramente casualizado com os tratamentos (lotes x germinação, antes e após o EA) dispostos em esquema fatorial, empregando-se o teste de Tukey a 5% de probabilidade na comparação das médias. Verificou-se que sementes de milho apresentam diferenças de sensibilidade ao envelhecimento acelerado, condicionadas pelo genótipo e tratamento fungicida. Contudo, a combinação 45ºC por 72h possibilita separar lotes de qualidade fisiológica superior e inferior, independentemente do genótipo. O período de exposição das sementes ao envelhecimento acelerado determina o teor de água atingido pelas mesmas.

Metodologia alternativa para condução do teste de envelhecimento acelerado em sementes de milho

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Efeito do teor inicial de água de sementes de feijão e da câmara no teste de envelhecimento acelerado

A temperatura interna das câmaras e o teor de água das sementes podem influenciar os resultados obtidos no teste de envelhecimento acelerado (EA) e, consequentemente, sua interpretação. O trabalho foi desenvolvido com o objetivo de avaliar o efeito de diferentes teores iniciais de água de sementes de feijão nos resultados do teste de envelhecimento acelerado e as condições de temperatura e umidade relativa do ar no interior de duas câmaras de envelhecimento e das caixas plásticas (câmaras internas), durante a condução do teste. Utilizaram-se amostras de quatro lotes de sementes de feijão, cujo teor de água inicial foi ajustado para 8, 10 e 12%. As sementes foram submetidas ao envelhecimento em câmaras jaquetada de água e de germinação tipo BOD. Durante a realização do teste, foram monitorados, com um registrador de dados, os valores da temperatura e da umidade relativa do ar no interior das câmaras e das caixas plásticas, avaliados a cada 10 minutos, por sensores de cobre-constantan com bulbos seco e úmido, instalados no interior das mesmas. Verificou-se pequena variação de temperatura e umidade relativa do ar nas duas câmaras, sendo, porém, menor na jaquetada. em função da umidade relativa do ar na câmara jaquetada ter sido mais elevada, as sementes envelhecidas nessa câmara, apresentaram teor de água mais alto do que aquelas envelhecidas na BOD. Ambas as câmaras podem ser utilizadas para a realização do teste de envelhecimento acelerado de sementes de feijão.