Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-04-25T14:31:12Z No. of bitstreams: 1 ALLYSSON FORTUNATO DE ABRANTES - DISSERTAÇÃO PPGSA 2015..pdf: 1275565 bytes, checksum: 5e0019b5b460441a322e5e237b8eac1c (MD5) / Made available in DSpace on 2018-04-25T14:31:12Z (GMT). No. of bitstreams: 1 ALLYSSON FORTUNATO DE ABRANTES - DISSERTAÇÃO PPGSA 2015..pdf: 1275565 bytes, checksum: 5e0019b5b460441a322e5e237b8eac1c (MD5) Previous issue date: 2015 / O veneno da abelha, a apitoxina, consiste de uma mistura complexa de compostos nitrogenados, constando de uma maior parte proteica(Melitina) e menor fração por: Apamina, adolapina, fosfolipase A2, hialuronidase e peptídeos MCD. Trata-se de um líquido transparente, com odor característico, amargo e que apresenta pH básico (4,5 a 5,5), usado pelas abelhas como elemento de defesa e que seca facilmente em temperatura ambiente. A Melitina é o componente predominante no veneno apresentando, aproximadamente, 50 % da matéria seca, trata-se de uma proteína de elevado potencial anti-inflamatório, sendo considerada o principal agente da apitoxina na terapia da artrite reumática. Junto com a apamina, a melitina estimula os sistemas adrenal e pituitário a produzirem cortisol e outros esteroides naturais, que tem relevante papel na terapia da artrite, bem como na indústria cosmecêutica. A apitoxina foi coletada no apiário El-Shaday, Assentamento Rosário, Agrovila Canudos do município de Ceará-Mirim/RN, a coleta da amostra se deu utilizando o método de choques elétricos através de eletrodos de aço inox conectados a uma bateria e lâminas de vidro posicionado no alvado da colmeia que retêm a apitoxina após a picada da abelha. O apiário produz dois tipos de apitoxina, classificada como tipo 01, pura, e tipo 02, beneficiada. Foram realizados testes de citotoxicidade, quantificação proteica e eletroforese, em ambas as amostras, a fim de avaliá-las e comparar os dois tipos de apitoxina.Na apitoxina 01 foi realizada a concentração inibitória mínima. As amostras também foram incorporadas em duas bases dermatológicas, Gel carbopol® e Emulsão aniônica para que fossem avaliadas a estabilidade Preliminar e Acelerada das formulações.A apitoxina tipo 01, apresentou 77,83% de proteínas, uma concentração inibitória mínima a partir de 1,0% e toxicidade de 962,60 µg/mL; Os testes na apitoxina 02 apresentaram um teor proteico de 51,87% e uma citotoxicidade 154,82 µg/mL resultados possivelmente afetados pela contaminação ainda presente neste tipo de amostra após o beneficiamento. A eletroforese demonstrou que a apitoxina apresenta o mesmo perfil proteico, independente do processo de extração. Porém, a apitoxina tipo 02, aponta a diferença de uma unidade que não se revelou neste produto. As formulações mantiveram-se estáveis durante todo período de avaliação de sua estabilidade, 90 dias, onde foram avaliados pH, viscosidade, caracteres organolépticos, espalhabilidade, nas três diferentes condições de armazenamento: temperatura ambiente, 5 °C e 40 °C, exceção feita à emulsão aniônica conservada à 40 °C em que perdeu estabilidade a partir do trigésimo dia. / The bee venom, the apitoxin, is a complex mixture of nitrogenous compounds, having largely represented by melittin protein and a smaller fraction consisting of: Apamin, adolapina, phospholipase A2, hyaluronidase and peptides MCD. It is a transparent liquid, with characteristic odour, bitter and that presents basic pH (4.5 to 5.5), used by bees as a defense and that dry easily at room temperature. The Melittin is the predominant component in poison showing approximately 50% of the dry matter, it is a high protein anti-inflammatory potential, being considered the main agent of apitoxin on rheumatic arthritis therapy. Along with the apamin, melittin stimulates the adrenal and pituitary systems to produce cortisol and other steroids, which has important role in arthritis therapy, as well as in the cosmeceutical industry. The apitoxin was collected in the Apiary El-Shaday, Settlement, Agrovila Straws of municipality of Ceara – Mirin/ RN. sample collection occurred using the method of electric shocks through electrodes of stainless steel connected to a battery and glass blades positioned at the hive entrance of the hive that retain the apitoxin after bee sting. The Apiary produces two types of apitoxin, classified as type 01, pure, and type 02 milled. Cytotoxicity tests were performed, and protein quantification in both samples in order to evaluate them and compare the two types of apitoxin, on 01 was still held the apitoxin minimum inhibitory concentration. The samples were also incorporated into two bases, carbopol Gel ® skin and anionic emulsion for primary and Accelerated stability evaluated formulations. The apitoxin type 01, 77.83% protein, introduced a minimum inhibitory concentration from 1% and toxicity of 962.60 µ g/mL; Tests on apitoxin 02 presented a protein content of 51.87% and a cytotoxicity 154.82 µ/mL results possibly affected by the contamination still present in this sample type after the processing. Electrophoresis showed that apitoxin features the same protein profile, regardless of the extraction process. However, the apitoxin 02 type, presents the difference in a unit that didn't report revealed in this product. The wording remained stable throughout assessment period of its stability, 90 days, where they were evaluated pH, viscosity, organoleptic characters, spreadability, in three different storage conditions: room temperature 5° C and 40° C, except the anionic emulsion stored at 40° C that lost stability from the 30th day.

O objetivo específico da presente dissertação é estimar a elasticidade-PIB do Imposto de Renda Pessoa Física (IRPF) e Imposto Renda Pessoa Jurídica (IRPJ) no Brasil entre 1986 e 2012. A pesquisa também incorpora em seus objetivos uma análise técnica a respeito da tributação e seus impactos sobre o sistema econômico, tanto a nível microeconômico e macroeconômico, além de abordar o IRPF e IRPJ em seu aspecto econômico e jurídico. No tratamento metodológico são utilizados modelos de Vetor de Correção de erros (VEC) para estimar as elasticidades-PIB do IRPF e IRPJ. Os resultados apontam uma elasticidade-PIB, tanto para IRPF quanto IRPJ, acima da unidade, na maioria dos modelos estimados, e existem períodos determinados que impactam consideravelmente sobre à arrecadação desses tributos. / This dissertation estimates the GDP elasticity of income tax revenue for individuals (IRPF) and corporations (IRPJ) between 1986 and 2012. Additionally the research incorporates an analysis of the macroeconomic and microeconomic effects of taxation. IRPF and IRPJ are analyzed in great detail, including economic as well as legal aspects. An Error Correction Model is estimated to obtain the elasticities. The results show that both elasticities are higher than unit and that reforms that took place in some periods have a significant impact on tax collection.

Testes educacionais possibilitam a obtenção de medidas e resultados, a realização de análises e o estabelecimento de objetivos para os processos de ensino e a aprendizagem, além de subsidiarem processos seletivos e políticas públicas. A avaliação de desempenho dos examinados pode considerar uma única ou múltiplas habilidades e/ou competências. Como alternativa para testes via lápis e papel, o Teste Baseado em Computador (CBT) pode compor, aplicar e corrigir testes e produzir estatísticas individuais ou do grupo de examinados automaticamente. Considerando que o examinado possua múltiplas habilidades, o Teste Adaptativo baseado na Teoria de Resposta ao Item Multidimensional (MCAT) mantém a mesma acurácia de um teste tradicional, baseando-se no conhecimento do examinado a partir do histórico de itens anteriormente respondidos. A seleção de itens por Kullback Leibler entre Posteriores Subsequentes (\'K POT. p\') evita selecionar um item difícil para um examinado com baixa habilidade, sugerindo que \'K POT. p\' é um critério aplicável em testes educacionais. A revisão da literatura apontou para: (i) a carência de estudos para o critério \'K POT. P\', (ii) a carência de estudos com MCATs operacionais em contextos educacionais para usuários reais, (iii) a carência de estudos e propostas de critérios iniciais e de parada para MCATs, quando o número de itens administrados pelo teste é variável, e (iv) a ausência de trabalhos brasileiros na área de MCATs. Diante das lacunas apresentadas, esta tese de doutoramento trata da seguinte questão de pesquisa: Qual a abordagem para viabilizar o uso do critério KP em MCATs operacionais para contextos educacionais, que permita que o sistema implementado seja aprovado nos critérios de funcionalidade, confiabilidade, eficiência, manutenibilidade e portabilidade da ISO-9126, que é a base para avaliar testes computadorizados? Os objetivos específicos desta pesquisa foram os seguintes: (i) implementar e validar o critério de seleção \'K POT. P\', comparando-o com o critério bayesiano usual, (ii) propor melhorias e calcular o tempo computacional de processamento da seleção de itens por \'K POT. P\', (iii) propor critérios iniciais consistentes com a realidade e a necessidade das avaliações educacionais, (iv) validar o critério de parada inédito KPIC, quando a intenção é se ter MCATs que administrem um número variável de itens para os examinados, (v) desenvolver uma arquitetura que viabilize a aplicação via Web de MCATs com usuários reais, (vi) discutir aspectos teóricos e metodológicos da nova abordagem CBMAT via prova de conceito, por meio da implementação do sistema MADEPT, que avalia examinados na perspectiva da avaliação diagnóstica, (vii) avaliar o MADEPT de acordo com as normas internacionais de produto de software ISO-9126 e apontar a factibilidade, a viabilidade, as dificuldades, as vantagens e as limitações do desenvolvimento CBMATs para o ambiente Web. A metodologia utilizada para responder a questão de pesquisa foi: (i) organizar e selecionar as teorias, os métodos, os modelos e os resultados inerentes a MCATs, (ii) expandir a equação de \'K POT. P\', (iii) implementar o MCAT contemplando o critério de seleção \'K POT. P\' e a metodologia bayesiana para estimação e seleção de itens, (iv) validar estatisticamente \'K POT. P\' e KPIC, (v) implementar o CBMAT, contemplando o MCAT como um subsistema e (vi) avaliar o CBMAT via ISO-9126. Os resultados deste trabalho são vários: (i) uma ampla revisão da literatura nas teorias/métodos/critérios necessários para a implementação computacional de MCATs, (ii) a reformulação da equação que expressa a seleção por \'K POT. P\' para implementação via linguagem de programação científica, (iii) os estudos de simulações do MCAT quando a seleção de itens é por \'K POT. P\' e o critério de parada por KPIC mostram que \'K POT. P\' é um critério adequado e indicado quando o objetivo é ter um teste com um número baixo e variável de itens administrados, mantendo um vício adequado e com alta acurácia na estimação da habilidade, (iv) o desenvolvimento de algoritmos inéditos para os critérios iniciais, (v) a validação de uma nova arquitetura que viabiliza a aplicação via Web de MCATs com usuários reais e (vi) a implementação e avaliação via ISO-9126 do sistema computacionalWeb MADEPT. Conclui-se que é possível desenvolver uma arquitetura que viabilize a aplicação viaWeb de MCATs com usuários reais, utilizando o critério de seleção \'K POT. P\' e critérios iniciais condizentes com as avaliações educacionais. Quando a intenção é aplicar MCATs em cenários reais, a seleção de itens por \'K POT. P\' combinado com o critério de parada KPIC proporcionam um teste mais curto e com mais acurácia do que aqueles que utilizam a metodologia bayesiana usual, e com um tempo computacional de processamento condizente com as características da abordagem multidimensional / Educational tests provide measures and indicators that enable evaluations and guide the definition of educational goals, besides supporting selection processes and public policies formulation. The evaluation of the examinees performance may consider one or multiple skills and abilities. As an alternative to hand-written tests, the Computer Based Test (CBT) provides the setup, application and correction of tests as well as provide individual and/or collective statistics about the examinees performance. Considering that the examinee has several abilities, the Computer Adaptive Test based on the Multidimensional Item Response Theory (MCAT) keeps the same accuracy of a traditional test, building on the personal knowledge inferred from the track record of responses to previous items. The item selection through Kullback Leibler between Subsequent Posteriors (\'K POT. P\') avoids to select a difficult item for a low ability examinee, suggesting that \'K POT. P\' is a criterion applicable to educational tests. The literature review evidenced: (i) the insufficiency of studies about the \'K POT. P\' criterion; (ii) the insufficiency of studies on operational MCATs in educational contexts for real users; (iii) the shortage of studies and proposals for initial and stop criteria for MCATs, given a variable number of administered items, and (iv) the lack of Brazilian studies in the area of MCATs. To bridge these gaps, this doctoral thesis addresses the following research question: What is the approach that enables to employ the \'K POT. P\' criterion in operational MCATs for educational contexts, ensuring that the implemented system be in accordance with the functionality, reliability, efficiency, maintainability and portability criteria of ISO-9126 (which is the base for computer based tests evaluation)? The specific objectives of this research are to: (i) implement and validate the \'K POT. P\' selection criterion, comparing it to the usual Bayesian criterion; (ii) propose improvements and calculate the computational time for item selection processing through \'K POT. P\'; (iii) propose initial criteria consistent with the reality and the need of educational evaluation; (iv) validate the novel stop criterion KPIC, aiming at MCATs that administer a variable number of items for the examinees; (v) develop an architecture that enables the application of MCATs via web to real users; (vi) discuss theoretic and methodological issues related to the new CBMAT via proof-of-concept, implementing the MADEPT, which evaluates the examinees under the perspective of the diagnostic evaluation; (vii) evaluateMADEPT according to the international standards software ISO-9126 and point out feasibility, viability, difficulties, advantages and limitations of CBMATs development for web environment. The methodology used to answer the research question was to: (i) organize and select the theories, the methods, the models and results inherent to MCATs; (ii) rewrite the equation of \'K POT. P\'; (iii) implement the MCAT considering the \'K POT. P\' selection criterion and the Bayesian methodology for item estimation and selection (iv) validate \'K POT. P\' and KPIC statistically; (v) implement CBMAT, considering MCAT as a subsystem and (vi) evaluate CBMAT according to ISO-9126. This research has many results: (i) it presents a broad literature review regarding theories/methods/criteria for MCATs computational implementation; (ii) it rewrites in a scientific programming language the equation that expresses the selection through \'K POT. P\'; (iii) it shows, through MCAT simulations, that \'K POT. P\' is a criterion adequate and indicated for tests with a small and variable number of administered items, using \'K POT. P\' for item selection and KPIC as stop criterion; (iv) it develops novel algorithms for initial criteria; (v) it validates a new architecture to enable the application of MCATs via Web to real users; (vi) it implements and evaluates the web computational system MADEPT according to ISO-9126. We conclude that it is possible to develop an architecture that enables the application of MCATs via web to real users, using \'K POT. P\' selection criterion and initial criteria consistent with the educational evaluation. If the aim is to apply MCATs in real scenarios, the item selection through \'K POIT. \'P associated with the stop criterion KPIC provide a shorter and more accurate test in comparison to those using bayesian methodology. Moreover, its processing computational time is in line with the features of the multidimensional approach

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-10-04T12:46:23Z No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-10-04T12:46:59Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-10-04T12:46:59Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-09-01 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The software testing is an important component of software development life cycle, that directly affects quality of software products. Some problems in software testing phase can not be optimized only with traditional Software Engineering techniques. It is possible to do the mathematical modelling of those problems in an attempt to optimize them through the search techniques. However, the use of optimization approaches tend to incorporate more and more activities decisions to the tester, making more complex test activity. So, in order that optimization techniques are in fact employed at the Software Test solutions, the ability to abstract the details of optimization are required. Thus, the objective of this research is to propose a framework for search-based software testing (SBST). The proposed framework works as a top-level layer over generic optimization frameworks and testing software tools, it's target is supporting software testers that are not able to use optimization frameworks during a testing activity due to short deadlines and limited resources or skills, also supporting expert or beginners users from optimization area that need or want to compare their metaheuristics with ones from literature and offered by the proposed framework. The framework was evaluated in a case study of software testing scenario. This scenario was modeled as test case selection problem in which experiments were executed with different metaheuristics and benchmarks offered by framework. The results indicate it's capability to support the SBST area with emphasis on the test cases selection. The framework was evaluated and compared with other SBST frameworks in terms of quality metrics, that indicated its extensibility and flexibility as framework. / O Teste de Software é uma parte essencial do processo de desenvolvimento de software, com impacto direto na qualidade do produto de software. Alguns problemas detectados durante a fase de teste de software não são possíveis de serem resolvidos apenas com as técnicas tradicionais da Engenharia de Software. Nestes casos é possível realizar a modelagem matemática desses problemas e tentar otimizá-los por meio das técnicas de busca. Entretanto, a utilização de abordagens de otimização tende a incorporar mais decisões e mais atividades para o testador, tornando a atividade de teste mais complexa. Assim, para que as técnicas de otimização sejam de fato empregadas no Teste de Software, soluções com a capacidade de abstrair detalhes da otimização são necessárias. Diante disso, o objetivo desta pesquisa consiste em propor um framework para apoiar o Teste de Software Baseado em Busca. O framework proposto funciona como uma camada de alto nível sobre os frameworks genéricos de otimização e as ferramentas de teste de software, apoiando testadores de software que não são capazes de utilizar os frameworks de otimização durante uma atividade de teste devido a prazos curtos e recursos ou habilidades limitadas, além de apoiar usuários iniciantes ou especialistas da área de otimização que precisam ou desejam comparar suas metaheurísticas ou heurísticas com as da literatura e as oferecidas pelo framework proposto. O framework foi avaliado em um estudo de caso no cenário de teste de software. Tal cenário foi modelo como um problema de seleção de casos de teste, em que experimentos foram executados com diferentes metaheurísticas e benchmarks oferecidos pelo framework. Os resultados indicaram a capacidade do framework em apoiar a aréa de SBST, com destaque para o problema de seleção de casos de teste. Além disso, o framework também foi avaliado e comparado com outro framework SBST em termos de métricas de qualidade, que indicaram a extensibilidade e flexibilidade do framework proposto.

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-05T15:46:39Z No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T15:32:34Z (GMT) No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-12-13T15:32:34Z (GMT). No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-09-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Considering the high cost and large amount of time demanded by the activity generation tests in the software development process, the need a proposal to reduce both the time spent as the related costs testing activities is necessary. In this context, the use of tools or processes that make the activities of generation of more agile testing, less costly and meet demands for precision are key to companies operating in software development market can achieve their goals. Based on these information comes to questions regarding how to go about adopting a process that makes possible the achievement of objectives in order to meet the results mentioned previously, even with the difficulties of generating test data as a result of of programs input areas are infinite. There are different tools that use various strategies for generating test data, however, lacks evidence as the quality of these tools. In this context, the aim of this work is conducting an experimental evaluation of some automatic test data generators to identify which one offers the best cost / benefit in terms of effective in detecting defects number of generated test data, code coverage demanded by test data, and generation time of testing. At second step a third tool was included along manually generated tests. New test sets using three automatic generators and included the manually -generated sets project were generated. Finally, results were presented in terms of effectiveness and efficiency through the comparison between the four test sets . / Considerando o alto custo e a grande quantidade de tempo demandada pela atividade de criação de casos de testes dentro do processo de desenvolvimento de software. A utilização de ferramentas ou procedimentos que tornem o processo de geração de dados de testes mais ágil, menos oneroso e que atendam demandas por precisão se tornam fundamentais para que as empresas atuantes no mercado de desenvolvimento de software possam atingir seus objetivos. Com base nessas informações, surge a dúvida relacionada a como proceder para adotar um processo de desenvolvimento e teste de software que tornem possíveis o alcance dos objetivos de forma a atender os resultados mencionados anteriormente, mesmo com as dificuldades de gerar dados de teste em decorrência dos domínios de entrada dos programas serem em geral infinitos. O objetivo do presente trabalho é conduzir uma avaliação experimental de geradores automáticos de dados de teste visando identificar qual deles apresenta a melhor relação custo/benefício em termos de eficácia em detectar defeitos, número de dados de teste gerados e cobertura de código determinada pelos conjuntos de teste. A pesquisa foi dirigida em duas etapas: na primeira, dois geradores foram avaliados em relação a um conjunto de 32 programas Java e os resultados obtidos indicam que, de maneira geral, o gerador CodePro foi o que apresentou a melhor relação custo benefício frente ao Randoop; na segunda, foi inclusa uma terceira ferramenta, juntamente a testes gerados de forma manual. Foram gerados novos conjuntos de teste utilizando os três geradores automáticos e incluso ao projeto conjuntos gerados de forma manual. Ao final, foram apresentados os resultados em termos de eficácia e eficiência por meio dos comparativos entre os quatro conjuntos de teste.

Para analisar características de interesse a respeito de um conjunto de dados reais da área de Odontologia apresentado em Hadgu & Koch (1999), ajustaremos um modelo de regressão linear multivariado com erros nas variáveis com intercepto nulo. Este conjunto de dados é caracterizado por medições de placa bacteriana em três grupos de voluntários, antes e após utilizar dois líquidos de bochecho experimentais e um líquido de bochecho controle, com medições (sujeitas a erros de medição) no início do estudo, após três e seis meses de utilização dos líquidos. Neste caso, uma possível estrutura de dependência entre as medições feitas em um mesmo indivíduo deve ser incorporada ao modelo e, além disto, temos duas variáveis resposta para cada indivíduo. Após a apresentação do modelo estatístico, iremos obter estimativas de máxima verossimilhança dos parâmetros utilizando o algoritmo iterativo EM e testaremos as hipóteses de interesse utilizando testes assintóticos de Wald, razão de verossimilhanças e score. Como neste caso não existe um teste ótimo, faremos um estudo de simulação para verificar o comportamento das três estatísticas de teste em relação a diferentes tamanhos amostrais e diferentes valores de parâmetros. Finalmente, faremos um estudo de diagnóstico buscando identificar possíveis pontos influentes no modelo, considerando o enfoque de influência local proposto por Cook (1986) e a medida de curvatura normal conformal desenvolvida por Poon & Poon (1999). / To analyze some characteristics of interest in a real odontological data set presented in Hadgu & Koch (1999), we propose the use of a multivariate null intercept errors-in-variables regression model. This data set is composed by measurements of dental plaque index (with measurement errors), which were measured in volunteers who were randomized to two experimental mouth rinses (A and B) or a control mouth rinse. The measurements were taken in each individual, before and after the use of the respective mouth rinses, in the beginning of the study, after three months from the baseline and after six months from the baseline. In this case, a possible structure of dependency between the measurements taken within the same individual must be incorporated in the model. After presenting the statistical model, we obtain the maximum likelihood estimates of the parameters using the numerical algorithm EM, and we test the hypotheses of interest considering asymptotic tests (Wald, likelihood ratio and score). Also, a simulation study to verify the behavior of these three test statistics is presented, considering diferent sample sizes and diferent values for the parameters. Finally, we make a diagnostic study to identify possible influential observations in the model, considering the local influence approach proposed by Cook (1986) and the conformal normal curvature proposed by Poon & Poon (1999).

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

O uso de répteis como modelos experimentais é limitado, principalmente devido às particularidades fisiológicas da classe, como as oscilações diárias e sazonais em seu comportamento. O objetivo deste estudo foi avaliar a atividade locomotora e nociceptiva de teiús (Salvator merianae) e iguanas-verdes (Iguana iguana) submetidos a testes comportamentais, ao longo do dia e do ano. Foram utilizados seis exemplares de cada espécie, mantidos em sala com temperatura ambiental (24 a 30°C) e fotoperíodo (12h:12h) controlados. Esses foram avaliados ao longo do dia (0:00h, 6:00h, 12:00h, 18:00h) e ao longo do ano (análise mensal). A análise locomotora foi realizada através do teste de campo aberto (teiús e iguanas), no qual o animal foi colocado no centro de uma arena circular por 15 minutos, e recebeu um ponto por cada ultrapassagem pelas subdivisões da mesma; e pelo teste de natação forçada (iguanas), no qual o tempo de atividade foi mensurado em piscina sem saída por 2 minutos. A resposta nociceptiva foi avaliada por meio de mensuração do período de latência do membro em resposta a estímulo nocivo térmico (25 segundos; 245 ± 7 mW/cm2) na superfície plantar do membro do animal. Não foram detectadas oscilações ao longo do ano no teste de campo aberto em nenhuma das espécies. Ao longo do dia, oscilações foram detectadas de Fevereiro a Dezembro em teiús; e em Abril, Maio, Junho e Outubro em iguanas. O tempo de atividade das iguanas foi menor em Janeiro e às 0:00h. Maiores latências de retirada do membro foram observadas nos meses de Maio e Agosto e às 6:00h em ambas espécies. Conclue-se que teiús e iguanas-verdes em ambiente controlado apresentam oscilações significativas em comportamento observado em teste de campo aberto, teste de natação forçada (somente iguanas) e teste plantar, que aparentemente não seguem padrões anuais claros, sendo provavelmente influenciado por fatores múltiplos ainda não compreendidos para as espécies. / The use of reptiles as experimental models is limited due to their physiological particularities, such as daily and annual fluctuations in behavior. The aim of this study was to evaluate locomotor and nociceptive activities of tegus (Salvator merianae) and green iguanas (Iguana iguana) throughout the day and the year, when undergoing behavioral tests. Six animals from each species, kept under controlled room temperature (24 to 30°C) and photoperiod (12h:12h), were used. They were evaluated throughout the day (0:00h, 6:00h, 12:00h and 18:00) and the year (monthly). Locomotor activity was measured by the open field test, in which the animal was placed in the center of a round arena for 15 minutes and the number of crossings through the subdivisions of the arena was counted, and by the forced swim test (iguanas), in which the activity period was timed after animals were placed in a pool with no scape for 2 minutes. Nociceptive activity was measured as the latency to limb withdrawal reflex in response to a noxious thermal stimulus (25 seconds, 245 ± 7 mW/cm2) in the plantar surface of the animal\'s limb. No differences were detected in locomotor activity in the open field test throughout the year in both species. Throughout the day, fluctuations were detected from February to December in tegus, and in April, May, June and October in iguanas. Activity period in iguanas were shorter in January and at 0:00h. Longer latencies to withdrawal reflex were detected in May and August and at 6:00h in both species. In conclusion, tegus and green iguanas kept in controlled environment have fluctuations in behavior presented in the open field test, the forced swim (only iguanas) test and the plantar test, which apparently do not follow a clear seasonal pattern and are probably influenced by multiple factors that are still unknown for both species.

[pt] Neuroticismo é um fator de personalidade que engloba quatro subfatores: depressão, vulnerabilidade, passividade e instabilidade emocional. Esta pesquisa teve como objetivos construir e buscar evidências de validade de medidas implícitas para aferir as facetas de neuroticismo. Para tanto, foram realizados dois estudos: (1) elaboração dos itens; (2) teste empírico das medidas. O primeiro estudo consistiu em um procedimento empírico para selecionar itens e buscar evidências de validade baseadas no conteúdo das medidas construídas. Participaram 408 pessoas, sendo que todas eram estudantes universitárias. Esse procedimento resultou em listas de palavras representativas do indivíduo e das facetas de neuroticismo. No segundo estudo, as palavras selecionadas previamente foram implementadas em testes de associação implícita para que fossem buscadas mais evidências de validade e obtidos indicadores de fidedignidade. Participaram 417 pessoas com diferentes níveis de escolaridade, sendo que 72,2 por cento tinham ensino superior incompleto e 61,4 por cento eram mulheres. Os resultados indicaram que as medidas de depressão, insegurança e passividade apresentaram evidências de validade satisfatórias, incluindo uma estrutura consonante com as definições dos construtos e relações esperadas com outras variáveis. Por exemplo, encontraram-se correlações positivas entre as medidas construídas e neuroticismo e correlações negativas com satisfação de vida. A medida de instabilidade emocional, por outro lado, se mostrou mais problemática no que diz respeito às evidências de validade. Ainda, os índices de consistência interna de todas as medidas se mostraram adequados e os coeficientes de correlação teste-reteste foram superiores aos valores que têm sido encontrados na literatura. Discute-se, entretanto, que mais evidências de validade são necessárias para que essas medidas possam ser usadas em contextos aplicados. / [en] Neuroticism is a personality factor that encompasses four subfactors: depression, vulnerability, passivity and emotional instability. This research aimed to build and search for evidence of validity of implicit measures to assess the facets of neuroticism. For this purpose, two studies were conducted: (1) elaboration of the items; (2) empirical test of the measures. The first study consisted of an empirical procedure to select items and search for evidence of validity based on the content of the built measures. Participants were 408 people, all of them were university students. This procedure resulted in lists of representative words of the individual and the facets of neuroticism. On the second study, the previously chosen words were implemented on implicit association tests, so that more evidence of validity was sought and reliability indicators were obtained. Participants were 417 people with different levels of educational background, 72.2 percent of them had incomplete higher educational background and 61.4 percent were women. The results indicated that the measures of depression, insecurity and passivity presented satisfactory evidence of validity, including a structure aligned with the definition of the constructs and expected relations to other variables. For instance, we found positive correlations between the built measures and neuroticism and negative correlations with satisfaction with life. The measure of emotional instability, however, proved to be more problematic regarding the evidence of validity. In addition, the internal consistency indexes for all measures were found to be adequate and the test-retest correlation coefficients were higher than the values found in previous studies. It is argued, however, that more evidence of validity is needed so that these measures can be used in applied contexts.

Os modelos de regressão logística ordinais são usados para descrever a relação entre uma variável resposta categórica ordinal e uma ou mais variáveis explanatórias. Uma vez ajustado o modelo de regressão, se faz necessário verificar a qualidade do ajuste do modelo. As estatísticas qui-quadrado de Pearson e da razão de verossimilhanças não são adequadas para acessar a qualidade do ajuste do modelo de regressão logística ordinal quando variáveis contínuas estão presentes no modelo. Para este caso, foram propostos os testes de Lipsitz, a versão ordinal do teste de Hosmer-Lemeshow e os testes qui-quadrado e razão de verossimilhanças de Pulkistenis-Robinson. Nesta dissertação é feita uma revisão das técnicas de diagnóstico disponíveis para os Modelos logito cumulativo, Modelos logito categorias adjacentes e Modelos logito razão contínua, bem como uma aplicação a fim de investigar a relação entre a perda auditiva, o equilíbrio e aspectos emocionais nos idosos. / Ordinal regression models are used to describe the relationship between an ordered categorical response variable and one or more explanatory variables which could be discrete or continuous. Once the regression model has been fitted, it is necessary to check the goodness-of-fit of the model. The Pearson and likelihood-ratio statistics are not adequate for assessing goodness-of-fit in ordinal logistic regression model with continuous explanatory variables. For this case, the Lipsitz test, the ordinal version of the Hosmer-Lemeshow test and Pulkstenis-Robinson chi-square and likelihood ratio tests were proposed. This dissertation aims to review the diagnostic techniques available for the cumulative logit models, categories adjacent logit models and continuous ratio logistic models. In addition, an application was developed in order to investigate the relationship between hearing loss, balance and emotional aspects in the elderly.