Fundação de Amparo a Pesquisa do Estado de Minas Gerais / In recent years, many educational practices have been based on constructivist principles which posit that learning is a process in which students build knowledge. Thus, it is common to use concrete materials to assist in the education of school children. Educational software is another resource that has led to important changes in the way mathematics is taught and learned. This study aimed to (1) contribute to the development of mathematics educational software by building a database of educational requirements that considers educational practices that employ concrete materials; (2) use the educational requirements of a "doublepan balance" to develop a computational tool (a virtual double-pan balance ) that would solve some of the material challenges facing Brazilian teachers and to observe the tool s affect on the computational aspects of the learning process; (3) conduct a survey to determine which educational practices employing concrete materials, educational software and software assessment methodologies are in use by mathematics teachers at the best schools in Brazil; and (4) create a model to classify mathematics educational software that considers the requirements of teaching geometry with concrete materials. In order to assist developers and evaluators of educational software, the database of educational requirements includes twentyseven requirements on the subject of "Numbers and Operations"; twenty-nine on "Space and Shape", twenty-three on "Quantities and Measurements" and six on "Data Processing". The computational tool fulfilled the requirements of Brazilian teachers and increased student motivation, accountability, dialogue, cooperation, discussion, reciprocity and reflection during the process of building procedures to solve linear equations. Regarding exploratory practices, all the mathematics teachers surveyed had adopted teaching strategies that used some kind of educational material. More specifically, twenty-nine types of concrete materials and twentytwo types of software were in use. Most of the teachers were using software that had been recommended by other teachers, found through internet searches or mentioned in textbooks. None of the teachers mentioned using evaluation methodologies for educational software. The classification model for mathematics education software was based on the participation of all involved stakeholders. Thus, the satisfaction (or dissatisfaction) with the presence (or absence) of a product s requirements was determined. An indicator was used to qualify the educational software as Basic, Advanced or Superior and each of these categories was subdivided into three levels of quality. The proposed classification system considers parameters specific to mathematics education in addition to general educational parameters. / Nos últimos anos, muitas práticas pedagógicas têm sido fundamentadas em princípios construtivistas. Por esta concepção, a aprendizagem é um processo no qual o sujeito constrói seu conhecimento. Assim, é comum a utilização de materiais concretos para apoiar a aprendizagem de crianças em idade escolar. Os software educativos também são recursos didáticos que vêm provocando importantes mudanças na forma de ensinar e aprender matemática. Este estudo teve como objetivos (1) construir uma base de dados com requisitos pedagógicos considerando as práticas pedagógicas com materiais concretos para contribuir com o desenvolvimento de software educativos de matemática; (2) utilizar os requisitos pedagógicos definidos pela prática pedagógica com a Balança de Dois Pratos para desenvolver uma ferramenta computacional, visando solucionar alguns desafios materiais dos professores brasileiros e verificar como a ferramenta computacional afeta os aspectos inerentes ao processo de aprendizagem; (3) fazer um levantamento de práticas pedagógicas com materiais concretos, software educativos e metodologias de avaliação de software adotados pelos educadores de matemática em colégios de excelência no Brasil; e (4) criar um modelo para a classificação de software educativos de matemática, considerando os requisitos pedagógicos de práticas com materiais concretos para o conteúdo de geometria. A base de dados com requisitos pedagógicos foi construída com 27 requisitos para o bloco temático Números e Operações ; 29 para Espaço e Forma ; 23 requisitos para Grandezas e Medidas e seis para os conteúdos do Tratamento da Informação , servindo de apoio a desenvolvedores e avaliadores de software educativos. A ferramenta computacional atendeu aos desafios dos professores brasileiros e despertou a motivação, a responsabilidade, o diálogo, a cooperação, a discussão, a reciprocidade e a reflexão durante os procedimentos a serem construídos sobre a resolução de equações de 1º grau. Quanto ao cenário de práticas exploratórias, todos os professores de matemática adotam práticas com algum tipo de material didático. São 29 materiais concretos e 22 software educativos sendo utilizados pelos professores pesquisados. A maioria dos professores tem escolhido o software por indicação de outros professores, por buscas na internet ou por sugestões encontradas nos livros didáticos. Nenhum professor mencionou a utilização de metodologias de avaliação para software educativos. A base do modelo para a classificação de software educativos de matemática foi a classificação de requisitos pedagógicos com a participação dos atores educacionais envolvidos. Com isso, foi determinada a satisfação e insatisfação com a presença e a ausência dos requisitos no produto. Um indicador foi responsável por estimar o nível de qualidade do software educativo considerando as categorias: Básico, Avançado e Superior. Cada categoria foi referenciada por três níveis de qualidade. A proposta de classificação considera parâmetros específicos aos conteúdos da área e não apenas parâmetros gerais do ponto de vista educacional. / Doutor em Ciências

Este trabalho apresenta o processo iterativo de criação, desenvolvimento e avaliação de um programa de computador para psicoeducação sobre Transtorno Obsessivo-Compulsivo (TOC). Na primeira fase foi criado um protótipo interativo e autoadministrado. A segunda fase consistiu em avaliações com experts, que levaram a importantes alterações no protótipo. O resultado dessas etapas gerou um programa com 3 módulos de psicoeducação. A terceira fase foi um ensaio com usuários, do qual participaram 21 sujeitos entre 19 e 55 anos. Os instrumentos utilizados foram o Y-BOCS, escalas subjetivas para avaliação da intensidade dos sintomas de TOC, humor e ansiedade, questões de usabilidade e log do programa. Os participantes levaram em média 8 dias para completar o programa, e o tempo médio de uso totalizou 2 horas e 14 minutos. Apenas uma questão dos quizzes teve frequência de acertos abaixo de 70%. O nível médio de satisfação foi de 8,33 no primeiro módulo, 8,71 no segundo e 9,00 no terceiro. Foi encontrada diferença nos escores obsessivos do Y-BOCS entre os dois momentos de avaliação e diferença estatisticamente significativa na escala subjetiva de sintomas do TOC entre os módulos 1 e 2, e 1 e 3. O programa obteve um bom nível de satisfação dos usuários e apresenta potencial efeito de redução de sintomas percebidos. O modelo de desenvolvimento do programa é aplicável a outros contextos em Psicologia e o protótipo desenvolvido pode ser utilizado como matriz para intervenções semelhantes. / This study presents the iterative process of creating, developing and evaluating a psychoeducational software addressed at Obsessive-Compulsive Disorder (OCD). In stage 1, an interative and self-administered prototype was created. Second stage consisted of evaluations with experts, which led to important changes in the prototype. The results of these steps generated a three-module psychoeducational software. Third stage was a usability trial with users, 21 participants, ranging from 19 to 55 years old. Measures used were Y-BOCS, subjective scales to assess OCD symptoms intensity, humor and anxiety, usability questions, and the system log. Participants took an average of 8 days to complete the intervention, and the average time of software usage was 2 hours and 14 minutes. Only one quiz question showed less than 70% correct answers. Mean level of satisfaction was 8,33 for the first module, 8,71 for the second and 9,00 for the third. A difference was found on obsessive scores of Y-BOCS at the two evaluation times, and a statistically significant difference was found on the scale of OCD symptoms intensity, between modules 1 e 2, and 1 and 3. The software reached a good level of satisfaction among users and shows a potential effect in reduction of perceived symptoms. The model of development may be used with other psychological applications, and the prototype may be used as a strucutral matrix for similar interventions.

Orientadores: Mario Jino, Silvia Regina Vergilio / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T21:13:12Z (GMT). No. of bitstreams: 1 Emer_MariaClaudiaFigueiredoPereira_D.pdf: 934024 bytes, checksum: dbb2079115b56358ff3dc9e747df6386 (MD5) Previous issue date: 2007 / Resumo: Dados são manipulados em várias aplicações de software envolvendo operações críticas. Em tais aplicações assegurar a qualidade dos dados manipulados é fundamental. Esquemas de dados definem a estrutura lógica e os relacionamentos entre os dados. O teste de esquemas por meio de abordagens, critérios e ferramentas de teste específicos é uma forma pouco explorada de assegurar a qualidade de dados definidos por esquemas. Este trabalho propõe uma abordagem de teste baseada em classes de defeitos comumente identificados em esquemas de dados. Um metamodelo de dados é definido para especificar os esquemas que podem ser testados e as restrições aos dados nos esquemas. Defeitos possíveis de serem revelados são os relacionados à definição incorreta ou ausente de restrições aos dados no esquema. A abordagem inclui a geração automática de um conjunto de teste que contém instâncias de dados e consultas a essas instâncias; as instâncias de dados e as consultas são geradas de acordo com padrões definidos em cada classe de defeito. Experimentos nos contextos de aplicações Web e de base de dados foram realizados para ilustrar a aplicação da abordagem / Abstract: Data are used in several software applications involving critical operations. In such applications to ensure the quality of the manipulated data is fundamental. Data schemas define the logical structure and the relationships among data. Testing schemas by means of specific testing approaches, criteria and tools has not been explored adequately as a way to ensure the quality of data defined by schemas. This work proposes a testing approach based on fault classes usually identified in data schemas. A data metamodel is defined to specify the schemas that can be tested and the constraints to the data in schemas. This testing approach provides means for revealing faults related to incorrect or absent definition of constraints for the data in the schema. The approach includes the automatic generation of a test set which contains data instances and queries to these instances; the data instances and queries are generated according to patterns defined in each fault class. Experiments in the contexts of Web and database applications were carried out to illustrate the testing approach application / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2018-06-29T11:31:24Z No. of bitstreams: 1 texto completo.pdf: 2215686 bytes, checksum: bd3bf560e364036fc013e4b29b0904a5 (MD5) / Made available in DSpace on 2018-06-29T11:31:24Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2215686 bytes, checksum: bd3bf560e364036fc013e4b29b0904a5 (MD5) Previous issue date: 2018-05-03 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / O consumo de combustível de máquinas florestais é um dos componentes mais impactantes nos custos de colheita florestal e, por isso, grande importância é dada à sua redução. Objetivou-se com este trabalho predizer o consumo especifico de combustível do harvester em função de variáveis climáticas, dendrométricas e operacionais, utilizando modelos lineares mistos (MLM) e redes neuronais artificiais (RNA). Foi utilizado um harvester John Deere 1270E para derrubar e processar as árvores em toras. Os dados foram obtidos através do software instalado no computador de bordo da máquina TimberMatic (John Deere) e do Boletim de Apropriação de Equipamento (BAE). As variáveis contínuas utilizadas foram: diâmetro médio da tora e ângulo frontal da máquina. As categóricas: local de corte, tipo de manejo da floresta, clima, turno de trabalho, combinação de rotação do motor e nível de treinamento do operador. O consumo especifico de combustível foi usado como a variável resposta. No modelo linear misto os dados foram agrupados dentro da variável operador e, portanto, esta variável foi incluída como um intercepto aleatório. Para o emprego de RNA o banco de dados foi dividido aleatoriamente em: 70% dos dados para treinamento e 30% para validação das redes. O treinamento foi o do tipo supervisionado, o algoritmo de aprendizagem utilizado foi o resilient- propagation e a função de ativação usada na camada oculta e de saída foi a sigmoide. Para verificar a qualidade do MLM foram usados o Critério de informação de Akaike (AIC) e o coeficiente de determinação baseado no teste ). Como medidas de avaliação dos resultados da razão de verossimilhança (R LR gerados pelas redes, foi utilizada a correlação entre os valores observados e estimados, a raiz quadrada do erro quadrático médio (RQEM), o erro relativo percentual médio e a distribuição de frequência dos erros relativos percentuais. Para comparar os resultados gerados pelo MLM e a RNA foram utilizados o erro relativo percentual e a RQEM, além da distribuição dos erros. O valor R LR obtido para a MLM selecionada foi de 0,84. A rede que obteve menor RQEM na validação foi a que continha oito neurônios na camada escondida. A RQME encontrada para a RNA e MLM foi de 17,6189 e 20,9686 respectivamente, indicando maior exatidão na estimativa do consumo específico de combustível do harvester pela RNA. O MLM e RNA são eficientes na estimativa do consumo específico de combustível do harvester, com ligeira superioridade (exatidão) para a rede neuronal. / The fuel consumption of forestry machines is one of the most impacting components of forest harvesting costs and, therefore, great importance is given to their reduction. The objective of this work was to predict the specific fuel consumption of the harvester as a function of climatic, dendrometric and operational variables using mixed linear models (LME) and artificial neural networks (ANNs). A John Deere 1270E harvester was used to fell and process trees into logs. The data were obtained through the software installed on the onboard computer of the machine, TimberMatic (John Deere) and the Equipment Appropriation Bulletin (EAB). The continuous variables used were: average log diameter and pitch machine. The categorical ones: cutting location, type of forest management, climate, work shift, combination of engine rotation and operator training level. The specific fuel consumption was used as the response variable. In the mixed linear model the data were grouped within the operator variable and, therefore, this variable was included as a random intercept. For the use of RNA the database was randomly divided into: 70% of data for training and 30% for validation of networks. The training was supervised type, the learning algorithm used was the resilient-propagation and the activation function used in the hidden layer and the output was the sigmoid. The Akaike Information Criterion (AIC) and the determination coefficient based ) were used to verify LME quality. As a measure on the likelihood ratio test (R LR of the results generated by the networks, the correlation between the observed and estimated values, the square root of the mean square error (RSME), the relative mean percentage error and the frequency distribution of the relative percentage errors were used. In order to compare the results generated by the LME and ANN, the percentage relative error and the RSME were used, besides value obtained for the LME selected was the distribution of the errors. The R LR 0.84. The network that obtained the lowest RSME in the validation was the one that contained eight neurons in the hidden layer. The RSME found for ANN and LME was 17.6189 e 20.9686 respectively, indicating greater accuracy in the estimation of the specific fuel consumption of the harvester by ANN. The LME and ANN are efficient in estimating the specific fuel consumption of the harvester, with slight superiority (accuracy) for the neural network.

Orientador: Luiz César Martini / Dissertação (mestrado) Universidade Estadual de Campinas, Faculdade de Egenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T11:03:53Z (GMT). No. of bitstreams: 1 PradaSanmiguel_JulianMauricio_M.pdf: 2046023 bytes, checksum: 428745119cf4df222965e308409fc621 (MD5) Previous issue date: 2010 / Resumo: A falta de recursos computacionais com aplicativos matemáticos voltados para deficientes visuais e outros tem impedido que os deficientes estudem e desenvolvam trabalhos nas áreas das ciências exatas. Este tema de tese visa basicamente ao desenvolvimento de uma calculadora científica programável que é ativada no próprio editor de textos de um programa gratuito conhecido por DOSVOX, disponível especificamente para uso dos portadores de necessidades especiais. A calculadora foi desenvolvida de tal forma que permite ao usuário criar algoritmos e cálculos matemáticos desde o editor de textos (EDIVOX), o qual permite aproveitar os recursos de sínteses de fala com os que este conta, o que a sua vez facilita enormemente o processo de criação, manipulação e execução destes / Abstract: The lack of computational resources with mathematical applications designed for the visually impaired and others has prevented them to study and develop work in the fields of exact sciences. This thesis topic points essentially to the development of a scientific programmable calculator which is activated from the text editor of a free program known as DOSVOX available specifically for use by persons with special needs. The calculator was developed in a way that allows users to create algorithms and mathematical calculations from a text editor (EDIVOX), which allows the calculator using speech synthesis resources it possesses, which in turn greatly facilitates the process creation, manipulation and implementation of these / Mestrado / Telematica / Mestre em Engenharia Elétrica

Orientador: Luiz Antonio Rossi / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agrícola / Made available in DSpace on 2018-08-17T07:11:27Z (GMT). No. of bitstreams: 1 Laranjeira_EvandroGomes_D.pdf: 2861482 bytes, checksum: db1a70b38740eed52c118a5aff70fc1a (MD5) Previous issue date: 2010 / Resumo: O plantio em ambiente protegido é incapaz de demonstrar seu máximo potencial de produção se não for submetido a um controle climático adequado. Existem hoje diversos tipos de equipamentos e metodologias que nos permitem desenvolver controles que monitorem o estado de conforto térmico da planta com uso racional de recursos e insumos. Dessa forma, é proposta uma metodologia de controle climático com integração de lógica fuzzy, controles lógicos programáveis e utilizando o cálculo de déficit de pressão de vapor folha-ar, como forma de se estimar o conforto térmico vegetal. Esta metodologia também utilizou métodos geoestatísticos (mapas de krigagem) para avaliação dos efeitos da aplicação das ações de controle sobre o clima interno, bem como monitorar o consumo de energia elétrica dos equipamentos. Foram realizados os testes em dois tratamentos em uma casa de vegetação comercial; e os dados confrontados para avaliação de sua eficiência no que se refere ao consumo de energia e mapas de krigagem das variáveis temperatura e umidade do ar / Abstract: The protected culture is incapable to demonstrate its production maximum potential while not submitted to an adequate environment control. Nowadays, there are several equipments and methodologies which provides the control development with plant thermal comfort monitoring saving resources and inputs. This way, environment control methodology is proposed with integration of fuzzy logic, programmable logic controls and leaf-to-air deficit vapour pressure, as the way to estimate plant thermal comfort. This methodology uses geostatistics (kriging maps) to evaluate the control action effects over internal environment, as well as equipment energy consumption monitoring. The tests on two treatments was performed in commercial greenhouse; and comparing the efficiency evaluation of energy saving and kriging maps over temperature and air humidity results / Doutorado / Construções Rurais e Ambiencia / Doutor em Engenharia Agrícola

Orientadores: Mario Jino, Plinio Roberto Souza Vilela / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T17:50:16Z (GMT). No. of bitstreams: 1 LeitaoJunior_PliniodeSa_D.pdf: 1822006 bytes, checksum: d9b1eca29d417bcd74707f2e6c4d1eef (MD5) Previous issue date: 2005 / Resumo: Bancos de dados ativos têm sido usados como uma alternativa à implementação de parte da funcionalidade de muitas aplicações em diversas áreas de conhecimento. A idéia básica é a resposta automática à ocorrência de eventos pela ativação de tarefas com funções específicas, conduzindo à execução de regras ativas. A despeito do uso difundido dessa tecnologia, pouco esforço de pesquisa tem sido direcionado ao teste de aplicações de bancos de dados ativos. Nesta pesquisa, nós investigamos o uso de uma técnica de teste estrutural para revelar a presença de defeitos, visando à melhoria de qualidade e ao aumento do nível de confiança com relação a este tipo de software. Uma família de critérios de adequação é proposta e analisada, no âmbito de regras ativas escritas em SQL. Especificamente, um modelo de interação entre regras é elaborado, visando à abstração de associações de interação, as quais formam a base para os requisitos de teste. No contexto de teste estrutural baseado em fluxo de dados, é definido um conjunto de critérios de adequação, denominados Critérios Baseados na Interação entre Regras, que requerem o exercício de associações de interação. Os critérios são uma extensão ao critério todos usos, pela exploração de relações de fluxo de dados persistentes devido a interações entre regras. Investigações teóricas e empíricas foram conduzidas, demonstrando que os critérios demonstram habilidade na detecção dos defeitos com complexidade polinomial. Defeitos e falhas de manipulação foram estudados, enumerados e utilizados em um experimento que avalia a habilidade de detecção de defeitos dos critérios em diferentes granularidades: precisões da análise de fluxo de dados. Uma ferramenta chamada ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) foi construída para suportar o experimento. Os resultados indicam que: (i) a eficácia de detecção de defeitos alcançou 2/3 do conjunto adequado, obtendo-se valores mais elevados para granularidades menos precisas; e (ii) a cobertura de associações de interação em granularidades mais precisas não melhora a habilidade de revelar defeitos / Abstract: Active Rule databases have been used as an alternative to the partial implementation of applications in several knowledge domains. Their principle is the automatic response to events by the activation of tasks with specific functionalities, leading to the execution of active rules. Notwithstanding their widespread use, few research efforts have been concentrated on active database application testing. In this research work we investigate the use of a structural testing technique to reveal the presence of faults, aimed at improving reliability and overall quality of this kind of software. A family of adequacy criteria is proposed and analysed in the active SQL-based database realm. Specifically, an interaction model between rules is elaborated, in order to abstract interaction associations that form the basis for testing requirements. In the context of data flow based structural testing, a family of adequacy criteria is defined, called Interaction Between Rules based Criteria, that demands the coverage of interaction associations. The criteria are an extension to the all uses criterion, by the exploitation of persistent data flow relations associated to rule interaction. Both theoretical and empirical investigations were performed, showing that the criteria posses fault detecting ability with polynomial complexity. Manipulation faults and failures were studied, enumerated and used in an experiment that evaluates criteria fault detecting ability at different granularities: data flow analysis precisions. A tool called ADAPT-TOOL (Active Database APplication Testing TOOL for active rules written in SQL) was built to support the experiment. The results indicate that: i) the fault-detecting efficacy was 2/3 of the adequate set, and reaches higher values for the lower data flow analysis precision; and (ii) the coverage of interaction association at higher granularities does not improve the fault detecting ability / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Personality of software engineering professionals has been a continuous element of interest in academic research. Researchers have applied different models of personality analysis in various software engineering areas to identify improvement points, to promote job satisfaction and to better organize teams. Among these models, we can highlight the MBTI and BIG Five. This work aims to conduct a study to evaluate personality models applied in software engineering and to understand how human personality influences software quality. Two controlled experiments were performed, the first in industry, in IT department of a private higher education institution and the second in an advanced programming discipline in academy. For both experiments, the quality of software individually produced by each participant was evaluated using software metrics for object-oriented paradigm languages. As a result, there is evidence that developers with different personalities do not develop software of equal quality. As the experiments were run in a single geographic location with an own software development culture, additional studies need to be performed to determine any real link between personality and software quality. / A personalidade dos profissionais de engenharia de software tem sido um elemento contínuo de interesse na pesquisa acadêmica. Os pesquisadores aplicaram diferentes modelos de análise de personalidade em várias áreas de engenharia de software para identificar pontos de melhoria, promover a satisfação no trabalho e organizar melhor as equipes. Entre esses modelos destacamos o MBTI e BIG Five. Esta dissertação objetiva realizar um estudo para avaliar modelos de personalidade aplicados em engenharia de software e compreender como a personalidade humana influencia a qualidade do software. Dois experimentos controlados foram realizados, o primeiro na indústria, no departamento de TI de uma instituição privada de ensino superior e o segundo em uma disciplina de programação avançada na academia. Para ambas as experiências, a qualidade do software produzido individualmente por cada participante foi avaliada utilizando métricas de software para linguagens de paradigma orientadas a objetos. Como resultado, há evidências de que desenvolvedores com personalidades diferentes não desenvolvem software de qualidade igual. Como os experimentos foram realizados em uma única localização geográfica com uma cultura de desenvolvimento de software própria, estudos adicionais precisam ser realizados para determinar qualquer ligação real entre personalidade e qualidade de software.

This work has the goal to make an implementation of an anonymization service on Software-Defined Networks (SDN) with the goal to reduce the number of attacks. With an anonymization service is possible to hide the IP address from the network’s hosts, ensuring more protection against security attacks, which allows a more time availability. One of the biggest challenge on SDN architecture is the security issue. The separation of control and data planes allows o generated challenges on security, due to the network’s permissiveness to attacks such as “ Man in the Middle ”, Denial of Service and Saturation. The service developed in this work, named as BomIP, uses the micro-data anonymization technique of randomization of IP address of the hosts. The BomIP was added in the SDN controller RunOS, which was the responsible to make the management of the real and anonymized IP address. To validate this service it was developed two Case Studies with an environment simulating a Denial of Service attack. The first Case Study made a comparison between Crypto-Pan and BomIP. While the second Case Study made a comparison between a traditional network IP and a SDN one using BomIP, both under Denial of Service attack. The analysis of results showed that the service developed has an running time 65% more efficient than Crypto-Pan. The assintotic analysis shows that BomIP is an algorith with running time of quadratic order. The results also showed that the anonymized packets can be tracked and a mitigation of 80% from the attacks trials, ensuring that the services provided by the network remain available. / Este trabalho tem como objetivo implementar um servi¸co de anonimiza¸c˜ao em Redes Definidas por Software (SDN) com o objetivo de realizar a mitiga¸c˜ao de tentativas de ataque sofridas por uma rede. Atrav´es de um servi¸co de anonimiza¸c˜ao ´e poss´ıvel realizar a oculta¸c˜ao dos endere¸cos IP dos hosts da rede, garantindo maior prote¸c˜ao contra ataques `a seguran¸ca, permitindo um aumento de sua disponibilidade. Um dos maiores desafios da arquitetura SDN ´e a seguran¸ca. A separa¸c˜ao do controle e do plano de dados permite que desafios para garantir a seguran¸ca sejam gerados, devido `a permissividade da rede a ataques como “Homem no Meio”, Nega¸c˜ao de Servi¸co e Satura¸c˜ao. O servi¸co aqui desenvolvido, denominado de BomIP, utiliza a t´ecnica de anonimiza¸c˜ao de micro-dados atrav´es da randomiza¸c˜ao dos endere¸cos IP dos hosts. O servi¸co BomIP foi adicionado ao controlador RunOS, que ficou respons´avel por realizar o gerenciamento dos endere¸cos IP reais e anonimizados. Para validar este servi¸co foram realizados dois Estudos de Caso em um ambiente simulando um ataque de Nega¸c˜ao de Servi¸co. O primeiro Estudo de Caso realizou a compara¸c˜ao do funcionamento do servi¸co de anonimiza¸c˜ao Crypto-Pan com o BomIP. Enquanto que o segundo Estudo de Caso realizou a compara¸c˜ao de uma rede IP tradicional sob ataque de Nega¸c˜ao de Servi¸co e uma SDN utilizando o BomIP. A an´alise dos resultados mostrou que o servi¸co desenvolvido tem um tempo de execu¸c˜ao 65% mais eficiente que o Crypto-Pan. A an´alise de complexidade do algoritmo do BomIP demonstrou que ´e de ordem quadr´atica. Os resultados tamb´em demonstraram que os pacotes anonimizados permitem a rastreabilidade e a mitiga¸c˜ao de 80% das tentativas de ataque, dando garantias que os servi¸cos providos pela rede continuem dispon´ıveis.

Orientador: Mario Jino, Plinio de Sa Leitão Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-15T03:59:29Z (GMT). No. of bitstreams: 1 Cabeca_AndreaGoncalves_M.pdf: 8778522 bytes, checksum: c968246a4fb6a8fb41b47192a1d8cb15 (MD5) Previous issue date: 2009 / Resumo: O teste de aplicações de banco de dados é crucial para assegurar a alta qualidade do software, pois defeitos não detectados podem resultar em corrupção irrecuperável dos dados. SQL é a mais amplamente utilizada interface para sistemas de banco de dados. Nossa abordagem visa a alcançar testes efetivos pela seleção de bases de dados reveladoras de defeitos. Usamos a análise de mutantes em comandos SQL e discutimos dois cenários para aplicar as técnicas de mutação forte e fraca. Uma ferramenta para auxiliar na automatização da técnica foi desenvolvida e implementada. Experimentos usando aplicações reais, defeitos reais e dados reais foram conduzidos para: (i) avaliar a aplicabilidade da abordagem; e (ii) comparar bases de dados de entrada quanto à habilidade para detectar defeitos / Abstract: Testing database applications is crucial for ensuring high quality software as undetected faults can result in unrecoverable data corruption. SQL is the most widely used interface language for relational database systems. Our approach aims to achieve better tests by selecting fault-revealing databases. We use mutation analysis on SQL statements and discuss two scenarios for applying strong and weak mutation techniques. A tool to support the automatization of the technique has been developed and implemented. Experiments using real applications, real faults and real data were performed to: (i) evaluate the applicability of the approach, and (ii) compare fault-revealing abilities of input databases / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica