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

Algoritmos de agrupamentos fuzzy intervalares e índice de validação para agrupamento de dados simbólicos do tipo intervalo

Symbolic Data Analysis (SDA) main aims to provide tools for reducing large databases to extract knowledge and provide techniques to describe the unit of such data in complex units, as such, interval or histogram. The objective of this work is to extend classical clustering methods for symbolic interval data based on interval-based distance. The main advantage of using an interval-based distance for interval-based data lies on the fact that it preserves the underlying imprecision on intervals which is usually lost when real-valued distances are applied. This work includes an approach allow existing indices to be adapted to interval context. The proposed methods with interval-based distances are compared with distances punctual existing literature through experiments with simulated data and real data interval

Estudos sobre dançatividade: dança – corpo – performance

A partir de trabalhos que questionam limites de linguagens artísticas, discute-se o termo dançatividade enquanto potência do corpo-artista. A escolha dos trabalhos se orientou pela percepção de tal potência como impulso para a desterritorialização dos campos específicos da dança para se re-territorializar em outro campo de fronteira pela própria experiência do corpo

Aspectos metodológicos relacionados aos sistemas manométricos utilizados em estudos hemodinâmicos

Atualmente, diante das técnicas atuais, a manometria tem sido relegada a plano secundário durante a cateterização cardíaca. No entanto, ainda fornece importantes informações para identificação e avaliação das doenças cardiovasculares. Os dados coletados durante os exames possibilitam a obtenção de variáveis quantitativas e qualitativas, as quais podem ser comparadas aos padrões normais. Os sistemas manométricos são compostos por transdutor, amplificador e registrador, que, em conjunto, devem espelhar com fidelidade a morfologia e os valores das variáveis analisadas. Para atingir esse objetivo, é necessário desempenho adequado de todos os componentes. Se uma determinada informação é de extrema relevância, o operador deve gastar tempo suficiente para obtê-la de maneira inequívoca. Assim, o operador deve estar familiarizado com os sistemas manométricos e com as fontes de erro relacionadas com as técnicas de registro, cateteres, conectores e fluidos. Com os fundamentos analisados neste manuscrito, salientamos que deve ser dispensada atenção às ondas de pressão usadas nas interpretações da fisiopatologia das doenças cardiovasculares.

Desenvolvimento e validação de técnica quantitativa de análise de imagem para avaliação do teste do cometa corado pela prata

INTRODUÇÃO: O ensaio do cometa ou técnica da eletroforese de células isoladas é largamente empregado para avaliação de danos e reparo do DNA em células individuais. O material pode ser corado por técnicas de fluorescência ou por sal de prata. Este último apresenta vantagens técnicas, como o tipo de microscópio utilizado e a possibilidade de armazenamento das lâminas. A análise dos cometas pode ser feita de modo visual, porém há a desvantagem da subjetividade dos resultados, que pode ser minimizada por análise digital automatizada. OBJETIVOS: Desenvolvimento e validação de método de análise digital de cometas corados por sal de prata. MÉTODOS: Cinquenta cometas foram fotografados de maneira padronizada e impressos em papel. Além de medidas manualmente, essas imagens foram classificadas em cinco categorias por três avaliadores, antes e depois de pré-processadas automaticamente pelo software ImageJ 1.38x. As estimativas geradas pelos avaliadores foram comparadas quanto sua correlação e reprodutibilidade. em seguida, foram desenvolvidos algoritmos de análise digital das medidas, com base em filtros estatísticos de mediana e de mínimo. Os valores obtidos foram comparados com os estimados manual e visualmente após o pré-processamento. RESULTADOS: As medidas manuais das imagens pré-processadas apresentaram maior correlação intraclasse do que as imagens preliminares. Os parâmetros automatizados apresentaram alta correlação com as medidas manuais pré-processadas, sugerindo que este sistema aumenta a objetividade da análise, podendo ser utilizado na estimativa dos parâmetros dos cometas. CONCLUSÃO: A presente análise digital proposta para o teste do cometa corado pela prata mostrou-se factível e de melhor reprodutibilidade que a análise visual.

Estudos sedimentológicos e o contexto estrutural da formação Serra do Martins, nos platôs de Portalegre, Martins e Santana/RN

This dissertation deals with sedimentological and structural framework of the siliciclastic rock of the Serra do Martins Formation (FSM) in the Portalegre, Martins and Santana plateau, located to the south of Potiguar Basin, in the southwest and central Rio Grande do Norte state. This formation, regarded as of Oligo-Miocene age based on intrusive relations of the Miocene Macau volcanics, has a still disputable age due to the lack of appropriate bio and/or chronostratigraphic markers. The FSSM deposits crop out along 650 to 750 m high plateau, as a remanescent sedimentary cover directly overlying topographically uplifted pre-cambrian crystalline rocks. During the last decades, these deposits were interpreted according to a Tertiary paleoclimatic evolutionary model, associated to pedogenetic processes. The sedimentological characterization of the FSM was done through a detailed study of its facies, petrography and diagenetic features. The facies study was based on description of field relations, textures and structures, the piling up of the strata and their lateral variations. The FSM was deposited by an anastomosing to coarse-meandering fluvial system, including deposits of lag, cannel-fill, ouver-bank and flood plain. The petrographic composition of the sediments, coupled to their facies and paleocurrent directions, suggest a rather distal sourcearea, to the south of the present plateau. The diagenetic study identified an incipient grain mechanical compaction, pronounced dissolution of the framework, matrix and/or cement components, intense precipitation of kaolinite, silic and, eventually, iron oxides, besides mechanical infiltration of the clays. Most of these events, regarded in the literature as associated to near-surface conditions (eo or telodiagenesis), indicate the FSM sediments were never deeply buried. Topographic relations along longitudinal and transversal sections reaching the Potiguar Basin to the north identified regional dips that allow to discuss stratigraphic correlations between the FSM and the basin formations. The sedimentological features of the different units and the intrusive relations of the Macau volcanics were also considered in these correlations,which support the Oligo-Miocene age previously accepted for the FSM. Concerning the tectonic framework of the FSM, this work investigated the pre-cambrian to cretaceous heritage and the cenozoic deformation, allowing the recognition of pre-, sin and post-FSM structures. The crystalline basement, belonging to the Seridó Belt, displays NE and WNW foliation trends related to the Brasiliano-age ductile shear zones. In this terrain, brittle-ductile and brittle NE- and NW-trending structures, associated with extensional joints filled with pegmatites and quartz veins, are related to an E-W compression by the end of Brasiliano Cycle. The E-W joints and NE-trending fractures were reactivated by N-S to N-S to NW extension during late Jurassic to Cretaceous times, controlling the emplacement of the Rio Ceará-Mirim basic dyke swarm and the opening of the Potiguar rift basin

QualiAB: desenvolvimento e validação de uma metodologia de avaliação de serviços de atenção básica

Este artigo apresenta o desenvolvimento, validação e utilização de uma metodologia de avaliação da qualidade dos serviços de atenção primária do Sistema Único de Saúde (SUS), o Questionário de Avaliação da Qualidade de Serviços de Atenção Básica (QualiAB). Destina-se aos serviços de atenção básica, organizados segundo diferentes modelos de atenção, incluindo a Saúde da Família. Contém 50 indicadores sobre oferta e organização do trabalho assistencial e programático e 15 sobre gerenciamento, na forma de questões de múltipla escolha, autorespondidas via web pela equipe local do serviço. Confere a cada resposta valor zero, um ou dois; a média geral atribui ao serviço um grau de qualidade expresso pela distância do melhor padrão correspondente à média dois. Foi construído por processo de consenso interativo, que incluiu metodologias qualitativas, teste-piloto, aplicação em 127 serviços, validação de construto e confiabilidade. Respondido, em 2007, por 598 (92%) dos serviços de 115 municípios paulistas, mostrou bom poder para discriminar níveis de qualidade. Adotado em 2010 como parte de um programa de apoio à Atenção Básica da Secretaria de Estado da Saúde de São Paulo, foi respondido por 95% (2.735) dos serviços de 586 municípios (90,8% do Estado). Os resultados foram encaminhados aos municípios. O QualiAB fornece uma avaliação válida, simples e com a possibilidade de retorno imediato para gerentes e profissionais. Mostrou factibilidade, aceitabilidade, bom poder de discriminação e utilidade para auxiliar a gestão da rede de atenção básica do SUS em São Paulo. A experiência indica aplicabilidade nas redes de atenção básica do Brasil.

Conjugação e validação de controle isotípico IgG1-FITC para uso em citometria de fluxo

Em meados da década de 50 iniciou-se o desenvolvimento da citometria de fluxo, tecnologia que permite verificar características físico-químicas de células ou partículas suspensas em meio fluido. Esta tecnologia utiliza anticorpos monoclonais marcados com fluorocromos como ferramenta de investigação em diversas análises e necessita de controles isotípicos para definição da região negativa (background). Estes controles são constituídos por imunoglobulinas de mesmo isotipo e fluorocromo dos anticorpos testes, sendo o isotiocianato de fluoresceína (FITC) o marcador fluorescente mais utilizado na conjugação de anticorpos. Os controles isotípicos têm como função definir a fluorescência inespecífica (células negativas) e as regiões fluorescentes (células positivas). No presente estudo foi selecionado anticorpo monoclonal murino (AcMm) dirigido contra antígeno eritrocitário canino, produzido no Laboratório de Anticorpos Monoclonais do Hemocentro de Botucatu, o qual reage positivamente com hemácias de cães, mas nunca com leucócitos humanos, tendo, portanto, potencial utilidade como controle negativo em citometria de fluxo. A purificação do AcMm da subclasse IgG1 foi feita por cromatografia de afinidade em Proteína-A Sepharose, e o controle da purificação realizado por eletroforese em géis de ágarose e poliacrilamida (SDS-PAGE). A imunoglobulina purificada foi conjugada ao FITC e filtrado em coluna de Sephadex G-25 para separação das proteínas marcadas e não-marcadas. O AcMm conjugado foi testado contra hemácias de cães, e o êxito da conjugação comprovado por testes de fluorescência, sendo a mediana de positividade de 94,70. Frente a leucócitos humanos a mediana de positividade foi 0,03 contra 0,50 dos reagentes comerciais. Os testes estatísticos não-paramétricos de Wilcoxon e correlação de Spearman comprovaram a eficiência e validam o controle isotípico produzido em comparação aos reagentes comerciais testados.

Modified stabilization method for the tibial tuberosity advancement technique: a biomechanical study

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

Mechanical resistance of the modified stabilization method for the tibial tuberosity advancement technique: ex vivo experimental study in dogs

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

Relative expression of insulin like growth factor I (IGFI) and follicle stimulating hormone receptor (FSHR) in follicles and ovarian tissue from Bos primigenius indicus (Nelore)

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

Confiabilidade de um formulário para diagnóstico da severidade da disfunção temporomandibular

CONTEXTUALIZAÇÃO: Disfunção temporomandibular (DTM) é um termo coletivo que engloba vários problemas clínicos envolvendo a musculatura da mastigação, as articulações temporomandibulares (ATM) e suas estruturas associadas, com alta prevalência nas populações. OBJETIVOS: Sabendo-se que estudos brasileiros vêm utilizando o instrumento proposto por da Fonseca et al. (1994) para diagnóstico da severidade desta disfunção, realizou-se este estudo com o objetivo de verificar e estimar a consistência interna e a reprodutibilidade do mesmo. MÉTODOS: O delineamento amostral adotado foi o probabilístico, e participaram 1230 indivíduos moradores da cidade de Ribeirão Preto (SP), maiores de 18 anos de idade. As entrevistas foram realizadas por um único entrevistador por meio de ligações telefônicas. Para estudo da consistência interna, calculou-se o Coeficiente de Kuder-Richardson (kr-20) e para estimar a reprodutibilidade, utilizou-se a estatística Kappa (κ). RESULTADOS: A consistência interna do formulário foi de 0,5594, apontando para uma validação abaixo do desejado. Observou-se maior contribuição das questões 1, 2, 3, 6 e 7 para o coeficiente kr-20 total e maior consistência do instrumento quando composto apenas pelas mesmas (0,7044). Observou-se reprodutibilidade Boa e Ótima para as questões. CONCLUSÕES: Frente ao exposto, sugere-se que o formulário proposto por da Fonseca et al. (1994) seja adaptado, ficando composto apenas pelas questões 1, 2, 3, 6 e 7 da versão inicial, colaborando, assim, para aumento da confiabilidade do instrumento. Deve-se ressaltar ainda a necessidade da realização de estudos de validade para assegurar adequadas características psicométricas à nova versão do instrumento.

As junções de palavras no português brasileiro cantado: estudos para uma aplicação

This article is a reflection on the possibilities for the linking and or connection of words in Brazilian Portuguese lyric diction with the intention of contributing this as a tool for singers, singing and diction teachers working with BP. The proposal came from a study of the norms for the Brazilian Portuguese pronunciation 1938 and 1958 rules, which addressed the issue, in conjunction with the analysis of the current norms, published in 2007.