Aplicação de modelos de defeitos na geração de conjuntos de teste completos a partir de Sistemas de Transição com Entrada/Saída

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Teste anti-HIV entre homens que fazem sexo com homens em São Paulo: busca espontânea rotineira e episódica

Introdução No contexto da valorização crescente do teste anti-HIV como estratégia de prevenção programática, a promoção do teste anti-HIV como estratégia de prevenção entre homens que fazem sexo com homens (HSH) é fundamental. Objetivo - Analisar os fatores associados tanto ao uso rotineiro como episódico do teste anti-HIV. Métodos - Os participantes foram 946 HSH entrevistados pelo Projeto SampaCentro em locais de sociabilidade HSH da região central de São Paulo entre novembro de 2011 e janeiro de 2012, nunca testados ou que procuraram o teste espontaneamente. A metodologia de amostragem foi a time-space-sampling e foram utilizados protocolos do Stata 12.0 para análise de amostras complexas. Os homens que se testaram por rotina ou episodicamente foram comparados aos nunca testados. As variáveis analisadas nos dois modelos de regressão de Poisson foram divididas em três níveis: características sociodemográficas (primeiro nível); socialização na comunidade gay e exposição da orientação sexual, discriminação e opiniões e atitudes em relação ao HIV/Aids e ao teste (segundo nível); percepção de risco, estratégias de prevenção e práticas e parcerias sexuais (terceiro nível). Resultados Os homens que se testaram rotineiramente eram mais velhos e moradores no Centro de SP. Além disso, tinham exposto a orientação sexual para profissional de saúde, sido discriminados em serviços de saúde mas não por amigos e/ou vizinhos (em razão da sexualidade) e não mencionaram medo do resultado do teste como motivo para HSH não se testarem. Também tinham maior probabilidade de conhecer pessoa soropositiva e de ter parcerias estáveis sem sexo anal desprotegido nas casuais (comparado a ter apenas parcerias casuais protegidas). Os homens que se testaram episodicamente eram mais velhos, residentes do Centro de SP, não moravam com parentes, expuseram sua orientação sexual para profissional de saúde, não reportaram medo do resultado do teste como barreira, conheciam pessoa soropositiva e mencionaram parceria estável sem sexo desprotegido com parceiro casual ou então sexo desprotegido em parcerias casuais (comparado a ter apenas parcerias casuais protegidas). Conclusões Os mais jovens, os que moram fora do centro de São Paulo, e os que expões menos sua orientação sexual são os segmentos que menos se testam rotineira ou episodicamente. Assim, dependem de ações para que seu direito seja protegido e assegurado. A estigmatização e a discriminação da homossexualidade deve ser combatida para que não impeça o acesso ao teste e a outros serviços de saúde. Disseminar informações e socializar os mais jovens para o diálogo sobre as estratégias de prevenção biomédicas e estratégias comunitárias de prevenção é necessário. Para ampliar o acesso e qualidade da testagem como recurso fundamental de programas de prevenção permanece o desafio de sustentar o debate sobre sexualidade e prevenção a cada geração, assim como nos programas de formação de educadores e de profissionais de saúde de todas as áreas.

Práticas administrativas para a sustentabilidade financeira de operadoras de planos de saúde médico-hospitalares: um estudo de múltiplos casos

No Brasil, o sistema de saúde é composto por duas estruturas: pública, representada pelo Sistema Único de Saúde (SUS) e privada suplementar, composta por 1.268 operadoras de planos de saúde, supervisionadas pela Agência Nacional de Saúde (ANS). No entanto, as operadoras têm sido consideradas ineficientes tanto na geração de resultados financeiros quanto na prestação de serviços aos beneficiários, destacando-se a necessidade e relevância para a saúde pública ao se buscar avaliar o seu desempenho sob essas perspectivas. O objetivo do trabalho foi, para um mesmo nível de eficiência na prestação de serviços, identificar as práticas administrativas que diferenciam as operadoras de planos de saúde (OPS) financeiramente sustentáveis. Para tanto, inicialmente foi aplicada a técnica da Análise Envoltória de Dados (DEA) no intuito de identificar operadoras eficientes em transformar inputs em outputs e, a partir dos escores obtidos, selecionar duas OPS de nível de serviços semelhantes e desempenho financeiro opostos para que fossem comparadas por meio de um estudo de múltiplos casos. A análise quantitativa indicou que as OPS de medicina de grupo apresentaram maior eficiência do que as demais modalidades. Já o estudo de múltiplos casos identificou que a gestão de políticas de crédito, de captação e aplicação de recursos, o planejamento tributário, a adoção de políticas de promoção e prevenção à saúde, as formas de remuneração dos médicos e a estratégia de composição de receitas diferenciaram a OPS de melhor desempenho.

Forças, momentos e coeficiente de atrito em teste de três pontos e em teste de resistência ao deslizamento com braquetes autoligáveis e fios 0.014\" utilizando um novo dispositivo

O objetivo principal do estudo é comparar o teste em 3 pontos com braquetes com o teste de resistência ao deslizamento utilizando um novo dispositivo que realiza a mensuração simultânea do coeficiente de atrito, das forças e dos momentos nos braquetes de ancoragem e da força de desativação no braquete desalinhado, exercidos por fios ortodônticos. Os objetivos secundários foram desenvolver o dispositivo e comparar, no teste em 3 pontos: (i) a influência, nas grandezas e no coeficiente de atrito cinético, da variação da simetria nas distâncias inter-braquetes, do tipo de braquete de ancoragem (canino ou 2º pré-molar), do deslocamento (3 ou 5mm) do braquete central, do sentido do desalinhamento (vestibular ou lingual) do braquete central e da marca de fio-braquete; (ii) as 3 formas de cálculo do coeficiente de atrito cinético; (iii) os 10 ciclos, para vestibular ou lingual, para verificar se eles são semelhantes ou não entre si. Foram utilizados braquetes autoligáveis (dentes 13, 14 e 15) e fios 0.014\'\' NiTi e CuNiTi das marcas Aditek e Ormco. O teste de resistência ao deslizamento foi realizado no desalinhamento lingual, nos dois deslocamentos e na configuração simétrica. O teste em 3 pontos com braquetes foi realizado no desalinhamento lingual e vestibular, nos dois deslocamentos e na configuração simétrica e assimétrica. Por meio da ANOVA, foram comparados, entre os dois tipos de teste: (A) as grandezas e o coeficiente de atrito e (B) o coeficiente de atrito gerado apenas no braquete de 2º pré-molar. Utilizando-se do mesmo teste estatístico foram comparados, no teste em 3 pontos com braquetes: (A) na configuração simétrica, algumas grandezas e o coeficiente de atrito advindos da variação da marca de fio-braquete, do deslocamento, do desalinhamento e do tipo de braquete; (B) algumas grandezas e o coeficiente de atrito gerados na configuração simétrica e assimétrica; (C) os valores das 3 formas de cálculo do coeficiente de atrito na configuração simétrica; e (D) algumas grandezas e o coeficiente de atrito encontrados nos 10 ciclos. Resultados: (A) a maioria dos valores das grandezas e do coeficiente de atrito gerados pelos dois tipos de teste foram diferentes estatisticamente; (B) o braquete de 2º pré-molar apresentou valores de coeficiente de atrito diferentes entre os dois tipos de teste; (C) na configuração simétrica, as variáveis foram estatisticamente significantes na maioria dos casos para as grandezas analisadas e para o coeficiente de atrito; (D) houve diferença entre a configuração simétrica e assimétrica; (E) o coeficiente de atrito baseado nas duas normais e na força de atrito se aproximou mais da realidade clínica e foi sensível à variação da geometria da relação fio-braquete; e (F) os 10 ciclos para lingual foram semelhantes entre si em 70% dos casos e os 10 ciclos para vestibular foram diferentes em 57% dos casos. Conclusões: o teste em 3 pontos com braquetes é diferente do teste de resistência ao deslizamento; a variação das configurações geométricas e da marca de fio-braquete pode influenciar nos valores das grandezas e do coeficiente de atrito cinético; os 10 ciclos para lingual foram mais semelhantes entre si que os 10 ciclos para vestibular.