Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T14:52:23Z No. of bitstreams: 1 CAMILA DE LUNA MACIEL - DISSERTAÇÃO PPGCC 2010..pdf: 7464974 bytes, checksum: 6d1dbd48857a3fa1c75047b6ab0a2016 (MD5) / Made available in DSpace on 2018-08-16T14:52:23Z (GMT). No. of bitstreams: 1 CAMILA DE LUNA MACIEL - DISSERTAÇÃO PPGCC 2010..pdf: 7464974 bytes, checksum: 6d1dbd48857a3fa1c75047b6ab0a2016 (MD5) Previous issue date: 2010-08-06 / CNPq / Dentro da Engenharia de Software, novos paradigmas de desenvolvimento vêm surgindo no intuito de oferecer uma maior produtividade sem perda de qualidade aos softwares desenvolvidos. Um desses paradigmas é o MDD (Model-Driven Development), cuja principal finalidade é a introdução de modelos rigorosos durante todo o processo de desenvolvimento de software oferecendo, dentre outras vantagens, a geração automática de código a partir dos modelos. Contudo, mesmo em processos de desenvolvimento que seguem este paradigma, a atividade de teste de software ainda é fundamental, principalmente teste de integração, cujo objetivo é verificar que os componentes do software, implementados e testados individualmente, provêem a funcionalidade pretendida quando colocados para interagir uns com os outros. Embora classes individuais possam funcionar corretamente, várias novas faltas podem surgir quando os componentes são integrados. No entanto, em teste de integração, dependendo da complexidade do sistema, o número de casos de teste pode ser muito grande. Nesse contexto, o uso de padrões de teste, ou seja, estratégias que já foram utilizadas e se mostraram efetivas em teste de software, pode guiar a escolha de casos de teste mais efetivos e adequados dentre um número muito grande de possíveis casos de teste. Este trabalho tem como objetivo principal fornecer uma nova abordagem de teste de integração, definida dentro de um processo integrado de desenvolvimento e teste dirigidos por modelos (MDD/MDT - Model-Driven Testing), para a geração automática de casos de teste a partir de modelos, utilizando padrões de teste como base para o processo de geração. Para automatizar este processo, foi desenvolvida uma ferramenta baseada em transformações entre modelos segundo práticas da MDA (Model-DrivenArchitecture). Além disso, a abordagem proposta utiliza o perfil de teste da UML para a documentação de todos os artefatos de teste gerados. Adicionalmente, estudos experimentais preliminares foram realizados no intuito de avaliar a abordagem e, consequentemente, a ferramenta de suporte desenvolvida. / Within the Software Engineering, new development paradigms are emerging in order to offer greater productivity without sacrificing quality to the developed software. MDD (Model-Driven Development) is one of these paradigms, whose main purpose is to introduce rigorous models along all the software development process offering, among other advantages, automatic code generation from models. However, even in development processes that follow this paradigm, the software testing activity is still essential, especially integration testing, whose purpose is to verify that the software components, implemented and tested separately, provide the desired functionality when placed to interact with each other. While individual components may function correctly, several new faults can arise when the components are integrated. However, in integration testing, depending on the system complexity, the number of test cases can be very large. In this context, the use of test patterns, i. e., strategies that have been used and proved effective in software testing, can guide the user at choosing test cases more effective and appropriate among a very large number of possible cases test. The main objective of this work is to propose a new approach to integration testing, defined with in an integrated model driven development and test process (MDD/MDT - Model-Driven Testing) for automatically generating test case from models adopting test patterns as basis for the generation process. To automate this process, we have developed a tool based on model transformations according to MDA (Model-Driven Architecture) practices. Furthermore, the proposal approach uses the UML testing profile to document all generated test artifacts. Additionally, preliminary experimental case studies were performed in order to evaluate the proposed approach and hence the developed tool support.

Information processing in the brain relies on a functional balance between excitation and inhibition, the disruption of which leads to network destabilization and many neurodevelopmental disorders, such as autism spectrum disorders. One of the homeostatic mechanisms that maintains the excitatory and inhibitory balance is called synaptic scaling: Neurons dynamically modulate postsynaptic receptor abundance through activity-dependent gene transcription and protein synthesis. In the first part of my thesis work, I discuss our findings that a chromatin reader protein L3mbtl1 is involved in synaptic scaling. We observed that knockout and knockdown of L3mbtl1 cause a lack of synaptic downscaling of glutamate receptors in hippocampal primary neurons and organotypic slice cultures. Genome-wide mapping of L3mbtl1 protein occupancies on chromatin identified Ctnnb1 and Gabra2 as downstream target genes of L3mbtl1-mediated transcriptional regulation. Importantly, partial knockdown of Ctnnb1 by itself prevents synaptic downscaling. Another aspect of maintaining E/I balance centers on GABAergic inhibitory neurons. In the next part of my thesis work, we address the role of the scaffold protein Shank1 in excitatory synapses onto inhibitory interneurons. We showed that parvalbumin-expressing interneurons lacking Shank1 display reduced excitatory synaptic inputs and decreased levels of inhibitory outputs to pyramidal neurons. As a consequence, pyramidal neurons in Shank1 mutant mice exhibit increased E/I ratio. This is accompanied by a reduced expression of an inhibitory synapse scaffolding protein gephyrin. These results provide novel insights into the roles of chromatin reader molecules and synaptic scaffold molecules in synaptic functions and neuronal homeostasis.

[pt] O aumento da produção mundial de resíduos e a falta de programas de gestão adequados a estes resultam no descarte e disposição inadequadas, causando inúmeros impactos ambientais e afetando, inclusive, à saúde humana. Tais resíduos, por apresentarem alto poder calorífico, versatilidade e resistência, devem ser tratados como matéria prima pós-consumo e não como lixo, podendo ser utilizados de inúmeras formas. Uma delas é a reciclagem, um processo que apresenta nova utilização aos resíduos antes designados como lixo, gerando possibilidades de rentabilidade e emprego. A reciclagem tem grande importância na gestão social de um município, pois está ligada diretamente às classes de baixa renda. Tais processos têm crescido no Brasil, principalmente após a publicação da Política Nacional de Resíduos Sólidos (PNRS) - Lei n 12.305, que exige um plano de resíduos para cada município, incentivando a reciclagem e compostagem de lixo. Ainda assim, o problema persiste, devido à falta de programas de coleta seletiva, falta de incentivo aos recicladores e catadores, bem como descaso dos governos e da população. A probabilidade de melhoria é grande, porém demandará muito tempo e investimento. O tratamento mecânico e biológico é apresentado então como uma solução para o cumprimento dos objetivos no tratamento de resíduos em curto prazo. Este trabalho tem o objetivo de analisar tal tecnologia e sua aplicação no município do Rio de Janeiro, avaliando suas vantagens, desvantagens e restrições para este processo. / [en] The progress of humanity and the encouragement of increased consumerism have generated the supply and mass consumption products. A greater extent, so does the production of waste in the world, together with the scarcity of non-renewable resources in the long term, climate change, have diverted attention to environmentally sustainable practices involving waste management. In this context, the Management of Municipal Solid Waste (MSW), translates into a complex process that requires multidisciplinary views, working from the logistics in the process of collection, storage and disposal of waste to the Biology, Chemistry and Thermodynamics, given the diversity of techniques and technologies available for your treatment and recovery in the market. Social development is also an important point, since in countries like Brazil recycling is an activity that generates resources for social classes with lower purchasing power. In addition to operating in the production of consumer goods from waste, much of the recyclable materials back to the market due to the work of sorters, people with very low income, who are in this profession a form of survival. These factors are relevant to the implementation of any management system, which requires significant investment and participation of the public authorities, both legislative and executive. Developed countries, such as members of the European Union (EU), are far ahead in MSW Management, seeking ways of dealing with their waste less and less impactful to the environment. Brazil still is a more technical phase and less practical than the EU, but has important advances. In 2010, entered into force on National Solid Waste Policy (NSWP), established by Law 12.305. This Policy establishes strategies and deadlines for the Brazilian sustainable development, reviews the hierarchy of priorities in waste treatment and imposes the reverse logistics system, and treat life-cycle of products and encourage the reuse, recycling of materials and composting waste, eliminating the dumps and leaving foster landfilling, lagging only this waste without a more favorable allocation to the environment and saving resources.

L’objectif de ce mémoire est d’introduire une nouvelle méthode smoothed particle hydrodynamics (SPH) implicite purement lagrangienne, pour la résolution des équations de Navier- Stokes incompressibles bidimensionnelles en présence d’une surface libre. Notre schéma de discrétisation est basé sur celui de Kéou Noutcheuwa et Owens [19]. Nous avons traité la surface libre en combinant la méthode multiple boundary tangent (MBT) de Yildiz et al. [43] et les conditions aux limites sur les champs auxiliaires de Yang et Prosperetti [42]. Ce faisant, nous obtenons un schéma de discrétisation d’ordre $\mathcal{O}(\Delta t ^2)$ et $\mathcal{O}(\Delta x ^2)$, selon certaines contraintes sur la longueur de lissage $h$. Dans un premier temps, nous avons testé notre schéma avec un écoulement de Poiseuille bidimensionnel à l’aide duquel nous analysons l’erreur de discrétisation de la méthode SPH. Ensuite, nous avons tenté de simuler un problème d’extrusion newtonien bidimensionnel. Malheureusement, bien que le comportement de la surface libre soit satisfaisant, nous avons rencontré des problèmes numériques sur la singularité à la sortie du moule. / The objective of this thesis is to introduce a new implicit purely lagrangian smoothed particle hydrodynamics (SPH) method, for the resolution of the two-dimensional incompressible Navier-Stokes equations in the presence of a free surface. Our discretization scheme is based on that of Kéou Noutcheuwa et Owens [19]. We have treated the free surface by combining Yildiz et al. [43] multiple boundary tangent (MBT) method and boundary conditions on the auxiliary fields of Yang et Prosperetti [42]. In this way, we obtain a discretization scheme of order $\mathcal{O}(\Delta t ^2)$ and $\mathcal{O}(\Delta x ^2)$, according to certain constraints on the smoothing length $h$. First, we tested our scheme with a two-dimensional Poiseuille flow by means of which we analyze the discretization error of the SPH method. Then, we tried to simulate a two-dimensional Newtonian extrusion problem. Unfortunately, although the behavior of the free surface is satisfactory, we have encountered numerical problems on the singularity at the output of the die.

Cieľom tejto práce je vývoj nástroja na automatické generovanie testov pre aplikácie s grafickým užívateľským rozhraním v~prostredí GNOME. Na generovanie testov sú použité metadáta asistenčných technológií, konrétne AT-SPI. Navrhnutý generátor testov využíva dané metadáta na vytvorenie modelu testovanej aplikácie. Model mapuje sekvencie udalostí, ktoré generátor vykoná na testovanej aplikácii počas generovania testov. Súčasťou procesu generovania je zároveň detekcia závažných chýb v testovaných aplikáciách. Výstupom procesu generovania sú automatizované testy, ktoré sú vhodné na regresné testovanie. Funkčnosť implementovaného generátora testov bola úspešne overená testovaním 5 aplikácií s otvoreným zdrojovým kódom. Počas testovania aplikácií navrhnutým nástrojom sa preukázala schopnosť detekovať nové chyby.