A realização de atividades de teste é indispensável para a garantia da qualidade de um produto e para a identificação de defeitos, diminuindo custos de manutenção e evitando ao máximo o risco do cliente encontrar esses defeitos. Nessa linha, testes baseados em modelos têm se mostrado atrativos, pois o custo de geração de casos de testes e de correção de defeitos tende a ser menor. Devido à sua simplicidade conceitual e expressividade na descrição do comportamento de um sistema, um dos modelos mais usados e pesquisados na área de teste baseado em modelos são as Máquinas de Estados Finitos (MEFs). Por meio de MEFs e com apoio de ferramentas apropriadas, a geração de casos de testes para avaliar os comportamentos esperados de um sistema é automatizada, reduzindo tanto o custo da geração e da manutenção quanto as falhas humanas. Desta forma, a aplicabilidade de métodos de geração de casos de teste baseados em modelos no contexto de sistemas embarcados vem sendo investigada. O objetivo deste trabalho de mestrado consiste em investigar a aplicabilidade dos métodos de geração em cenários de teste reais, com foco em sistemas embarcados, identificando as difi- culdades e limitações do processo, bem como os requisitos essenciais para a adequação dos métodos de geração propostos na literatura e de ferramentas de apoio à atividade de teste. O foco principal do projeto é a implementação de mecanismos que atendam aos requisitos levantados, visando a usabilidade, segurança e portabilidade da ferramenta / Test activities are essential to ensure the quality of products and identify faults to reduce maintenance costs and avoid that the client finds these faults. In this sense, model-based tests have been proved useful, because the cost of generating test cases and fault correction tend to be smaller. Due to its conceptual simplicity and expressiveness in describing the behavior of a system, Finite State Machines (FSM) have been used and researched in the model-based testing area. FSMs, employed with the support of appropriate tools, enable the generation of test cases in an automated way to assess the expected behavior of a system, reducing both the generation and maintenance costs and human failures. Thus, the applicability of test cases generation methods based on models in the context of embedded systems should be investigated. Test cases generation methods based on FSM are designed to derive test cases from the model. In this context, this work aims to investigate the applicability of generation methods in real-world scenarios, focusing embedded systems. It should identify the difficulties and limitations of the process, as well as the essential requirements for the adequacy of generation methods proposed in the literature and tools to support the test activity. The main focus of the project is the implementation of mechanisms that meet the elicited requirements in order to provide usability, security and tool portability

Este trabalho objetivou investigar o processo de revestimento/aglomeração de extratos vegetais em leito fluidizado com atomização top spray, visando melhorar a estabilidade dos compostos bioativos dos extratos e suas propriedades farmacotécnicas. Açúcar cristal, pellets de açúcar e de celulose microcristalina, grânulos de celulose microcristalina, grânulos de arroz e farinha de mandioca foram utilizados como partículas sementes. Inicialmente, avaliou-se a influência do tamanho das partículas e diferentes composições de alimentação contendo extrato vegetal de Rosmarinus officinalis (alecrim). Farinha de mandioca e pellets de açúcar de diferentes granulometrias foram empregados como partículas semente. O desempenho do processo foi avaliado através da eficiência de revestimento e porcentagem de aglomeração. Os grânulos formados foram caracterizados quanto ao tamanho, fluidez e retenção de compostos bioativos (polifenóis). As formulações estudadas também foram submetidas à secagem em spray dryer para comparação entre os produtos obtidos. Os resultados obtidos mostraram que a eficiência de revestimento/aglomeração e a porcentagem de aglomeração dependem das propriedades físico-químicas das partículas sementes e das composições alimentadas. As viscosidades das formulações contendo o extrato vegetal e suas interações com as partículas iniciais influenciaram significativamente o processo. Os grânulos formados em leito fluidizado apresentaram ótima fluidez e maior retenção de polifenóis que os produtos obtidos por spray drying. Pellets de celulose microcristalina de diferentes granulometrias foram utilizados como partículas semente para investigar a dinâmica do sistema durante a encapsulação/aglomeração em leito fluidizado, por meio de análises de sinais de flutuação de pressão associados à cinética de crescimento dos grânulos e ao desempenho do processo. Dois modos operacionais foram avaliados: o modo intermitente (com interrupção da atomização da composição de alimentação em um período específico para redução do teor de umidade no sistema) e o modo contínuo (sem interrupção da atomização de alimentação). O aumento na porcentagem de aglomeração, até certo valor durante o processo, ocasionou aumento no desvio padrão nos sinais da amplitude da flutuação de pressão enquanto o sistema permaneceu estável, indicando poucas mudanças no padrão de circulação de sólidos. Este comportamento ocorreu até que a porcentagem de aglomeração atingiu um valor capaz de ocasionar instabilidades no sistema e, assim, o aumento adicional na percentagem de aglomeração acarretou o colapso do sistema. Neste momento, o desvio padrão da amplitude da flutuação de pressão tende a diminuir, sendo este comportamento mais evidente no modo operacional contínuo e com partículas semente de menor granulometria. Mudanças no desvio padrão da amplitude dos sinais da flutuação de pressão evidenciam que este método é capaz de detectar alterações na dinâmica do sistema e pode ser uma ferramenta útil para o controle e monitoramento do processo. Ensaios para avaliação da influência de diferentes variáveis operacionais, vazão de atomização e velocidade do ar de fluidização, no desempenho do processo foram realizados em modo operacional intermitente utilizando pellets de celulose microcristalina como partículas sementes. As condições operacionais mais adequadas, com maior eficiência de revestimento e menor porcentagem de aglomeração, foram selecionadas para avaliação de duas composições de alimentação contendo extrato vegetal com diferentes agentes de encapsulação, goma Arábica e concentrado proteico de soro de leite, associados à maltodextrina, ácido esteárico e Poloxamer 407. O desempenho dos processos foi avaliado através da eficiência de revestimento e porcentagem de aglomeração e os produtos quanto à fluidez e teor de compostos bioativos do alecrim: ácido cafeico, ácido rosmarínico, carnosol e ácido carnósico, determinados por HPLC-DAD. As duas formulações mostraram-se adequadas quanto ao desempenho do processo, eficiência de revestimento maior que 70% e à retenção de compostos bioativos, eficiência de encapsulação maior que 60%. Os grânulos foram submetidos testes de estabilidade acelerada e de longa duração. Os compostos bioativos sofreram degradação durante os testes com perda total de carnosol e ácido carnósico nos grânulos obtidos com as duas formulações diferentes. Também foi realizado teste de digestão gastrointestinal in vitro com os dois produtos diferentes. As concentrações de ácidos cafeico e rosmarínico não sofreram alterações significativas no decorrer do processo, tanto na simulação das condições gástricas quanto intestinais. O carnosol e o ácido carnósico sofreram perda total ao final da fase intestinal nos dois tipos de grânulos. Os grânulos com diferentes agentes encapsulantes, foram revestidos com Opadry® II visando proporcionar maior estabilidade contra degradação dos compostos bioativos. Ocorreu maior proteção do carnosol nos grânulos contendo goma Arábica submetidos ao teste de estabilidade de longa duração, a 30 °C e 75 % UR, porém esta proteção não foi efetiva para nenhum dos grânulos submetidos ao teste de estabilidade acelerada a 40 °C. Este estudo demonstrou a viabilidade do processo de encapsulação de extratos vegetais em leito fluidizado como um método promissor para produção de composições fitoterápicas com propriedades farmacotécnicas e físico-químicas adequadas. / This work aimed to investigate coating/agglomeration process of herbal extracts in fluidized bed with top spray atomization in order to improve stability of bioactive compounds and their pharmacotechnical properties. Crystal sugar granules, sugar and microcrystalline cellulose pellets, microcrystalline cellulose, cassava flour and rice granules, were used as seed particles. First, coating/agglomeration processes with cassava flour and sugar pellets as seed particles and feed compositions loaded with herbal extract of Rosmarinus officinalis (rosemary) were investigated. Fluidized bed performance was evaluated based on coating efficiency and agglomeration percentage. Products were characterized by determining the particle sizes, flow properties and retention of bioactive compounds (polyphenols). Herbal compositions were also spray dried to compare the product generated by both processes. Results showed that coating efficiency and percentage of agglomeration depend on seed particles and feed compositions physicochemical properties. The viscosity of the feed formulations and the interaction with seed particles influenced process performance. Fluidized bed granules exhibited higher efficiency of coating/agglomeration, higher retention of bioactive compounds and better flow properties than the powder obtained by spray drying. Microcrystalline cellulose pellets of different sizes were used as seed particles to investigate system dynamic during fluidized bed encapsulation/agglomeration by analysis of pressure fluctuation signals associated with growth kinetics and process performance. Two distinct operating modes were investigated: intermittent (interrupting the composition atomization for a specific period of time in order to reduce the system humidity) and continuous (without interruption of feed atomization). The increase in the agglomeration percentage to a certain value during the processes caused an increase in the standard deviation of the amplitude of the pressure fluctuations signals while the system remained stable, indicative of slight change on solids circulation patterns. However, the standard deviation of the amplitude of the pressure fluctuations signals tended to decrease when agglomeration percentage reached a value able to affect significantly the system stability, in which agglomerates growth tended to cause the system collapse. This behavior was most evident for small size seed particles and continuous operating mode. The changes in the standard deviation of the amplitude of pressure fluctuation signals showed strong evidence that this method would be able to detect changes in system dynamics and can be a useful tool for process control and system monitoring. Different operational variables, feed flow rate and fluidizing air flow rate, were used to analyze fluidized bed performance using intermittent mode and microcrystalline cellulose pellets as seed particles. Operating conditions that promoted higher coating efficiency and lower percentage of agglomeration were selected to be used in processes to evaluated different feed compositions loaded with herbal extract and encapsulating agents of two types, Arabic gum and whey protein, associated with stearic acid and poloxamer 407. Process performance was evaluated by coating efficiency and percentage of agglomeration. Products were evaluated by flow properties and the retention of bioactive compounds: cafeic acid, rosmarinic acid, carnosol and carnosic acid, determined by HPLC-DAD. Both compositions presented high coating efficiency and retention of bioactive compounds. Products were submitted to accelerated and long-term stability tests. Bioactive compounds of all granules suffered degradation during the tests with total loss of carnosol and carnosic acid. In vitro gastrointestinal digestion assays were carried out with the two types of products obtained. The concentrations of caffeic and rosmarinic acids did not change significantly during the digestion process, both in the simulation of gastric as intestinal conditions. The carnosol and carnosic acid have undergone total loss at the end of the intestinal phase in both types of products. The two types of granules with different encapsulating agents, were coated with Opadry® II aiming to provide greater stability against degradation of bioactive compounds. Higher protection of carnosol occurred in the granules containing gum Arabic subjected to long term stability test at 30 ° C, 75% RH, but this protection was not effective for any of the granules subjected to accelerated stability testing at 40 °C. The results provide strong evidence of the feasibility of the fluidised bed as a promising method for production of encapsulated phytopharmaceutical compositions with adequate pharmacotechnical and physicochemical properties.

A presente pesquisa tem por objetivo verificar se o Procedimento de Desenhos-Estórias se constitui como instrumento válido e preciso para diagnosticar Transtorno Depressivo Maior. A amostra foi composta por 60 sujeitos adultos, divididos igualmente em dois subgrupos, ou seja, 30 pacientes com diagnóstico de Transtorno Depressivo Maior Moderado e 30 sujeitos sem a patologia e com ausência de histórico de Depressão. Os instrumentos utilizados foram o Procedimento de Desenhos-Estórias, o Inventário de Depressão Beck (BDI) e a entrevista clínica estruturada para o DSM-IV-TR, também conhecida como SCID-NP, com a finalidade de evitar diagnósticos de falsos negativos e falsos positivos nos resultados do Inventário (BDI), facilitando o diagnóstico diferencial de Transtorno Depressivo Maior sem comorbidades. Depois de definidos os participantes da amostra e aplicados os três instrumentos nos mesmos, convidaram dois juízes, para avaliar os dados dos Desenhos- Estórias. As análises foram feitas em três etapas: na primeira, os avaliadores deveriam separar os protocolos às cegas pautando-se somente nos desenhos do procedimento. Na segunda, deveriam separar os protocolos, pautando-se somente nas histórias e, na terceira, deveriam, utilizando pautas de análise, separar os 60 protocolos, levando-se em conta tanto os desenhos quanto as histórias. Para tanto, utilizou-se um total de 94 itens extraídos da literatura que possibilitam observar a patologia em técnicas projetivas. Posteriormente a essa análise, procedeu-se ao estudo de precisão, e um terceiro juiz também foi convidado para avaliar os protocolos. Nessas análises, os juízes deveriam avaliar os protocolos, atribuindo zero, se os 94 itens estivessem ausentes e um, se estivessem presentes. A partir disso, foram comparadas as análises dos mesmos da seguinte maneira: no estudo de validade, foram correlacionadas, por meio do Coeficiente Produto-Momento de Pearson, as avaliações dos juízes entre si e dos juízes com o critério externo. Também foram utilizados o Qui-Quadrado, o Teste Exato de Fischer e o Teste t para verificar se os itens utilizados na pesquisa permitiam discriminar os sujeitos dos dois subgrupos. No estudo de precisão, foram comparadas as avaliações dos juízes entre si por meio do Coeficiente Produto-Momento de Pearson, e levantou-se, em alguns casos, a Porcentagem de Acordo entre as avaliações. Os resultados indicaram que os juízes conseguiram separar os protocolos, quando se basearam nas histórias e utilizaram os critérios definidos pela literatura. Além disso, foi possível observar que os itens, em sua maioria, são claros o suficiente para permitir realizar avaliações precisas. Por outro lado, os itens que permitem discriminar as populações não são muitos, o que indica ser necessária a realização de outros estudos com o instrumento, para ser possível caracterizar melhor quais são os critérios que permitem evidenciar a amostra depressiva. Contudo, considerou-se o Procedimento de Desenhos-Estórias um instrumento capaz de ser utilizado em casos em que a hipótese de Transtorno Depressivo esteja presente. / The present research have for objective to verify whether the procedure Story-Drawing is as valid and reliable to diagnose Major Depressive Disorder. The sample consisted of 60 adults, equally divided into two subgroups, this is, 30 patients diagnosed with Major Depressive Disorder Moderate and 30 subjects without pathology and with no history of depression. The instruments used were the Procedure of Drawing-Stories, the Beck Depression Inventory (BDI) and Structured Clinical Interview for DSM-IV-TR, also known as SCID-NP, in order to avoid false-negative diagnoses and false positives the results of the Inventory (BDI) and to facilitate the differential diagnosis of Major Depressive Disorder without co-morbidities. After drafting the participants in the sample and applied the three instruments in them, asked two judges to evaluate the data of Story-Drawing. The tests were done in three stages: first the evaluators should separate protocols blindly while observing only the drawings of the procedure. The second would separate protocols while observing only the stories and the third should now using patterns of analysis, 60 separate protocols taking into account both the drawings and stories. To this end, we used a total of 94 items taken from the literature that allow you to observe the condition in projective techniques. Following this analysis, it proceeded to the study of accuracy and a third judge was also asked to evaluate the protocols. These analyzes judges should evaluate the protocols by assigning zero if the 94 items were missing and one if they were present. From this we compared the analysis of the same as follows: the validity study were correlated by the coefficient product-moment Pearson evaluations of judges between themselves and the judges with the external criterion. We also used the Chi-square, Fischer exact test and T test to verify that the items used in the study allowed the subjects to discriminate the two subgroups. In the accuracy study, were compared the ratings of judges among themselves through the Product-Moment Coefficient of Pearson and rose in some cases the percentage of agreement between evaluations. The results indicated that judges were able to separate when the protocols were based on the stories and used the criteria defined by the literature. Furthermore, it observed that the items are mostly clear enough to allow accurate assessments. On the other hand, items that allows to determine the populations are not many, which indicates the need for further studies with the instrument to be able to better characterize what are the criteria for demonstrating the depressed sample. However, it was considered the Procedure of Story-Drawing an instrument able to be used in cases where the hypothesis of Depressive Disorder is present.

OBJETIVO: Verificar o impacto da condição física e pulmonar pré-operatória sobre a evolução pós-operatória intra-hospitalar e o desempenho funcional após alta hospitalar, por meio de avaliação de teste de caminhada de seis minutos (TC6M), comportamento de variabilidade de frequência cardíaca (VFC), função pulmonar e força muscular respiratória em crianças e adolescentes submetidos à correção cirúrgica de cardiopatias congênitas. MÉTODO: Foram avaliados 96 pacientes; dos quais 81 entraram no protocolo. Todos os pacientes foram avaliados utilizando TC6M, VFC, analisados nos domínios tempo e frequência em repouso, espirometria e pressões inspiratórias (PImax) e expiratória (PEmax) máximas nos momentos pré, pós-operatório e 90 dias após a alta hospitalar. As variáveis respostas compreenderam dados de pré-operatório, pós-operatório, complicações hemodinâmicas, cirúrgicas, respiratórias, infecciosas e óbito. Consideramos, além disso, tempo de permanência em unidade de terapia intensiva (UTI) e de internação hospitalar. Para análise estatística foi aceito nível mínimo de significância de p < 0,05. RESULTADOS: Observamos impacto positivo 90 dias após a alta hospitalar na distância caminhada no TC6M com o valor de pré-operatório de 521,88±96,94 metros para 579,28±83,36 metros após 90 dias (p<0,001). A queda significativa na SpO2 imediatamente após o TC6M esteve relacionada com o aumento do tempo de internação em UTI e hospitalar (rP = -0,386 e -0,283 e p = 0,006 e 0,014, respectivamente). Na espirometria os pacientes apresentaram padrão restritivo com recuperação de seus valores 90 dias após a alta e a força muscular respiratória indicou correlação positiva na distância caminhada (rP = 0,4, p<0,05). Valores baixos de VFC demonstraram correlação negativa e significativa durante a internação hospitalar (rP = -0,286, p < 0,05). Na análise multivariada, a variável pNN50 da VFC demonstrou associação significante com a presença de morbimortalidade (p = 0,009). Para as variáveis respostas (complicações) foi observado que LF apresentou associação com complicações hemodinâmicas (p = 0,014) e cirúrgicas (p = 0,007); SpO2 em repouso foi a variável associada com complicações respiratórias (p = 0,033) e IMC, com complicações infecciosas (p = 0,026). CONCLUSÕES: Nossos dados sugerem que a magnitude da reserva dos sistemas cardiovascular e respiratório no período pré-operatório, caracterizada pela distância caminhada e SpO2 reduzidas, associou-se com o tempo de internação na UTI e hospitalar. As variáveis pNN50 e LF, representantes da variabilidade da frequência cardíaca, a SpO2 em repouso e o índice de massa corpórea foram os fatores que se associaram à ocorrência de morbimortalidade. A variabilidade da frequência cardíaca esteve reduzida, com diminuição da atividade parassimpática e aumento da atividade simpática, sugerindo a existência da disfunção autonômica em crianças e adolescentes com cardiopatias congênitas / PURPOSE: To evaluate the impact of the preoperative physical and pulmonary condition on the immediate postoperative course and the functional performance after hospital discharge by means of six minute walk test (6MWT), behavior of heart rate variability (HRV), lung function and respiratory muscle strength in children and adolescents who underwent congenital heart diseases surgery. METHOD: Ninety-six patients were evaluated, of whom 81 entered the protocol. All patients were evaluated using the 6MWT, HRV performed at rest in the time and frequency domains, spirometry, maximum inspiratory (MIP) and expiratory (MEP) pressures, during pre, postoperative and 90 days after discharge. Outcome variables included preoperative, postoperative data and hemodynamic, surgical, respiratory infectious complications and mortality. We also considered time of intensive care unit (ICU) and discharge. For statistical analysis was considered a minimum significance level of p < 0.05. RESULTS: We observed a positive impact 90 days after hospital discharge on the 6MWT distance, with the preoperative value 521.88 ± 96.94 meters to 579.28 ± 83.36 meters 90 days after discharge (p <0.001). A significant decrease in SpO2 immediately after 6MWT is related to the increase in the length of ICU and hospital stay (rP = -0.386 and -0.283 and p = 0.006 and 0.014, respectively). Spirometry showed a restrictive pattern with recovery the values 90 days after hospital discharge and respiratory muscle strength was positively correlates with walked distance (rP = 0.4; p < 0.05). Lower values of HRV had a negative correlation during hospital stay (rP = -0.286, p < 0.05). In multivariate analysis, pNN50 value of HRV showed significant association with the presence of morbidity and mortality. To outcome variables (complications) was observed that LF value was associated with hemodynamic (p = 0.014) and surgical complication (p = 0.007), SpO2 at rest was the variable associated with respiratory complications (p = 0.033) and IMC, with infectious complications (p = 0.026). CONCLUSIONS: Our data show that the magnitude of the reserve of the cardiovascular and respiratory systems in the preoperative period characterized by the distance walked and SpO2 was associated with the reduced length of stay in ICU and hospital. The variables pNN50 and LF, representatives of the HRV, SpO2 at rest and body mass index were factors that were associated with the occurrence of morbidity and mortality. The heart rate variability was reduced, with decreased parasympathetic and increased sympathetic activity suggesting the impaired autonomic function in children and adolescents with congenital heart disease

Em projetos de desenvolvimento a qualidade do produto de software é fundamental para o seu sucesso. Uma das etapas que busca garantir a qualidade do produto final é a validação, verificação e teste (VV&T). O teste é uma das atividades chave de VV&T realizada para garantir a qualidade. Técnicas de teste foram desenvolvidas para verificar e validar tanto requisitos funcionais como não funcionais. Além disso, essas técnicas são aplicadas nas organizações por meio de estratégias que definem os tipos de teste que serão realizados, a ordem de realização, a sua automatização e a frequência de ocorrência. Uma questão importante é verificar como essa atividade é realizada na indústria de software, como essas técnicas são utilizadas e a sua adoção em organizações desenvolvedoras de software. Este trabalho apresenta uma pesquisa qualitativa da atividade de teste. Ela utilizou a técnica teoria fundamentada aplicada em cinco empresas desenvolvedoras de software para estabelecer uma teoria da atividade de teste. Foram realizadas entrevistas com gestores de teste das empresas e, a partir dessas entrevistas, foi desenvolvido uma teoria sobre a organização da atividade de teste. Nesta teoria, observou-se que a estrutura organizacional direciona a escolha das técnicas e ferramentas, bem como o tipo do sistema; o prazo e orçamento condicionam a utilização de técnicas de automatização / In development projects the quality of the software product is critical to its success. One of the steps that enforces the quality of the final product is validation, verification and testing (VV&T). Testing is one of the key VV&T activities to ensure quality. Testing techniques were developed to verify and validate both functional and non-functional requirements. In addition, these techniques are applied in organizations using strategies that define the testing techniques that will be performed, the order of application, their automation and the frequency of occurrence. An important issue is to verify how testing is carried out in the software industry, how these techniques are used and their adoption in industrial settings. This work presents a qualitative research of the testing activity. It used the grounded theory technique applied in five software development organizations to establish a model of the testing activity. Interviews were conducted with testing managers and, from these interviews, an organizational theory of the testing activity was developed. In this theory, it was observed that the organizational structure directs the choice of techniques and tools, as well as the type of the system; project schedule and budget limit the use of automation techniques

Submitted by JOSIANE SANTOS DE OLIVEIRA (josianeso) on 2017-10-25T13:48:51Z No. of bitstreams: 1 Samuel Lessinger_.pdf: 3503378 bytes, checksum: 92c0e6ccfb6dfb145bc9a84b3ce1ceed (MD5) / Made available in DSpace on 2017-10-25T13:48:52Z (GMT). No. of bitstreams: 1 Samuel Lessinger_.pdf: 3503378 bytes, checksum: 92c0e6ccfb6dfb145bc9a84b3ce1ceed (MD5) Previous issue date: 2017-09-21 / PADIS - Programa de apoio ao desenvolvimento tecnológico da indústria de semicondutores / O presente trabalho consiste em uma proposta de uma plataforma reconfigurável para testes de módulos de memória SDRAM DDR3. Testadores de módulos de memória consistem em sistemas de arquiteturas fechadas, nos quais o usuário possui pouca flexibilidade em sua utilização, transporte e são na maioria das vezes sistemas volumosos próprios para uso em bancadas. Neste cenário, uma plataforma portátil de baixo custo, que possibilite ao usuário descrever os algoritmos de teste torna-se interessante. A plataforma desenvolvida utiliza de Field Programmable Gate Arrays (FPGA) o que proporciona a característica de reconfiguração. Neste projeto foi proposta e validada uma estratégia de injeção de falhas do tipo Stuck-At-Zero, aliado a um sistema automático para coleta de vetores de teste e para a síntese em diferentes frequências de acesso aos módulos de memória. A etapa de validação do protótipo desenvolvido possibilitou reportar a captura de 131.751 falhas, graças ao framework criado para acompanhar a tarefa de injeção de falhas. / This work consists on a proposal of a DDR3 SDRAM memory module reconfigurable test platform. Memory module testers are usually closed architecture systems, in which the user has little flexibility in their use. In this scenario, a low-cost portable platform, which enables the user to describe his own test algorithm becomes interesting. This work explores the use of Field Programmable Gate Arrays (FPGAs) in order to construct a fully reconfigurable testing platform. In this work a Stuck-At-Zero fault injection strategy was proposed and validated. Results report the success in executing fault detection algorithms as well as the software framework developed for the fault injection campaign.

A prevalência de crianças com atrasos no desenvolvimento em um ou mais domínios varia entre 16 e 18% na literatura, mas estima-se que apenas 30% dos casos são detectados pelos profissionais de saúde. Em parte, este déficit na detecção se deve à falta de utilização de instrumentos de avaliação ou rastreio. No contexto brasileiro são poucos os instrumentos disponíveis para avaliar desenvolvimento infantil e, além disso, os que existem apresentam limitações. A presente tese teve como objetivo construir o Inventário Dimensional de Avaliação do Desenvolvimento Infantil (IDADI) para avaliação de crianças de zero a 72 meses com base no relato parental. Para a construção do IDADI, foram realizados três estudos. O Estudo I consistiu em uma revisão sistemática da literatura para identificar os instrumentos mais utilizados na avaliação dos marcos do desenvolvimento infantil e suas propriedades psicométricas. Ele forneceu as bases para a seleção dos domínios que integram o IDADI e para a construção de itens. O Estudo II realizou os procedimentos teóricos e metodológicos de construção do IDADI e a análise de evidências de validade de conteúdo. O Estudo III analisou as evidências de validade da estrutura interna do IDADI, a fidedignidade e as evidências de validade baseadas na relação com variáveis critério. Foram utilizados pressupostos da Teoria Clássica dos Testes e da psicometria moderna com a aplicação do modelo de Rasch. O processo de construção foi guiado com o rigor teórico e metodológico indicado pela literatura e apresentou evidências favoráveis de validade de conteúdo. Também foram comprovadas evidências de validade baseadas na estrutura interna, na relação com variáveis critério e de fidedignidade. Estes resultados fortalecem o potencial do IDADI para avaliação multidimensional do desenvolvimento infantil no contexto brasileiro, tanto na clínica como na pesquisa. Estudos futuros serão realizados para elaboração de normas de interpretação, de um inventário breve para utilização em programas de atenção infantil e de uma versão de tarefas para avaliação direta da criança. / The prevalence of children with developmental delays in one or more domains varies between 16 and 18% according to the literature, but it is estimated that only 30% of cases are detected by health professionals. In part, this deficit in detection is due to the lack of use of assessment or screening instruments. In the Brazilian context, there are few instruments available to evaluate child development, and, in addition, those that exist have some limitations. The purpose of this dissertation was to construct the Dimensional Inventory of Child Development Assessment (IDADI) to evaluate children from zero to 72 months based on parental report. For the construction of IDADI, three studies were carried out. Study I consisted of a systematic review of the literature to identify the most used instruments in assessing child developmental milestones and their psychometric properties. It has provided the basis for the selection of the domains that integrate IDADI and for the items construction. Study II have performed the theoretical and methodological procedures for the construction of IDADI and the analysis of content validity evidences. Study III have analyzed the evidences of validity for the internal structure of IDADI, reliability and validity evidences based on the relation with criterion variables. We used the assumptions of the Classical Test Theory and modern psychometric methods with the application of the Rasch model. The construction process was guided with theoretical and methodological rigor indicated by the literature and has demonstrated favorable evidences of content validity. Evidences of validity based on internal structure, criterion-related validity and reliability were established. These results reinforce the potential of IDADI for multidimensional assessment of child development in the Brazilian context, both in clinical and research contexts. Future studies will be conducted to stablish norms for interpretation, to create a short version for use in child care programs and a child direct assessment version including developmental tasks.

High-level language virtual machines (HLL VMs) have been playing a key role as a mechanism for implementing programming languages. Languages that run on these execution environments have many advantages over languages that are compiled to native code. These advantages have led HLL VMs to gain broad acceptance in both academy and industry. However, much of the research in this area has been devoted to boosting the performance of these execution environments. Few eorts have attempted to introduce features that automate or facilitate some software engineering activities, including software testing. This research argues that HLL VMs provide a reasonable basis for building an integrated software testing environment. To this end, two software testing features that build on the characteristics of a Java virtual machine (JVM) were devised. The purpose of the rst feature is to automate weak mutation. Augmented with mutation support, the chosen JVM achieved speedups of as much as 95% in comparison to a strong mutation tool. To support the testing of concurrent programs, the second feature is concerned with enabling the deterministic re-execution of Java programs and exploration of new scheduling sequences / Máquinas virtuais de linguagens de programação têm desempenhado um papel importante como mecanismo para a implementação de linguagens de programação. Linguagens voltadas para esses ambientes de execução possuem várias vantagens em relação às linguagens compiladas. Essas vantagens fizeram com que tais ambientes de execução se tornassem amplamente utilizados pela indústria e academia. Entretanto, a maioria dos estudos nessa area têm se dedicado a aprimorar o desempenho desses ambientes de execução e poucos têm enfocado o desenvolvimento de funcionalidades que automatizem ou facilitem a condução de atividades de engenharia de software, incluindo atividades de teste de software. Este trabalho apresenta indícios de que máquinas virtuais de linguagens de programação podem apoiar a criação de ambientes de teste de software integrado. Para tal, duas funcionalidades que tiram proveito das características de uma máquina virtual Java foram desenvolvidas. O propósito da primeira funcionalidade e automatizar a condução de atividades de mutação fraca. Após a implementação de tal funcionalidade na máquina virtual Java selecionada, observou-se um desempenho até 95% melhor em relação a uma ferramenta de mutação forte. Afim de apoiar o teste de programas concorrentes, a segunda funcionalidade permite reexecutá-los de forma determinística além de automatizar a exploração de que novas sequências de escalonamento

O exercício físico pode atenuar os efeitos do envelhecimento sobre o sistema nervoso central, por meio do aumento da expressão de neurotrofinas, tais como fator neurotrófico derivado do cérebro (BDNF), o qual promove a ramificação dendrítica e melhora da maquinaria sináptica, pela interação com seu receptor TrkB. Receptores TrkB são produzidos no corpo da célula e transportados aos terminais axonais, por meio de SLP1, CRMP2, Rab27B e Sortilina onde são ancorados para realizar seu papel fisiológico. Sabendo que a relação entre o tráfego de receptores de neurotrofinas e o treinamento físico ainda é pouco conhecida, o objetivo do presente trabalho é analisar os níveis do receptor TrkB, bem como de seus transportadores anterógrados e retrógrados, no sistema nervoso central de ratos idosos, modelos de neurodegeneração, expostos a diferentes protocolos de treinamento físico moderado. Os ratos do primeiro grupo experimental foram expostos a 1mg/kg/dia de Rotenona ou DMSO durante 4 semanas, depois, juntamente com a exposição à rotenona, realizaram treinamento físico moderado em esteira, 5 vezes por semana, durante 40 minutos; ou permaneceram em repouso. Os ratos do segundo grupo experimental realizaram 6 semanas de treinamento, sendo em seguida expostos à rotenona por 4 semanas, e subdividos em dois grupos, um que continuou o exercício e outro que ficou sedentário. Os resultados encontrados sugerem que o treinamento físico parece reverter ou prevenir de maneira geral os danos presentes na neurodegeneração considerando as proteínas do tráfego de BDNF e seu receptor, e ainda, que a magnitude e direção destas alterações está diretamente relacionada ao protocolo de treinamento físico, bem como, a região do sistema nervoso central analisada / Physical exercise can attenuate the effects of aging on the central nervous system by increasing the expression of neurotrophins such as brain-derived neurotrophic factor (BDNF), which promotes dendritic branching and enhances synaptic machinery, through interaction with its receptor TrkB. TrkB receptors are synthesized in the cell body and are transported to the axonal terminals, through SLP1, CRMP2, Sortilin and Rab27B, to where receptors are anchored to perform its physiological role. However, the aspects of the neurotrophin receptors traffic after physical training is still a matter of investigation. Thus, the present study aims to analyze the expression levels of TrkB receptor and their anterograde carriers in aged Lewis rats, model of neurodegeneration, and its relationship with moderate exercise training. Rats from the first experimental group were exposed to 1mg/kg/day of Rotenone (ROT) or DMSO for 4 weeks, and then subjected or not to moderate exercise running on treadmill, five days a week, 40 minutes a day, combined with the drug. Rats from the second experimental group were trained for 6 weeks, followed by exposure to rotenone during 4 weeks, rats were then subdivided into two groups, one that continued the exercise and the other became sedentary. Results suggest that exercise training appears to reverse or prevent the impairment related to neurodegeneration considering the proteins involved in BDNF signaling, and also that the magnitude and direction of these changes in directly related to the physical training protocol, as well as the area of the central nervous system analyzed

A insuficiência aórtica (IAo) crônica é uma lesão regurgitante, caracterizada pelo fluxo retrógrado de sangue durante a diástole. A utilização do exercício físico como forma de exploração das repercussões funcionais, caracterização da gravidade da IAo e determinação da classe funcional objetivamente, além da identificação de parâmetros funcionais capazes de identificar o estágio clínicofuncional na IAo é bastante atraente. Objetivos: avaliar a capacidade funcional dos portadores de IAo através do teste de esforço cardiopulmonar (TCP) e do teste de caminhada de seis minutos (TC6\'), subdivididos de acordo com a gravidade da regurgitação da válvula; comparar o desempenho desses portadores de IAo no TCP a um grupo de voluntários saudáveis; testar a reprodutibilidade do TC6\' nessa amostra de portadores de IAo. Casuística e métodos: os pacientes foram submetidos à ressonância magnética cardíaca e distribuídos em grupos IAo leve (n=6), IAo moderada (n=9) e IAo grave (n=10). Doze voluntários saudáveis foram incluídos (grupo controle - GC). Os voluntários estudados foram submetidos a um TCP máximo em cicloergômetro, com protocolo incremental do tipo rampa e a dois testes de caminhada de seis minutos (TC6\'-1 e TC6\'-2), com intervalo de 30 minutos entre eles. Resultados: no repouso, não encontramos diferença estatisticamente significante dos valores de VO2, frequência cardíaca e pressão arterial diastólica; a pressão arterial sistólica foi menor no GC, comparada ao grupo IAo grave. No esforço submáximo não identificamos diferença estatisticamente significante nos parâmetros, exceto pela potência que foi menor no grupo IAo grave quando comparada ao GC. A FC pico foi maior no GC, comparado ao grupo IAo leve e IAo moderada; a potência no pico do esforço foi maior no GC comparado aos grupos IAo leve, IAo moderada e IAo grave; a Ve no pico do esforço foi menor no grupo IAo grave quando comparado ao GC. No 9 grupo IAo grave, a medida de VO2 pico real foi menor que o VO2 pico predito, representando 77% do predito. Ve/VCO2 slope, OUES e pulso de O2 não foram diferentes entre os grupos. As medidas obtidas no TC6\', no repouso, no pico ou na recuperação, não demonstraram diferença estatisticamente significante entre os grupos; os TC6\'-1 e TC6\'-2 se mostraram reprodutíveis e houve fraca correlação entre VO2 pico obtido no TCP e distância percorrida do TC6\'-2 nos portadores de IAo, independente da gravidade da regurgitação da válvula. Conclusão: em portadores de IAo crônica pura assintomáticos, as medidas de trocas gasosas e as respostas hemodinâmicas e metabólicas frente ao exercício físico podem não caracterizar a gravidade da regurgitação da válvula. Apesar de assintomáticos ou minimamente sintomáticos, e de apresentarem modestos sinais de remodelamento ventricular esquerdo, os portadores de IAo grave apresentavam-se com capacidade funcional reduzida, podendo ser resultado do processo evolutivo da doença. O TC6\' não foi capaz de diferenciar os portadores de IAo crônica pura assintomáticos, porém mostrou ser reprodutível nessa amostra de pacientes com IAo, o que sugere ser essa ferramenta útil no seguimento desses pacientes e possível identificação de limitações funcionais que possam vir a surgir com a evolução da doença. / Aortic regurgitation (AR) is a chronic regurgitant lesion, characterized by the backflow of blood during diastole. The use of physical exercise as a form of exploration of functional repercussions, characterizing the severity of AR and objectively determining the functional class, and identification of functional parameters able to identify the clinical and functional stage in AR is quite attractive. Objectives: To evaluate the functional capacity of patients with AR through cardiopulmonary exercise testing (CPET) and the six-minute walk test (6MWT), subdivided according to the severity of valve regurgitation; compare the performance of these carriers in the CPET with group of healthy volunteers; test the reproducibility of the 6MWT in this sample of patients with AR. Methods: Patients underwent cardiac resonance magnetic and distributed in mild AR groups (n = 6), moderate AR (n = 9) and severe AR (n = 10). Twelve healthy volunteers were included (control group - CG). Volunteers studied were submitted to a maximum CPET ergometer with incremental protocol ramp type and two sixminute walk test (6MWT-1 and 6MWT-2) with an interval of 30 minutes between them. Results: at rest, no statistically significant difference in VO2 values, heart rate (HR) and diastolic blood pressure; systolic blood pressure was lower in the CG compared to the severe AR group. In submaximal effort, we did not identify statistically significant differences in the parameters, except for the load that was less severe AR group compared to the CG. HR peak was higher in the CG compared to the mild group and moderate AR; load at peak exercise was greater in the CG compared with the mild AR groups, moderate and severe AR; the Ve at peak exercise was lower in severe AR group when compared to the CG. In severe AR group, the measure VO2 real peak was lower than the predicted peak VO2, representing 77% of predicted. Ve / VCO2 slope, OUES and O2 pulse were not different between groups. The measurements obtained in the 6MWT, at rest, at 11 the peak or recovery, showed no statistically significant difference between the groups; the 6MWT-1 and 6MWT-2 proved to be reproducible and there was a weak correlation between peak VO2 obtained in TCP and the distance traveled 6MWT-2 in patients with AR, independent of valve regurgitation severity. Conclusion: in patients with pure chronic asymptomatic AR, measures gas exchange and hemodynamic and metabolic responses during physical exercise can not characterize the valve regurgitation severity. Although asymptomatic or minimally symptomatic, and present modest signs of left ventricular remodeling, the severe AR carriers presented with reduced functional capacity, may be the result of the evolutionary process of the disease. The 6MWT was not able to differentiate patients with pure chronic AR asymptomatic, but proved to be reproducible in this sample of patients with AR, which suggests that this useful tool in monitoring these patients and possible identification of functional limitations that may arise with the evolution of the disease.