Tratamento do Centro de Atenção Psicossocial para usuários de álcool e outras drogas CAPSad II Leste Natal/RN : uma avaliação da efetividade

The treatment for abusive users of alcohol and other drugs suffered significant modifications until arriving to the psychosocial model that is used by Centro de Atenção Psicossocial CAPSad II Eastern Natal/RN (Psychosocial Support Center). That model appears starting from Brazilian sanitary and psychiatric reforms which are expressed in the principles and propositions of Sistema Único de Saúde SUS (Unique System of Health). The Psychiatric Reform meant a rupture with the mental hospital and hospital centered treatment pattern which was destined to the abusive users of alcohol and other drugs. The new proposal offers the universalization, democratization, regionalization and completeness of the actions in the field of mental health. It gathers a strictly interdisciplinary health staff. The purpose of this study is to evaluate the effectiveness of the treatment for abusive users of alcohol and other drugs offered by CAPSad II Eastern Natal/RN. The evaluation used, as priority, the qualitative social research through an evaluating study starting from the non-experimental model. The methodological process used different instruments of data collection: bibliographical and documental researches, systematic observations at CAPSad II Eastern Natal/RN and, mainly, the semistructured interviews (21) that were accomplished with the professionals, users and relatives of CAPSad II Eastern Natal/RN. The investigation showed the effectiveness of the service and, therefore, CAPSad II Eastern Natal/RN constitute itself as the main confronting strategy to the mental hospital and hospital centered treatment pattern of caring the abusive users of alcohol and other drugs

O Desenvolvimento local sustentável no semi-árido nordestino: um estudo de caso na comunidade de mirandas, Caraúbas/RN

Brazil s semi-arid region is an immense territory characterized by a mosaic of natural environments and human settlements. Inside this multifaceted framework, there are problems that are specific to the region (the water resources situation, for example) while others are more universal (such as the inequality between men and women). The circumstances that give rise to these problems are complex and require a holistic view so that our understanding can go beyond the simple concept that this is a problem region . The semi-arid must be perceived as a viable area in need of a new analysis, taking into account its successes, limitations, challenges and the strategic public policy framework that guarantees its sustainable development. The dissertation analyzes, from a sustainable local development perspective, the experience of the Northeastern Brazil Groundwater Project (PROASNE), carried out from 2001 to 2003, in partnership with the Waters and Sewers Company of Rio Grande do Norte (CAERN) in the rural community of Mirandas, municipality of Caraúbas/RN, situated in the middle of the northeastern Brazil semi-arid region

Comparação da cifose torácica e capacidade funcional de mulheres idosas com e sem osteoporose

A diminuição da densidade mineral óssea das vértebras, própria do processo de envelhecimento e que pode ser agravada pela osteoporose, determina uma diminuição da região anterior dos corpos vertebrais, resultando em compressão e colapso dessas vértebras, com maior estreitamento dos discos e espaços intervertebrais. Essas novas condições interferem no funcionamento normal de órgãos e sistemas do organismo. O objetivo foi avaliar o grau de cifose torácica e a capacidade funcional de mulheres idosas com e sem osteoporose. Foram avaliadas 30 idosas ativas fisicamente, sendo 20 sem osteoporose ( GSO: 65,1± 4,67 anos) e 10 idosas com osteoporose (GCO: 68,6± 6,46anos). Foram avaliados a medida da cifose torácica, teste de caminhada de seis minutos (TC6'), Timed Up and go (TUG) e força dos músculos respiratórios (PImáx e PEmáx). Os dados obtidos foram analisados utilizando o teste t de Student. O nível de significância utilizado foi de 5% (α£ 0,05). Houve diferença significativa entre os grupos sem (GSO) e com osteoporose (GCO) somente no TC6'(GSO: 426,63±46,36 m; GCO: 392,64±36,68 m , α =0,02). As outras variáveis analisadas não apresentaram diferença significativa (Cifose torácica: α = 0,17; TUG: α =0,49; PImax: α =0,45; PEmax: α =0,19). A osteoporose não influenciou o grau de cifose torácica, a força dos músculos respiratórios e mobilidade das idosas. Entretanto, o desempenho no TC6' foi influenciado negativamente pela osteoporose.

Mensuração da qualidade de vida de indivíduos com a doença de Parkinson por meio do questionário PDQ-39

INTRODUÇÃO: A doença de Parkinson (DP) é caracterizada por uma degeneração progressiva seletiva de neurônios localizados na pars compacta da substância negra. Ela compõe-se por um conjunto de quatro sintomas motores: tremor, rigidez, bradicinesia e instabilidade postural. OBJETIVO: O estudo objetivou investigar os fatores relacionados à queda na percepção da qualidade de vida de indivíduos com DP. MATERIAIS E MÉTODOS: Participaram deste estudo 25 indivíduos com diagnóstico de doença de Parkinson, classificados entre os estágios um e cinco da escala de estadiamento de Hoen e Yahr, tendo a sua qualidade de vida avaliada segundo o Parkinson Disease Questionary-39 (PDQ-39). RESULTADOS: Os 25 indivíduos (12 homens e 13 mulheres) apresentaram idade média de 71,2 ± 8,5 anos, variando entre 53 a 85 anos, e tempo de evolução da doença de 6,54 ± 7,71, variando entre 1 e 39 anos de doença. Verificou-se que as piores percepções sobre a qualidade de vida estão relacionadas ao domínio mobilidade, com média de 55% de comprometimento, e ao domínio atividade de vida diária, com 52,78% de comprometimento. Ficou também constatada uma alta correlação entre o escore total do PDQ-39 com os domínios atividade de vida diária, bem-estar emocional e mobilidade. CONCLUSÕES: A partir dos resultados obtidos, é possível constatar que carências de origem motora associadas aos sinais e sintomas e às complicações secundárias da DP interferem negativamente sobre a percepção da qualidade de vida dos indivíduos.

Estudo multicêntrico sobre escalas para grau de comprometimento em disfagia orofaríngea neurogênica

OBJETIVO: Analisar a concordância entre distintas escalas para grau de comprometimento em disfagia orofaríngea neurogênica. MÉTODOS: Foi realizado estudo clínico transversal. Participaram 200 indivíduos com disfagia orofaríngea neurogênica, 108 do gênero masculino e 92 do gênero feminino, com idades de 3 meses a 91 anos. Foram aplicadas quatro escalas para classificar o grau de comprometimento da disfagia orofaríngea, sendo duas escalas clínicas e duas videofluoroscópicas. Análises estatísticas foram realizadas para verificar a concordância entre as escalas clínicas e objetivas. RESULTADOS: Os resultados mostraram concordância muito boa entre as escalas clínicas estudadas (Kappa=0,92) e concordância moderada entre as escalas objetivas (Kappa=0,52). CONCLUSÃO: Embora a concordância entre as escalas clínicas tenha sido muito boa e entre as escalas objetivas tenha sido moderada, ainda é necessária ampla discussão e possível revisão dos parâmetros que definem o grau de comprometimento da disfagia orofaríngea em pacientes neurológicos.

Perfil de habilidades de comunicação de dois irmãos com a Síndrome Alcoólica Fetal

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

The influence of sour taste and cold temperature in pharyngeal transit duration in patients with stroke

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Geração automática de testes a partir de descrições de linguagens

Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we present an approach for definition of tests from the formal description of the entries of the program. The generation of the sentences is performed by taking into account syntactic aspects defined by the specification of the entries, the grammar. For optimization, their coverage criteria are used to limit the quantity of tests without diminishing their quality. Our approach uses these criteria to drive generation to produce sentences that satisfy a specific coverage criterion. The approach presented is based on the use of Lua language, relying heavily on its resources of coroutines and dynamic construction of functions. With these resources, we propose a simple and compact implementation that can be optimized and controlled in different ways, in order to seek satisfaction the different implemented coverage criteria. To make the use of our tool simpler, the EBNF notation for the specification of the entries was adopted. Its parser was specified in the tool Meta-Environment for rapid prototyping

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases

Uma abordagem sistemática para implementação, gerenciamento e customização de testes de linhas de produto de software

Through the adoption of the software product line (SPL) approach, several benefits are achieved when compared to the conventional development processes that are based on creating a single software system at a time. The process of developing a SPL differs from traditional software construction, since it has two essential phases: the domain engineering - when common and variables elements of the SPL are defined and implemented; and the application engineering - when one or more applications (specific products) are derived from the reuse of artifacts created in the domain engineering. The test activity is also fundamental and aims to detect defects in the artifacts produced in SPL development. However, the characteristics of an SPL bring new challenges to this activity that must be considered. Several approaches have been recently proposed for the testing process of product lines, but they have been shown limited and have only provided general guidelines. In addition, there is also a lack of tools to support the variability management and customization of automated case tests for SPLs. In this context, this dissertation has the goal of proposing a systematic approach to software product line testing. The approach offers: (i) automated SPL test strategies to be applied in the domain and application engineering, (ii) explicit guidelines to support the implementation and reuse of automated test cases at the unit, integration and system levels in domain and application engineering; and (iii) tooling support for automating the variability management and customization of test cases. The approach is evaluated through its application in a software product line for web systems. The results of this work have shown that the proposed approach can help the developers to deal with the challenges imposed by the characteristics of SPLs during the testing process

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Apoiando a Construcao de Testes de Aceitacao Automatizados a partir da Especificacao de Requisitos

A automação consiste em uma importante atividade do processo de teste e é capaz de reduzir significativamente o tempo e custo do desenvolvimento. Algumas ferramentas tem sido propostas para automatizar a realização de testes de aceitação em aplicações Web. Contudo, grande parte delas apresenta limitações importantes tais como necessidade de valoração manual dos casos de testes, refatoração do código gerado e forte dependência com a estrutura das páginas HTML. Neste trabalho, apresentamos uma linguagem de especificação de teste e uma ferramenta concebidas para minimizar os impactos propiciados por essas limitações. A linguagem proposta dá suporte aos critérios de classes de equivalência e a ferramenta, desenvolvida sob a forma de um plug-in para a plataforma Eclipse, permite a geração de casos de teste através de diferentes estratégias de combinação. Para realizar a avaliação da abordagem, utilizamos um dos módulos do Sistema Unificado de Administração Publica (SUAP) do Instituto Federal do Rio Grande do Norte (IFRN). Participaram da avaliação analistas de sistemas e um técnico de informática que atuam como desenvolvedores do sistema utilizado.

Apoiando a construção de testes de aceitação automatizados a partir da especificação de requisitos

Automation has become increasingly necessary during the software test process due to the high cost and time associated with such activity. Some tools have been proposed to automate the execution of Acceptance Tests in Web applications. However, many of them have important limitations such as the strong dependence on the structure of the HTML pages and the need of manual valuing of the test cases. In this work, we present a language for specifying acceptance test scenarios for Web applications called IFL4TCG and a tool that allows the generation of test cases from these scenarios. The proposed language supports the criterion of Equivalence Classes Partition and the tool allows the generation of test cases that meet different combination strategies (i.e., Each-Choice, Base-Choice and All Combinations). In order to evaluate the effectiveness of the proposed solution, we used the language and the associated tool for designing and executing Acceptance Tests on a module of Sistema Unificado de Administração Pública (SUAP) of Instituto Federal Rio Grande do Norte (IFRN). Four Systems Analysts and one Computer Technician, which work as developers of the that system, participated in the evaluation. Preliminary results showed that IFL4TCG can actually help to detect defects in Web applications