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

FUSÃO E AQUISIÇÃO UMA ANÁLISE ATRAVÉS DO TESTE DE MÉDIA NO SETOR DE AGÊNCIAS DE PUBLICIDADE

A transição do século XX para o século XXI trouxe consigo uma série de mudanças, em especial às organizações, que vivenciaram evoluções de ordem tecnológica impactantes em sua estrutura administrativa e econômica. As agências de publicidade, apesar de terem um enfoque voltado ao aspecto criativo, não deixam de ser organizações, e assim como as demais também vivenciam este ciclo de mudanças, que aparenta ser ininterrupto. A importância do planejamento estratégico e financeiro e do atendimento integrado aos clientes proporcionou às agências novas perspectivas de funcionamento, e nelas enquadram-se as fusões/aquisições. Agências internacionais optaram por participar do mercado publicitário brasileiro através de fusões/aquisições; estas ocorreram com agências de bastante expressão no mercado internacional, mas também com agências menos conhecidas, mas que demonstraram a realização de bons trabalhos no setor. Através deste estudo realizou-se uma análise a respeito do mercado de fusões e aquisições de agências de publicidade, em especial, sob a perspectiva financeira. Através da base de dados lançada no Software SPSS foi aplicado o Teste T. Constatou-se que as agências de publicidade no Brasil entre 1999 a 2009 não apresentaram diferenças de média em relação ao faturamento, independente de terem passado ou não pelo processo de fusão/aquisição. Este crescimento pouco representativo demonstra que as fusões/aquisições tendem a ocorrer por diversos motivos e não se restringem exclusivamente ao aspecto financeiro, a perspectiva de bom atendimento ao cliente, visando o planejamento estratégico no âmbito publicitário, tende a ser um deles.

Ibopamina 2% vs. sobrecarga hídrica como teste provocativo para glaucoma

PURPOSE: To compare the 2% ibopamine provocative test with the water drinking test as a provocative test for glaucoma. METHODS: Primary open-angle glaucoma patients and normal individuals were selected from CEROF-Universidade Federal de Goiânia UFG, and underwent the 2% ibopamine provocative test and the water drinking test in a randomized fashion, at least 1 week apart. Intraocular pressure (IOP) before and after both tests, Bland-Altman graph, sensitivity and specificity (as mesured by ROC curves) were obtained for both methods. RESULTS: Forty-seven eyes from 25 patients were included (27 eyes from 15 glaucoma patients and 20 eyes from 10 normal individuals), with a mean age of 54.2 ± 12.7 years. The mean MD of glaucoma patients was -2.8 ± 2.11 dB. There was no statistically difference in the baseline IOP (p=0.8) comparing glaucoma patients, but positive after the provocative tests (p=0.03), and in the IOP variation (4.4 ± 1.3 mmHg for ibopamine and 3.2 ± 2.2 mmHg for water drinking test, p=0.01). There was no difference in all studied parameters for normal individuals. The Bland-Altman graph showed high dispersion comparing both methods. The areas under the ROC curve were 0.987 for the ibopamine provocative test, and 0.807 for the water-drinking test. CONCLUSION: In this selected subgroup of glaucoma patients with early visual field defect, the ibopamine provocative test has shown better sensitivity/specificity than the water drinking test.

Função vísuo-espacial em paralisia cerebral e proposta de novo teste com a ajuda de computador

The first idea of this study is trat there may be a disturbance of the visuo-spatial function in cerebral palsy. This idea is based upon the theories of Luria and Piaget. The second idea of this study is that the computer can help the investigation of visuo-spatial function. With the intention of evaluating the spatial function in cerebral palsy, the literature related to these themes was revised. We justify the proposal of a new test to study visuo-spatial function. This test uses straight lines in four different orientations and the subject has to recognize and arrange them individually or sets of them. This was done through the use of pencil and papel, and computer. The results confirm that there is a spatial disturbance and that a better understanding of the subject's difficulties was made possible through the use of the computer and the Logo computer language.

Sistema de análise de movimento para avaliação da postura vertical durante a corrida no teste de esforço máximo incremental

Universidade Estadual de Campinas . Faculdade de Educação Física

Uma analise das alterações nas variáveis fisiológicas e aptidão física (teste da FIFA) e suas prováveis interferências no desempenho do arbitro durante a partida

Universidade Estadual de Campinas. Faculdade de Educação Física

Validação do teste progressivo da Universidade de Montreal (TPUM)na comunidade escolar de ensino medio da cidade de Talca ? Chile

Universidade Estadual de Campinas. Faculdade de Educação Física

Avaliações autonômicas e cardiovasculares em pessoas com lesão da medula espinhal nas situações de repouso, em um teste de estresse mental e durante exercício físico

Universidade Estadual de Campinas . Faculdade de Educação Física

Teste "W" 20 metros : proposta computadorizada para analise da performance especifica em atletas de voleibol

Universidade Estadual de Campinas . Faculdade de Educação Física

Teste de banco : adequação da altura do ergometro a estatura, para individuos a partir de 09 anos de idade, de ambosos sexos, praticantes e não praticantes de atividade fisica

Universidade Estadual de Campinas. Faculdade de Educação Física

VO2MAX : uma proposta de teste de campo para jogadores de futebol

Universidade Estadual de Campinas . Faculdade de Educação Física

Medição da resistencia aerobica em adultos maiores atraves do teste de Mazorra Zamorra

Universidade Estadual de Campinas . Faculdade de Educação Física

Teste de banco com carga continua para analise do volume de oxigenio (VO2) predito e analisado por tempo de esforço em pessoas treinadas (TRD), ativas (ATV) e destreinadas (DTR) a partir dos 13 anos : proposta de validação

Universidade Estadual de Campinas . Faculdade de Educação Física

Uso do teste ML-Flow como auxiliar na classificação e tratamento da hanseníase

FUNDAMENTOS: O tratamento da hanseníase é definido pela classificação de pacientes em paucibacilares (PB) e multibacilares (MB). A OMS (Organização Mundial de Saúde) classifica os doentes de acordo com o número de lesões, mas Ridley-Jopling (R&J) utiliza também exames complementares, porém é de difícil utilização fora dos serviços de referência. Em 2003 foi desenvolvido um teste denominado ML-Flow, uma alternativa à sorologia por ELISA para auxiliar na classificação de pacientes em PB e MB e auxiliar na decisão terapêutica. OBJETIVOS: Observar a concordância entre o teste de ML-Flow e baciloscopia de linfa, exame já consagrado para detecção de MB. Analisar a utilidade do teste de ML-Flow em campo. MATERIAL E MÉTODOS: Estudo retrospectivo avaliando prontuário de 55 pacientes virgens de tratamento, diagnosticados como PB ou MB por R&J. Submetidos à baciloscopia e ao teste de ML-Flow. RESULTADOS: Nos MB, a baciloscopia foi positiva em 80% dos casos, o ML-flow foi positivo em 82,5%. Entre os PB, o ML-Flow foi positivo em 37,5% e a baciloscopia do esfregaço foi negativa em 100% dos casos. A concordância entre os resultados da baciloscopia do esfregaço e ML-Flow foi de 87,5%, kappa=0,59, p<0,001. CONCLUSÃO: Nenhum teste laboratorial é 100% sensível e específico para a correta classificação de todas as formas de hanseníase. O ML-Flow é um teste rápido, de fácil manuseio em campo, menos invasivo que a baciloscopia podendo ser útil para auxiliar na decisão terapêutica em locais de difícil acesso a serviços de referência.

Uma teoria termodinâmica para brisas: teste utilizando simulações numéricas

O objetivo deste trabalho foi testar uma teoria termodinâmica em brisas marítimas-terrestres acopladas com brisas de vale-montanha através de simulações numéricas tridimensionais em uma região da costa leste do Nordeste Brasileiro, considerando a presença e a ausência da topografia. Embora o contraste de temperatura entre as superfícies seja importante na formação da brisa, a eficiência termodinâmica é fundamental na determinação da sua intensidade. Tem-se que a inclinação faz com que a diferença de pressão entre dois pontos fique maior durante o dia e menor durante a noite contribuindo para a formação de brisas marítimas mais intensas e de brisas terrestres menos intensas, respectivamente. A máxima queda de pressão ocorre por volta de três horas antes da máxima intensidade da brisa. Isso porque grande parte da energia disponibilizada para as circulações é gasta para vencer dissipação, principalmente, no período diurno, quando esses processos são realmente efetivos. Do ponto de vista puramente termodinâmico a inclinação da montanha atua para intensificar a brisa durante o dia e para enfraquecê-la durante a noite.