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

Accuracy of six minute walk test, stair test and spirometry using maximal oxygen uptake as gold standard

OBJETIVO: Determinar a acurácia das variáveis: tempo de escada (tTE), potência de escada (PTE), teste de caminhada (TC6) e volume expiratório forçado (VEF1) utilizando o consumo máximo de oxigênio (VO2máx) como padrão-ouro. MÉTODOS: Os testes foram realizados em 51 pacientes. O VEF1 foi obtido através da espirometria. O TC6 foi realizado em corredor plano de 120m. O TE foi realizado em escada de 6 lances obtendo-se tTE e PTE. O VO2máx foi obtido por ergoespirometria, utilizando o protocolo de Balke. Foram calculados a correlação linear de Pearson (r) e os valores de p, entre VO2máx e variáveis. Para o cálculo da acurácia, foram obtidos os pontos de corte, através da curva característica operacional (ROC). A estatística Kappa (k) foi utilizada para cálculo da concordância. RESULTADOS: Obteve-se as acurácias: tTE - 86%, TC6 - 80%, PTE - 71%, VEF1(L) - 67%, VEF1% - 63%. Para o tTE e TC6 combinados em paralelo, obteve-se sensibilidade de 93,5% e em série, especificidade de 96,4%. CONCLUSÃO: O tTE foi a variável que apresentou a melhor acurácia. Quando combinados o tTE e TC6 podem ter especificidade e sensibilidade próxima de 100%. Estes testes deveriam ser mais usados rotineiramente, especialmente quando a ergoespirometria para a medida de VO2máx não é disponível.

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.

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+.

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.

Comparison between 100-g glucose tolerance test and two other screening tests for gestational diabetes: combined fasting glucose with risk factors and 50-g glucose tolerance test

CONTEXTO E OBJETIVO: A falta de consenso sobre os protocolos de rastreamento e diagnóstico do diabetes gestacional, associada às dificuldades na realização do teste oral simplificado do diabete gestacional (o teste de tolerância a 100 g de glicose, considerado padrão-ouro) justificam a comparação com alternativas. O objetivo deste trabalho é comparar o teste padrão-ouro a dois testes de rastreamento: associação de glicemia de jejum e fatores de risco (GJ + FR) e o teste oral simplificado de tolerância a 50 g de glicose (TTG 50 g), com o teste de tolerância a 100 g de glicose (TTG 100 g). TIPO DE ESTUDO E LOCAL: Estudo de coorte longitudinal, prospectivo, realizado no Serviço de Ginecologia e Obstetrícia do Hospital Universitário da Universidade Federal de Mato Grosso do Sul. MÉTODOS: 341 gestantes foram submetidas aos três testes. Calcularam-se os índices de sensibilidade (S), especificidade (E), valores preditivos (VPP e VPN), razões de probabilidade (RPP e RPN) e resultados falsos (FP e FN), positivos e negativos da associação GJ + FR e do TTG 50 g em relação ao TTG 100 g. Compararam-se as médias das glicemias de uma hora pós-sobrecarga (1hPS) com 50 e 100 g. Na análise estatística, empregou-se o teste t de Student, com limite de significância de 5%. RESULTADOS: A associação GJ + FR encaminhou mais gestantes (53,9%) para a confirmação diagnóstica que o TTG 50 g (14,4%). Os dois testes foram equivalentes nos índices de S (86,4 e 76,9%), VPN (98,7 e 98,9%), RPN (0,3 e 0,27) e FN (15,4 e 23,1%). As médias das glicemias 1hPS foram semelhantes, 106,8 mg/dl para o TTG 50 g e 107,5 mg/dl para o TTG 100 g. CONCLUSÕES: Os resultados da eficiência diagnóstica associados à simplicidade, praticabilidade e custo referendaram a associação GJ + FR como o mais adequado para o rastreamento. A equivalência das glicemias de 1hPS permitiram a proposição de um novo protocolo de rastreamento e diagnóstico do diabete gestacional, com menores custo e desconforto.

Comparison between actual and predicted postoperative stair-climbing test, walk test and spirometric values in patients undergoing lung resection

OBJETIVO: Verificar se os testes: Volume Expiratório Forçado no 1º segundo (VEF1), Teste de Caminhada de 6 minutos (TC6) e Teste de Escada (TE) se alteram proporcionalmente ao pulmão funcionante ressecado. MÉTODOS: Foram incluídos pacientes candidatos a toracotomia para ressecção pulmonar. No pré-operatório (pré) e no mínimo três meses após a cirurgia (pós), realizaram espirometria, TC6 e TE. O TE foi realizado em escada com 12,16m de altura. O tempo para subir todos os degraus o mais rápido possível foi chamado tempo de escada (tTE). Os cálculos dos valores dos testes preditos para o pós-operatório (ppo) foram realizados conforme o número de segmentos funcionantes perdidos. Os valores pré, ppo e pós foram comparados entre si para cada teste. Estatística: foi utilizada a análise de variância para medidas repetidas (ANOVA), com significância de 5%. RESULTADOS: Foram estudados 40 pacientes. A ressecção pulmonar variou desde o ganho de dois segmentos funcionantes até a perda de 9. Os valores pré, ppo e pós foram respectivamente: VEF1 -pré = 2,6±0,8L, ppo = 2,3±0,8L, pós = 2,3±0,8L (VEF1pré > VEF1ppo = VEF1pós), TC6-pré = 604±63m, ppo = 529±103m, pós = 599±74m (TC6pré = TC6pós > TC6ppo), tTE-pré = 32,9±7,6s, ppo = 37,8±12,1s, pós = 33,7±8,5s (tTEpré = tTEpós < tTEppo). CONCLUSÃO: Nas ressecções pulmonares, este grupo de pacientes perdeu função pulmonar medida através da espirometria, mas não perdeu a capacidade de exercício, medida através dos testes de escada e caminhada.

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.

Avaliação do teste do anel em leite na vigilância epidemiológica da brucelose bovina em rebanhos e em laticínios

Analisaram-se 464 amostras individuais de leite e 54 amostras de leite de latões, oriundos de leite dos mesmos animais, por meio do teste do anel do leite (TAL) visando à sua aplicação no diagnóstico individual e de rebanhos da brucelose bovina. Foram também avaliadas 464 amostras de soro sangüíneo por meio de provas do antígeno tamponado acidificado (ATA), soroaglutinação lenta em tubos (SAL) e 2-mercaptoetanol (2-ME), todas para brucelose. Cento e vinte e três amostras (26,5%) testadas pelo TAL apresentaram resultados positivos. Dessas, 30 resultaram positivas ao ATA, 28 ao ATA, à SAL e ao 2-ME e 18 à SAL. Das amostras positivas ao TAL, 95 pertenciam a animais sorologicamente negativos ao 2-ME, caracterizando 77,2% (95/123) das reações falso-positivas; dos resultados negativos ao TAL, 4 pertenciam a animais sorologicamente positivos, caracterizando 1,2% (4/341) de reações falso-negativas no TAL individual. Das 54 amostras de leite de latões analisadas pelo TAL, 17 foram consideradas positivas, das quais uma foi caracterizada como falso-positivo, pois todos os animais que a compunham foram negativos ao 2-ME. de 37 latões considerados negativos ao TAL, três continham leite de animais positivos ao 2-ME, caracterizando 8,1% de falso-negativos. O TAL individual demonstrou elevado percentual de resultados falso-positivos, enquanto o TAL em amostras de leite obtidas em latões detectou 84,2% de latões contaminados e 75% de rebanhos infectados.

Estudo do leite de éguas sadias ou portadoras de mastite subclínica, pelo teste de Whiteside, análise microbiológica e contagem de células somáticas

Com o objetivo de identificar a microbiota existente no leite de éguas normais ou portadoras de mastite subclínica, coletaram-se amostras (10 a 15 ml) de leite de 38 animais, que foram examinadas pelo teste de Whiteside, após a homogeneização das amostras dos dois tetos de cada animal. Os resultados foram negativos. Os exames microbiológicos realizados em meios de ágar sangue bovino 10% e ágar MacConkey revelaram presença de bactérias do gênero Staphylococcus spp. e Streptococcus spp. A contagem de células somáticas de amostras individuais de cada teto revelou números superiores a 500.000 células/ml de leite em somente 9,3% das 73 amostras de leite examinadas. Os resultados sugerem a realização de novos estudos objetivando-se a padronização do número de células somáticas no leite de éguas.

Diagnóstico da Leishmaniose Visceral Canina pelas técnicas de imunoistoquímica e PCR em tecidos cutâneos em associação com a RIFI e ELISA-teste

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

Cerebellar Cognitive Affective Syndrome in Machado Joseph Disease: Core Clinical Features

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

Análise espectral do sinal eletromiográfico do músculo eretor da espinha obtido do teste de Sorensen

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