Submitted by Josias Lima (josias@icomp.ufam.edu.br) on 2018-10-01T22:10:08Z No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação_josias-vfinal.pdf: 2426702 bytes, checksum: 608ad25d6314e5cbb942757762543ca1 (MD5) 313 ATA de Defesa - Josias Gomes Lima (Assinada).pdf: 621386 bytes, checksum: 7ecfd9469b78fb1425568cd0a2e5b066 (MD5) 313 Folha de Aprovação - Josias Lima (Assinada).pdf: 483409 bytes, checksum: 97c624af46d2aef955b7f2f2930fd1ad (MD5) CartaEncaminhamentoAutodepósito_Josias.pdf: 120108 bytes, checksum: fd11c4a58dfbac511b1e7e65ed95b59a (MD5) / Approved for entry into archive by Secretaria PPGI (secretariappgi@icomp.ufam.edu.br) on 2018-10-01T22:11:19Z (GMT) No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação_josias-vfinal.pdf: 2426702 bytes, checksum: 608ad25d6314e5cbb942757762543ca1 (MD5) 313 ATA de Defesa - Josias Gomes Lima (Assinada).pdf: 621386 bytes, checksum: 7ecfd9469b78fb1425568cd0a2e5b066 (MD5) 313 Folha de Aprovação - Josias Lima (Assinada).pdf: 483409 bytes, checksum: 97c624af46d2aef955b7f2f2930fd1ad (MD5) CartaEncaminhamentoAutodepósito_Josias.pdf: 120108 bytes, checksum: fd11c4a58dfbac511b1e7e65ed95b59a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-10-02T12:58:51Z (GMT) No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação_josias-vfinal.pdf: 2426702 bytes, checksum: 608ad25d6314e5cbb942757762543ca1 (MD5) 313 ATA de Defesa - Josias Gomes Lima (Assinada).pdf: 621386 bytes, checksum: 7ecfd9469b78fb1425568cd0a2e5b066 (MD5) 313 Folha de Aprovação - Josias Lima (Assinada).pdf: 483409 bytes, checksum: 97c624af46d2aef955b7f2f2930fd1ad (MD5) CartaEncaminhamentoAutodepósito_Josias.pdf: 120108 bytes, checksum: fd11c4a58dfbac511b1e7e65ed95b59a (MD5) / Made available in DSpace on 2018-10-02T12:58:51Z (GMT). No. of bitstreams: 5 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) dissertação_josias-vfinal.pdf: 2426702 bytes, checksum: 608ad25d6314e5cbb942757762543ca1 (MD5) 313 ATA de Defesa - Josias Gomes Lima (Assinada).pdf: 621386 bytes, checksum: 7ecfd9469b78fb1425568cd0a2e5b066 (MD5) 313 Folha de Aprovação - Josias Lima (Assinada).pdf: 483409 bytes, checksum: 97c624af46d2aef955b7f2f2930fd1ad (MD5) CartaEncaminhamentoAutodepósito_Josias.pdf: 120108 bytes, checksum: fd11c4a58dfbac511b1e7e65ed95b59a (MD5) Previous issue date: 2018-08-31 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / The unit test is the level of software testing by which individual parts of the source code are tested. Implementing this type of test brings some benefits such as reducing failures in existing resources, improving code structure, decrease side effects, and reducing fear of code change (Burke and Coyner, 2017). However, the test activity for mobile applications is time-consuming, causing some developers to choose not to create unit tests. Reduced time makes testing automation a necessity. In this context, this work proposes a plugin to assist developers in selecting components that have a greater value in relation to the cost x benefit of the unit test in mobile applications of the Android platform. To measure the value of cost and benefit of components, the following metrics were chosen: halstead effort (HE), future maintenance cost (FMC), code smells (CS), call frequency (CF), risk of failures (RF), market vulnerability (MV) and business value (BV). The proposed plugin has three main processes: (1) Extraction of static metrics; (2) Extraction of dynamic, market and business metrics; and (3) Execution of the genetic algorithm to select the components to be tested. The proposed plugin called SCoTUAM can be added to the development interface of the Android Studio IDE. In this work two empirical studies were carried out. In the first study, the purpose was to analyze the correlation of the metrics, where the result showed the possibility of using the combined FMC, CS, CF, RF, MV and BV metrics in a multiobjective solution. In the second study, the objective was to analyze the plugin’s effectiveness in selecting components with error compared to the manual selection performed by unit test specialists in Android mobile applications, where the result showed the feasibility of the proposal in assisting the developer in the selection of components for the unit test. / O teste de unidade é o nível de teste de software pelo qual partes individuais do código fonte são testadas. A realização deste tipo de teste traz alguns benefícios, tais como redução de falhas em recursos já existentes, melhoram a estrutura do código, diminuem os efeitos colaterais (side effects) e reduzem o medo da alteração do código (Burke e Coyner, 2017). No entanto, a atividade de teste para aplicações móveis tem o tempo reduzido, fazendo com que alguns desenvolvedores optem por não criar os testes de unidade. O tempo reduzido faz com que a automatização dos testes se torne uma necessidade. Nesse contexto, este trabalho propõe um plugin para auxiliar os desenvolvedores na seleção de componentes que tenham um maior valor em relação ao custo x benefício do teste de unidade em aplicações móveis da plataforma Android. Para medir o valor do custo e benefício dos componentes, foram escolhidas as seguintes métricas: halstead effort (HE), custo de manutenção futura (CMF), cheiros de código (CS), frequência de chamadas (FC), risco de falhas (RF), vulnerabilidade de mercado (VM) e valor de negócio VN. O plugin proposto possui três processos principais: (1) Extração de métricas estáticas, (2) Extração de métricas dinâmicas, de mercado e de negócio e (3) Execução do algoritmo genético para seleção dos componentes a serem testados. O plugin chamado SCoTUAM pode ser adicionado à interface de desenvolvimento da IDE Android Studio. Neste trabalho foram realizados dois estudos empíricos para avaliação do plugin proposto. No primeiro estudo, o propósito foi analisar a correlação das métricas, onde o resultado mostrou a possibilidade de usar as métricas CMF, CS, FC, RF, VM e VN combinadas em uma solução multiobjetivo. No segundo estudo, o objetivo foi analisar a eficácia do plugin em selecionar componentes com erro comparado com a seleção manual realizada por especialistas em teste de unidade em aplicações móveis Android, onde o resultado mostrou a viabilidade da proposta em auxiliar o desenvolvedor na seleção de componentes para o teste de unidade.

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2017-09-06T18:11:43Z No. of bitstreams: 2 Dissertação - Ludmila Irineu Toledo - 2017.pdf: 1781052 bytes, checksum: 809a5a8972f14af9bc5bd3cc2eb37f80 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-09-15T15:34:25Z (GMT) No. of bitstreams: 2 Dissertação - Ludmila Irineu Toledo - 2017.pdf: 1781052 bytes, checksum: 809a5a8972f14af9bc5bd3cc2eb37f80 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-09-15T15:34:26Z (GMT). No. of bitstreams: 2 Dissertação - Ludmila Irineu Toledo - 2017.pdf: 1781052 bytes, checksum: 809a5a8972f14af9bc5bd3cc2eb37f80 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-08-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Regression testing for database applications can be a computationally costly task as it often deals with databases with large volumes of data and complex SQL statements (for example, nested queries, set comparisons, use of functions and operators). In this context, some works only select a subset of the database for testing purposes, that is, select data to create a test database and thus improve test efficiency. But usually, the selection of test data is also a complex optimization problem. Thus, this work proposes a method of selecting test data for regression testing on SQL statements based on mutation analysis, called MutShrink. The goal is to minimize the cost of testing by reducing the size of the database while maintaining the same effectiveness as the original database. MutShrink consists of using the result of the generated mutants to evaluate the database and select tuples using filters in these results, selecting reduced sets of test data. Experiments were performed using a benchmark with complex SQLs and database with large data volume. We compared our proposal with the QAShrink tool and the results revealed that MutShrink overcame the QAShrink tool in 92.85 % of cases when evaluated by the Mutation Score metric and 57.14 % of cases when evaluated by the metric Full Predicate Coverage. / O teste de regressão para aplicações de banco de dados pode ser uma tarefa computacionalmente custosa, pois frequentemente lida com bancos de dados com grandes volumes de dados e instruções SQL com estruturas complexas (por exemplo, consultas aninhadas, comparação de conjuntos, uso de funções e operadores). Neste contexto, alguns trabalhos realizam seleção apenas de um subconjunto do banco de dados para fins de teste, ou seja, selecionam dados para criar um banco de dados de teste e assim, melhorar a eficiência do teste. Mas, normalmente, a seleção de dados de teste também é um problema complexo de otimização. Assim, este trabalho propõe um método de seleção de dados de teste para teste de regressão em instruções SQLs baseado em análise de mutação, chamado MutShrink. O objetivo é minimizar o custo do teste reduzindo o tamanho do banco de dados, mantendo a eficácia semelhante ao banco original. O MutShrink consiste em utilizar o resultado dos mutantes gerados para avaliar o banco de dados e selecionar tuplas a partir de filtros nestes resultados, selecionando conjuntos reduzidos de dados de teste. Foram realizados experimentos usando um benchmark com SQLs de estruturas complexas e banco de dados com grande volume de dados. Comparamos nossa proposta com a ferramenta QAShrink e os resultados revelaram que o MutShrink superou a ferramenta QAShrink em 92,85% dos casos quando avaliada pela métrica Escore de Mutação e em 57,14% dos casos quando avaliada pela métrica Full Predicate Coverage.

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.

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

Estudo de desenvolvimento metodológico de elaboração e validação de medidas de avaliação em saúde, que teve como finalidade contribuir com novas políticas de controle e prevenção de infecção hospitalar (CIH). Para tanto, foram construídos e validados três indicadores de avaliação de práticas de controle e prevenção da infecção hospitalar do trato urinário associada a cateter, conforme duas etapas metodológicas. Na primeira, tendo como referência bases conceituais de indicadores clínicos e medidas de avaliação em saúde, foram elaborados os indicadores: 1-Indicação e Permanência do Cateterismo Vesical (IUIC); 2- Condições de Manutenção do Cateterismo Vesical (IUMN) e 3- Infra-Estrutura para Procedimento de Cateterismo Vesical (IUIF). Na segunda etapa estes indicadores foram submetidos à validação de conteúdo, por meio de um método de validação opinativa de um grupo de nove especialistas, constituído de médicos e enfermeiras, com conhecimento e experiência em controle de infecção hospitalar, e representantes das áreas hospitalar, acadêmica, órgão governamental e entidades associativas. A validação foi realizada com o julgamento de cada indicador a partir de um instrumento previamente elaborado, que contemplava as seguintes etapas: I- Conteúdo do construto (manual operacional) do indicador; II- Atributos do conjunto do indicador; III- Componentes do indicador. O indicador 3 foi submetido, ainda, a mais uma etapa, referente à valoração, pelos juízes, de cada um de seus componentes. Foi previamente estabelecido um consenso mínimo de 75% de julgamento favorável dos juízes, de cada uma destas etapas. Em cada etapa solicitava-se também comentários e sugestões para ajuste dos indicadores. Nos resultados, os indicadores 1 e 2 obtiveram consenso favorável mínimo na grande maioria dos aspectos sob avaliação de cada etapa. Nos aspectos que não obtiveram consenso favorável mínimo as sugestões e comentários efetuados pelos juízes tornaram possível o ajuste destes indicadores e sua validação de conteúdo, sem necessidade de retorno aos juízes para novo julgamento. O indicador 3, apesar de ter obtido amplo consenso favorável nas etapas II e III, o mesmo não ocorreu em vários aspectos referentes à etapa I, assim como na valoração de relevância dos seus componente individuais. Além disto, os comentários e sugestões efetuados constataram a problemática deste indicador para avaliar adequadamente o que ele se propunha. Por este motivo, ele não pôde ser validado, na forma de construção originalmente apresentada. / This is a study on the methodological development of elaboration and validation of measures to evaluate health aiming to contribute to new control rules and to prevent nosocomial infection (CIH). Then, three evaluation indicators of control and prevention of nosocomial infection in the urinary tract associated to a catheter were built in accordance with two methodological phases. In the first phase, based on the conceptual basis of clinical indicators and evaluation measures in health, the indicators were elaborated: 1 - Indication and Permanence of Vesical Catheterism (IUIC); 2 – Maintenance Conditions of Vesical Catheterism (IUMN) and 3 – Infrastructure for procedures of Vesical Catheterism (IUIF). In the second phase, these indicators were submitted to a content validation by means of a validation method according to one group of nine experts, constitued of physicians and nurses, with knowledge and experience in nosocomial infection and representatives of the hospital, academic and governmental areas and associative institutions. The validation was performed according to judgment of each indicator based on a instrument previously elaborated, consisting of: I- Construct Content (operational guidebook) of the indicator; II- Features of the indicator set; III- Components of the indicator. The indicator 3 was still submitted to one more phase regarding valorization of each component, according to the judges. A minimum consensus of 75% of favorable arbitration from the judges was previously established for each phase. In each phase it was also asked comments and suggestions to adjust indicators. In the results, indicators 1 and 2 obtained a minimum favorable consensus in the great majority of the evaluating aspects for each phase. The aspects which did not obtain the minimum favorable consensus, suggestions and comments made by the judges made possible an adjustment of these indicators and their content validation, with no need of the judges to return for a new arbitration. The indicator 3, in spite of obtaining a comprehensive favorable consensus in the phases II and III, the same did not occur in many aspects of the phase I as well as in the relevance valoration of its individual components. Additionally, the comments and sugestions performed, considered the problematic of this indicator to adequatly evaluate its objective. Therefore, it could not be validated on its original construction.

Pectus excavatum é a deformidade congênita na parede torácica anterior mais comum e seu tratamento é essencialmente cirúrgico. Tratamentos cirúrgicos e repouso prolongado no leito levam a alterações metabólicas, músculoesqueléticas, cardiovasculares e respiratórias, que podem prolongar o tempo necessário para a recuperação funcional dos pacientes no pós-operatório, aumentar o tempo de internação e os custos em saúde. A reabilitação precoce após cirurgias, com a realização de exercícios físicos e respiratórios, reduzir estes efeitos adversos, garante melhor recuperação pós-operatória, com aumento da independência dos pacientes, maior bem-estar psicológico e melhores resultados funcionais. O objetivo deste estudo foi avaliar se os pacientes submetidos a reabilitação precoce após correção cirúrgica de Pectus excavatum pela técnica de Nuss apresentam melhor capacidade funcional de exercício e função pulmonar no dia da alta hospitalar quando comparados com os pacientes submetidos a cuidados convencionais. Os Candidatos a correção cirúrgica foram alocados aleatoriamente em 2 grupos: o grupo reabilitação precoce (GRP), que iniciou a intervenção logo após a cirurgia e o grupo de cuidados convencionais (GC), que recebeu os cuidados de rotina da instituição. O teste de função pulmonar por meio da espirometria simples e a avaliação da capacidade funcional de exercício pelo teste de caminhada de seis minutos (TC6), foram realizados antes da cirurgia (pré-operatório) e no dia da alta hospitalar (pós-operatório). Quarenta pacientes foram analisados, 20 em cada grupo. No teste de função pulmonar, todos os pacientes apresentaram redução significativa dos valores de CVF, VEF1 e PFE no pós-operatório, sem diferença entre os grupos. Todos os pacientes apresentaram redução significativa da distância percorrida no TC6 pós-operatório comparada com a distância percorrida no pré-operatório (p < 0,005). Houve diferença estatisticamente significante entre o GRP e GC na avaliação pós-operatória (506.26 ± 66.54 vs 431.11 ± 75.61, p=0.02), e a diferença entre as distâncias percorridas no pré-operatório e no dia da alta hospitalar foi significativamente menor no GRP em comparação com o GC (76.57 ± 49.41 vs 166.82 ± 70.13, p < 0.001). Concluímos que os pacientes submetidos a reabilitação precoce após técnica de Nuss apresentam melhor capacidade funcional de exercício no dia da alta hospitalar em comparação com os pacientes do grupo convencional, sem diferença da função pulmonar entre os grupos / Pectus excavatum is the most common congenital chest wall deformity and its treatment is essentially surgical. Surgical treatments and postoperative bed rest lead to metabolic, musculoskeletal, cardiovascular and respiratory alterations, with the possibility of prolonging the time required for postoperative patient recovery, increasing hospitalization time and health expenditure. Early rehabilitation after surgeries, which involves physical and breathing exercises, reduces these adverse effects and ensure better postoperative recovery, with increased independence of patients, greater psychological well-being and better functional outcomes. The objective of this study was to assess whether patients undergoing early rehabilitation after Pectus excavatum repair using the Nuss procedure have better functional exercise capacity and lung function on hospital discharge day compared with patients undergoing conventional care. Patients were randomly allocated into two groups: the early rehabilitation group (ERG) which started rehabilitation after surgery and the group of conventional care (CG) which received routine care of the institution. The lung function was assessed by simple spirometry and the functional exercise capacity by the 6-minute walk test (6MWT) were performed before surgery (preoperative) and in hospital discharge day (postoperative). Forty patients were evaluated, 20 in each group. All patients presented a significant reduction in FVC, FEV1 and PEF in the postoperative lung function test and there was no statistically significant difference between groups. All patients showed significant reduction in postoperative distance walked in 6MWT compared with the preoperative distance (p < 0.005). There was statistically significant different in functional exercise capacity between the ERG and CG in the postoperative evaluation (506.26 ± 66.54 vs 431.11 ± 75.61, p=0.02) and the difference between distance walked in the preoperative and postoperative period was significantly lower in the ERC compared to the CG (76.57 ± 49.41 vs 166.82 ± 70.13, p < 0.001). We conclude that patients undergoing early rehabilitation after Nuss procedure presented better postoperative functional exercise capacity in hospital discharge day compared to patients in the conventional group, with no difference in lung function between groups

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.

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 teste de software engloba diferentes técnicas, métodos e conceitos capazes de garantir a qualidade dos mais variados tipos de sistemas. Dentre tais técnicas, encontra-se o teste baseado em Máquinas de Estados Finitos (MEFs), que visa a garantir a conformidade entre a implementação e a especificação de um software. Com esse propósito, diversos métodos foram propostos para a geração de seqüências de verificação que garantam cobertura total das possíveis falhas existentes em uma implementação. A maioria dos métodos conhecidos são baseados na utilização de seqüências de distinção. Esse recurso, porem, não existe para toda MEF. Alguns métodos buscam a geração de seqüências de verificação baseados em recursos alternativos as seqüências de distinção, contudo, as seqüências geradas são exponencialmente longas. Este trabalho apresenta um método para geração de seqüências de verificação que visa a reduzir o tamanho das seqüências geradas para o domínio de MEFs que não dispõem de seqüência de distinção. Para isso, o método proposto baseia-se na utilização de conjuntos de distinção. Uma avaliação experimental foi realizada afim de mensurar a redução proporcionada pelo método proposto em relação aos principais métodos existentes na literatura. Com esse intuito, foram geradas MEFs aleatórias sob a perspectiva diferentes fatores. Em relação a variação do número de estados, os resultados indicaram reduções acima de 99; 5% em comparação com os métodos existentes, quando analisadas 75% das MEFs geradas / Software testing involves several techniques, methods, and concepts employed to guarantee a high level of quality in different application domains. Among such techniques, Finite State Machine (FSM) based testing aims to guarantee the conformance between the implementation and the specification of a system under test. In this context, several methods were proposed to generate checking sequences that cover all the possible faults existing in an implementation. Most of these methods are based on a special sequence, named distinguishing sequence, which does not exist for every minimal machine. Some methods were proposed to generate checking sequences based on alternative solutions in order to be applied on FSMs that do not have distinguishing sequences. However, these methods generate checking sequences exponentially long. This work proposes a method to generate checking sequences using identification sets. These sets exist for every minimal FSM and also lead to shorter checking sequences. We conducted an experimental study to compare the proposed method with the main existing methods. In the experiments, we used random FSMs that have different configurations of states, inputs, and outputs. Concerning the variation of number of states, the results show reductions higher than 99:5% in comparison with the existing methods for 75% of the experimented machines

O mecanismo de tratamento de exceções disponível em linguagens orientadas a objetos está sendo cada vez mais utilizado e representa cerca de 8% das linhas de código em programas escritos com linguagens de terceira geração, de acordo com algumas pesquisas. No entanto, este mecanismo está entre os menos compreendido pelos desenvolvedores e menos testado. A dificuldade de testar exceções aumenta na fase de teste de integração, porque exceções lançadas em um determinado nível e não tratadas podem subir na hierarquia de chamada. O uso de aspectos também pode introduzir novos tipos de defeitos, como por exemplo um adendo pode inserir lançamentos de exceções no programa sem que exista algum tratamento previsto para elas. Este trabalho apresenta uma proposta para testes de integração estrutural de fluxos de exceções de programas Java e AspectJ. Isto é feito propondo-se alterações na representação do fluxo de exceção no grafo de fluxo de controle integrado e propondo-se novos critérios baseados no fluxo de exceção. Além disso, essas propostas foram implementadas e geraram uma extensão da ferramenta chamada Ja-BUTi/AJ. Para avaliar a proposta deste trabalho, um estudo de caso e um experimento formal foram conduzidos. O estudo de caso teve como objetivo validar a extensão da JaBUTi/AJ desenvolvida e fazer uma avaliação inicial do custo de aplicação dos critérios propostos. O experimento formal realizou uma comparação entre as ferramentas JaBUTi/AJ e VITTAE no contexto do teste do fluxo de exceções. Ambos os estudos são apresentados e discutidos nesta dissertação / Exception handling mechanisms available in object-oriented languages have become increasingly used and account for about 8% of the lines of code in modern programs according to some empirical researches. Yet, this mechanism is among the least understood by programmers and the less tested. The difficulty of testing exceptions increases in the phase of integration testing (e.g. inter-class testing) because exceptions raised on a certain level and not handled can flow through the call hierarchy. Using aspects also cause other types of errors, e.g. an advice can insert exceptions not foreseen by the base program. This paper presents a proposal for structural integration testing of exception flows of Java and AspectJ programs. This is done by proposing changes to the classic control ow graph and by proposing new criteria based on the exception ow. Moreover, these proposals have been implemented in a tool named JaBUTi/AJ. To evaluate the proposal of this work, a case study and a formal experiment have been conducted. The case study had the objective of validating the JaBUTi/AJ extension developed and making a preliminary assessment of the cost to use the tool. The formal experiment made a comparison between the tools JaBUTi/AJ and VITTAE in the context of exception flow test. Both studies are presented and discussed in this dissertation