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

Valores de referência para o teste de caminhada com carga progressiva em indivíduos saudáveis: da distância percorrida às respostas fisiológicas

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

A suplementação de ácidos graxos ômega 3 e triglicérides de cadeia média não alteram os indicadores metabólicos em um teste de exaustão

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Influência da massa magra corporal nas repercussões cardiopulmonares durante o teste de caminhada de seis minutos em pacientes com DPOC

OBJETIVO: A massa magra corporal (MMC) tem sido associada à mortalidade em pacientes com DPOC, mas seu impacto na limitação funcional é pouco conhecido. O objetivo deste trabalho foi analisar as variáveis cardiopulmonares em pacientes com DPOC, com ou sem depleção da MMC, antes e após a realização do teste de caminhada de seis minutos (TC6). MÉTODOS: Foram avaliados pacientes com DPOC, 36 sem depleção de MMC e 32 com depleção de MMC. Todos os pacientes foram submetidos à avaliação clínica, espirometria, avaliação da composição da massa corpórea e TC6 e responderam a questionários de qualidade de vida e de percepção de dispnéia. RESULTADOS: Não foram observadas diferenças significativas na gravidade de obstrução das vias aéreas, na percepção da dispnéia e na qualidade de vida entre os grupos. A distância percorrida no TC6 foi similar nos pacientes com DPOC com e sem depleção de MMC (470,3 ± 68,5 m vs. 448,2 ± 89,2 m). Entretanto, durante a realização do teste, os pacientes com depleção de MMC apresentaram aumento significativamente maior na diferença entre os valores final e basal da frequência cardíaca e do índice da escala de Borg para cansaço dos membros inferiores. A distância percorrida no TC6 apresentou correlação significativa positiva com o VEF1 (r = 0,381; p = 0,01). CONCLUSÕES: Não houve influência da depleção da MMC na capacidade funcional de exercício e na qualidade de vida dos pacientes estudados. Entretanto, os pacientes com depleção de MMC apresentam sintomas de fadiga dos membros inferiores mais acentuados durante o TC6, o que reforça a importância da avaliação e tratamento das manifestações sistêmicas da DPOC.

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.

Gravitomagnetismo e o teste da sonda gravidade B

The so-called gravitomagnetic field arised as an old conjecture that currents of matter (no charges) would produce gravitational effects similar to those produced by electric currents in electromagnetism. Hans Thirring in 1918, using the weak field approximation to the Einsteins field equations, deduced that a slowly rotating massive shell drags the inertial frames in the direction of its rotation. In the same year, Joseph Lense applied to astronomy the calculations of Thirring. Later, that effect came to be known as the Lense- Thirring effect. Along with the de Sitter effect, those phenomena were recently tested by a gyroscope in orbit around the Earth, as proposed by George E. Pugh in 1959 and Leonard I. Schiff in 1960. In this dissertation, we study the gravitational effects associated with the rotation of massive bodies in the light of the Einsteins General Theory of Relativity. With that finality, we develop the weak field approximation to General Relativity and obtain the various associated gravitational effects: gravitomagnetic time-delay, de Sitter effect (geodesic precession) and the Lense-Thirring effect (drag of inertial frames). We discus the measures of the Lense-Thirring effect done by LAGEOS Satellite (Laser Geodynamics Satellite) and the Gravity Probe B - GPB - mission. The GPB satellite was launched into orbit around the Earth at an altitude of 642 km by NASA in 2004. Results presented in May 2011 clearly show the existence of the Lense-Thirring effect- a drag of inertial frames of 37:2 7:2 mas/year (mas = milliarcsec)- and de Sitter effect - a geodesic precession of 6; 601:8 18:3 mas/year- measured with an accuracy of 19 % and of 0.28 % respectively (1 mas = 4:84810��9 radian). These results are in a good agreement with the General Relativity predictions of 41 mas/year for the Lense-Thirring effect and 6,606.1 mas/year for the de Sitter effect.

Teste tuberculínico em indivíduos com infecção pelo vírus da imunodeficiência humana: relação com número de linfócitos T periféricos e atividade tuberculosa

OBJETIVO: Avaliar os resultados do teste tuberculínico e relacioná-los com a presença ou não de tuberculose em atividade e com a contagem de linfócitos T CD4+/CD8+. MÉTODOS: Foram revisados 802 prontuários de pacientes com síndrome da imunodeficiência adquirida atendidos no período de agosto de 1985 a março de 2003. Cento e oitenta e cinco pacientes realizaram o teste tuberculínico (23,1%) e, destes, 107 eram do sexo masculino (57,8%). A média de idade no grupo de reatores ao teste tuberculínico foi de 30,6 anos, com desvio-padrão de 6,62 anos, e entre os não reatores de 34,45 anos com desvio-padrão de 10,32 anos. Foram constituídos dois grupos de estudo: reatores ao teste tuberculínico, com 28 pacientes, e não reatores ao teste tuberculínico, com 157 pacientes. RESULTADOS: Grande parte dos indivíduos foi pouco responsiva ao teste tuberculínico. Constatou-se, no grupo de reatores, maior porcentagem de indivíduos com tuberculose ativa à época da realização do teste, quando se comparou com os não reatores. Dez pacientes entre os reatores e onze entre os não reatores apresentavam alguma forma clínica de tuberculose em atividade à época da realização do teste, sendo que seis do primeiro grupo e oito do segundo tinham contagem de linfócitos T CD4+ menor que 200 células/mm³. CONCLUSÃO: Indurações maiores do que 5 mm não se relacionaram com contagens absolutas mais altas de células T CD4+.

Soroprevalência de anticorpos contra o sarampo de uma determinada população infantil de Botucatu, SP

Esta pesquisa trata-se de um estudo de soroprevalência de anticorpos contra o sarampo, de uma determinada população infantil residente em Botucatu, SP, com o objetivo de avaliar o estado imunólogico, induzido quer por infecção natural, quer por meio de vacinação. Foram estudadas 101 crianças, sendo que todas receberam a vacina contra o sarampo. Os exames laboratoriais utilizados para avaliar a presença de anticorpos, nas amostras de sangue coletadas, foram o teste de Inibição de Hemaglutinação (IH) e o Ensaio imunoenzimático (ELISA). Os resultados do teste de IH, mostraram que 92,1% das amostras apresentavam anticorpos contra o sarampo. As amostras com títulos < que 1:4, quando estudadas pela IH, foram retestadas no mesmo laboratório por meio do ELISA, e somente duas mantiveram-se negativas para anticorpos contra o sarampo. Portanto, em 98% das amostras de soro das crianças estudadas os anticorpos contra o sarampo estavam presentes.

Associação glicemia de jejum e fatores de risco como teste para rastreamento do diabete gestacional

OBJETIVOS: comparar dois testes de rastreamento do diabete gestacional. MÉTODOS: estudo prospectivo no qual foram avaliadas 356 gestantes, sem diagnóstico prévio do diabete melito, submetidas, de modo independente, a dois testes de rastreamento: associação glicemia de jejum e fator de risco (GJ+FR) e teste oral simplificado de tolerância à glicose (TTG50g). A comparação entre os métodos foi realizada pelos índices de sensibilidade (S), especificidade (E) e valores preditivos positivo (VPP) e negativo (VPN), resultados falsos, positivos (FP) e negativos (FN) e pela diferença dos resultados observados e esperados, avaliada pelo teste do Qui-quadrado (p<0,05). RESULTADOS: a associação GJ+FR determinou a confirmação diagnóstica em maior número de gestantes (187; 52,5%) que o TTG50g (49; 13,8%). Esta diferença foi significativa (p<0,05). A associação GJ+FR apresentou sensibilidade de 83,7% e valor preditivo negativo (VPN) de 95,3% em relação ao TTG50g. CONCLUSÕES: os índices elevados de sensibilidade e VPN da associação GJ+FR em relação ao TTG50g, sua simplicidade, praticidade, baixo custo e fácil replicação permitem sua indicação no rastreamento do diabete gestacional.

Risco de queda em idosos da comunidade: avaliação com o teste Timed up and go

Risco de queda em idosos pode ser avaliado por meio de um teste simples de mobilidade. OBJETIVO: Avaliar o equilíbrio de idosos usando o teste Timed up and go. MÉTODO: Os indivíduos tiveram o tempo medido desde o momento em que se levantaram de uma cadeira, caminharam 3 metros para a frente e retornaram à cadeira. Os idosos também responderam questões sobre desequilíbrio, tontura e queda. RESULTADOS: Cerca de 69% dos sujeitos realizaram o teste em até 19 segundos. Houve correlação significativa entre desequilíbrio, tempo dispendido e queda, assim como entre tontura e queda. CONCLUSÃO: A maior parte dos idosos mostrou baixos valores no teste, o que sugere boa mobilidade funcional. Entretanto, um número expressivo de indivíduos com valores mais elevados estão, provavelmente, mais propensos a quedas e à dependência menor ou maior nas atividades da vida diária.

Serological follow-up of patients with paracoccidioidomycosis treated with itraconazole using Dot-blot, ELISA and Western-blot

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

Detection of IgG in cerebrospinal fluid for diagnosis of neurocysticercosis: evaluation of saline and SDS extracts from Taenia solium and Taenia crassiceps metacestodes by ELISA and immunoblot assay

We compared saline (S) and sodium dodecyl sulphate (SDS) extracts from Taenia solium (homologous species - HO) and Taenia crassiceps (heterologous species - HE) metacestodes in order to detect Ige by ELISA and immunoblot assay (IBA) in cerebrospinal fluid (CSF) for the diagnosis of human neurocysticercosis (NC). CSF samples were obtained from 93 patients. of these, 40 had NC, five had a diagnosis of probable NC, nine had central nervous system schistosomiasis or strongyloidiasis and 39 had other neurological alterations. Samples were analysed by ELISA and the results were compared with IBA in all samples with confirmed and probable NC diagnosis, in all samples with other central nervous system parasitic infection, and in 10 of those with another neurological alterations. ELISA sensitivity was 100%, 85%, 95% and 87.5% for the S-HO, S-HE, SDS-HO and SDS-HE extracts, respectively, and ELISA specificity was 100% for S-HO, S-HE, SDS-HO extracts and 97.9% for SDS-HE antigen. Immunodominant peptides detected by IBA were, by decreasing percentage of recognition: 64-68 and 45 kDa for S-HO; 108-114, 92-95, 64-68, 83 and 88 kDa for S-HE; 64-68, 108-114, 77 and 86 kDa for SDS-HO; and 108-114, 88 and 92-95 kDa for SDS-HE. Overall the homologous antigenic extracts showed higher sensitivity than the heterologous extracts in the diagnosis of NC in CSF samples. The heterologous extracts contained most of the immunodominant peptides presented in the homologous extracts, which are recognized by Ige antibodies in CSF samples.

Occurrence of Leishmania (Leishmania) chagasi in a domestic cat (Felis catus) in Andradina, São Paulo, Brazil: case report

Neste trabalho, é relatada a infecção natural por Leishmania em um gato doméstico no qual, formas amastigotas do parasito foram observadas em imprint de linfonodo poplíteo. Reações sorológicas positivas e negativas foram observadas pelo teste de imunoadsorção enzimática (ELISA) e reação de imunofluorescência indireta (RIFI), respectivamente. A reação em cadeia da polimerase (PCR) revelou que a sequência de nucleotídeos foi idêntica à Leishmania (L.) chagasi. Este é o primeiro relato da doença em felino da cidade de Andradina, Estado de São Paulo, Brasil, área considerada endêmica para leishmaniose visceral canina e humana.

Cinética dos anticorpos de origem colostral contra a toxina épsilon de Clostridium perfringens tipo D em cordeiros

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

Contribution to the study of diarrhea etiology in neonate dairy calves in São Paulo state, Brazil

Amostras fecais de 203 bezerros com diarréia, idade inferior a 30 dias, de ambos os sexos e de diferentes propriedades do Estado de São Paulo foram examinadas num período de dois anos. Cultivos para pesquisa bacteriana foram feitos em agar acrescido de 10% de sangue bovino e agar Levine. As placas foram incubadas por até 96 horas, em condições aeróbias, a 37°C, com observação dos aspectos de colônia e estudos morfológicos, bioquímicos e realização de outros testes, quando pertinentes. O teste de ELISA foi aplicado para pesquisa de Rotavirus. Cryptosporidium spp. também foi pesquisado e identificado. Resultados revelaram envolvimento de vários patógenos de forma isolada, assim como associados. Rotavirus foi encontrado em 51 (25,1%) das amostras, sendo em 58,8% só, em 41.7% associado a outros microrganismos. Cryptosporydium spp foi isolado em 43 (21.3%) das amostras, sendo só em 65,1% delas e associado a outros enteropatógenos em 34,9%. No exame parasitológico foram encontrados ovos de estrongilídeos em 5 (2,5%) das amostras, não excedendo mais de dois ovos por campo examinado. Ao exame microbiológico, um ou mais microrganismos foram isolados. Escherichia coli foi encontrada em 100% das amostras. As pesquisas de toxina termoestável e do antígeno de aderência K99 realizada nas 73 amostras de E.coli foram negativas, e o grupo sorológico das mesmas foi determinado, sendo 34,2%, 17,8% e 47,9% das amostras pertencentes aos sorogrupos O8, O11 e O101, respectivamente. Salmonella Dublin e Salmonella typhimurium foram isoladas em 5,4% e 6,1% das amostras examinadas, respectivamente.