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.

O Teste de Apercepção Temática (TAT) em adultos: dados normativos para o sistema morvaliano

No contexto da pesquisa e utilização prática das técnicas de autoexpressão, o Teste de Apercepção Temática (TAT) apresenta reconhecidas vantagens. Apesar de linhas de pesquisa bastante desenvolvidas internacionalmente, não existem estudos atuais sobre as propriedades deste instrumento no Brasil, levantando a necessidade de conhecer seus alcances e limites nesse contexto cultural. Desse modo, o desenvolvimento de normas que descrevam o desempenho típico de uma população não clínica se mostra um importante passo inicial rumo à retomada da pesquisa com o TAT e sua adoção por profissionais. Tendo em vista que a validação das técnicas de autoexpressão se refere aos sistemas de classificação e não aos instrumentos em si, o presente estudo adotou, dentre a miríade de sistemas de categorização das histórias do TAT descritos na literatura, o sistema proposto por Monique Morval, que foi desenvolvido para estudantes e profissionais com pouca experiência com o TAT, utilizando pressupostos da Personologia de Henry Murray, Psicologia Cognitiva e Psicologia do Ego, possibilitando leituras objetivas e qualitativas do material. Considerando o potencial de utilização desse sistema por parte dos psicólogos brasileiros - visto sua semelhança com o atual sistema aprovado para uso pelo Sistema de Avaliação dos Testes Psicológicos (SATEPSI) do Conselho Federal de Psicologia - foram feitos aprimoramentos no assim chamado sistema morvaliano, possibilitando sua adoção no estudo normativo proposto pelo presente projeto. Tais aprimoramentos consistiram na revisão e adição de categorias e subcategorias, a partir de trabalhos brasileiros e internacionais sobre o instrumento. Desta forma, o presente estudo teve por objetivo desenvolver normas para o TAT (Sistema Morvaliano) em adultos, a partir de uma amostra não clínica, aleatória e estratificada por critérios de idade, sexo, escolaridade e nível socioeconômico (NSE) da cidade de Ribeirão Preto (SP). Os participantes foram 100 adultos (25 a 44 anos de idade), selecionados através de visita a domicílios sorteados em bairros de diferentes NSE. Foram realizadas entrevistas de avaliação psicológica individuais, utilizando um roteiro de entrevista semiestruturada, o Teste de Inteligência Geral Não-Verbal (TIG-NV) e 20 cartões do TAT, pré-selecionados de acordo com as recomendações do manual original do instrumento. As histórias do TAT foram categorizadas no sistema morvaliano revisado e seus dados passaram por análises estatísticas e sínteses qualitativas em busca de diferenças de desempenho relacionadas ao sexo, escolaridade e NSE. Os resultados mostram poucas diferenças entre os grupos que justifiquem a elaboração de normas específicas; apesar disso, foi identificada uma tendência (ainda que pequena) de o nível de escolaridade e o NSE favorecerem um melhor desempenho nas variáveis relativas à organização formal das histórias. São discutidas as implicações dos dados obtidos em termos do perfil normativo de desempenho nas variáveis do sistema morvaliano, suas evidências preliminares de validade e futuras direções para estudos sobre o TAT nesse sistema.

Avaliação de massa e rugosidade superficial de pastilhas de Ti-6Al-4V com aplicação de nanopartículas de prata submetidos ao teste de escovação

Este estudo teve por objetivo avaliar a variação da massa e rugosidade de pastilhas de Ti-6Al-4V com e sem aplicação superficial de nanopartículas de prata coloidal (BSafe®) de dimensões 1,5 cm; 0,5 cm e 0,2 cm, submetidas à teste de escovação e imersão pelo período experimental de 10 anos. No teste de escovação, quinze espécimes de Ti-6Al-4V (TE), quinze com B-Safe® (BE) e quinze de PMMA (PE) como controle foram subdivididos em três condições de escovação: dentifrício comum (DC), dentifrício experimental (DE) e controle com água destilada (H2O) por 200 mil ciclos em máquina de escovação. Os resultados foram submetidos ao teste ANOVA a 2 critérios (condição de escovação e ciclos) e teste de Tukey (α=0,05) para comparações múltiplas. Foi observada variação de massa apenas quando a condição de escovação foi DC nos espécimes do grupo PE e TE. Houve diferença estatisticamente significante nos valores da variação de rugosidade no grupo TE e PE quando a condição de escovação foi DC; no grupo BE, houve diferença quando a condição foi DC e DE, porém em DE houve redução dos valores médios. No teste de imersão, objetivando analisar a ação dos dentifrícios sem o atrito das cerdas, seis espécimes de Ti-6Al-4V (TI) e seis com B-Safe® (BI) foram subdivididos em três condições de imersão: DC, DE e H2O pelo período de 244 horas. Os resultados foram submetidos ao teste t de student pareado. Não foi observada diferença estatística entre as variações de massa e rugosidade de nenhum dos corpos de prova após o teste. Complementar aos ensaios, foi realizado um protocolo de desinfecção com terapia fotodinâmica com azul de metileno pelo período de 4 semanas nos espécimes escovados. Após todos os testes, foi realizada espectrometria de energia dispersiva de raios-X (EDS) para caracterização dos elementos químicos presentes nos espécimes, onde não se observou variações. Os resultados sugerem que o DE é mais indicado para utilização com implantes, enquanto DC apresenta um poder abrasivo capaz de danificar a superfície do Ti-6Al- 4V. Não foi observado nenhum indício de corrosão em nenhum grupo testado.

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.

O nado de atletas de águas abertas: características do desempenho e da organização temporal das braçadas

A natação de águas abertas tem registrado aumento no número de competições e participantes em todo mundo. Acompanhando esta tendência têm sido desenvolvidos estudos para identificar as características físicas e as respostas fisiológicas dos atletas neste tipo de prova. Entretanto, são escassos estudos ao nível de análise comportamental, principalmente, em condições reais de distância e meio ambiente (mar). Foi objetivo deste estudo investigar as características de desempenho e da organização temporal das braçadas de nadadores de águas abertas. Mais especificamente, conhecer quais recursos os atletas de águas abertas lançam mão para atingir sua meta de vencer um percurso no mar no menor tempo possível. A amostra foi constituída por 23 atletas, com média de idade de 26,4(±3,2) anos. A tarefa foi nadar um trajeto de 1500 metros em forma de um circuito em mar aberto. Para a captação das variáveis relacionadas ao desempenho utilizou-se um GPS (Garmin modelo Fênix 3) e um cronômetro (FINIS modelo Accusplit Eagle AX602). O registro das imagens para captação dos dados relacionados à descrição da organização temporal das braçadas ocorreu em três pontos do trajeto: início (I) - 20 a 40 metros, meio (M) - 800 a 820 metros e final (F) - 1450 a 1470 metros. Foi utilizada uma filmadora (Nikon Coolpix S5300) afixada à embarcação. O software Kinovea 8.20 permitiu a análise quadro a quadro das braçadas. Foram consideradas variáveis dependentes relacionadas ao desempenho (tempo, velocidade e distância total percorrida, bem como, a frequência de braçadas em cada um dos três pontos do trajeto); aos aspectos variantes das braçadas (tempo total do ciclo, das braçadas, das fases aérea e aquática) e aos aspectos invariantes das braçadas (timing relativo das fases aérea e aquática e sua variabilidade). A análise de variância de medidas repetidas foi usada para comparar os três momentos da tarefa (I, M e F) para todas as variáveis, e a correlação de Pearson para analisar a magnitude das relações entre as variáveis de desempenho, enquanto o teste t de Student para medidas pareadas foi utilizado para comparar as possíveis diferenças entre os braços direito e esquerdo para cada um dos momentos e determinou-se como significância estatística α≤=0,05. Em relação ao desempenho, os resultados indicaram que os nadadores fizeram uso de frequência de braçada (Fb) diferente para os três momentos, sendo maior no I quando comparada ao M e F, e no M, menor que em F; estas mudanças foram acompanhadas por ajustes nos aspectos variantes como o tempo total do ciclo, das braçadas e das fases aérea e aquática. Ainda, nos três momentos os nadadores apresentaram simetria temporal entre as braçadas dos dois braços, apesar de as diferenças serem evidenciadas entre as fases das braçadas quando comparados os braços. Com relação aos aspectos invariantes detectou-se mudança do padrão de I para M e F da tarefa, sendo que em M e F os atletas utilizaram a mesma estrutura temporal. Quanto à variabilidade dos aspectos variantes e invariantes para as braçadas e as fases das braçadas, observou-se diminuição da magnitude ao longo da tarefa sendo que o braço esquerdo apresentou nos três momentos maior variabilidade que o direito. Assim, diante dos resultados, concluiu-se que os recursos utilizados por nadadores habilidosos para nadar em ambiente pouco estável, em condições reais de distância e meio ambiente (mar) compreendem a alteração do desempenho (Fb) associado a ajustes nos aspectos variantes, concomitantemente à alteração dos aspectos invariantes das braçadas, em função do momento da tarefa

Efeito do treinamento físico associado a um programa de perda de peso no controle clínico e nos fatores de saúde relacionados à qualidade de vida em asmáticos obesos

Introdução: O fenótipo asma-obeso caracteriza-se por uma asma mais grave, no qual o controle clínico é mais difícil de ser alcançado, mesmo sob terapia medicamentosa otimizada. A cirurgia bariátrica tem sido recomendada para perda de peso e melhora dos sintomas, porém os benefícios de intervenções não-cirúrgicas têm sido pouco estudados. Objetivo: Avaliar o efeito do treinamento físico associado a um programa de perda de peso no controle clínico da asma, qualidade de vida e sintomas psicossociais em asmáticos obesos. Métodos: 55 pacientes com asma moderada a grave e obesidade grau II (IMC >= 35 e < 39.9 kg/m2) foram alocados em 2 grupos: programa de perda de peso + placebo (PP+P) ou programa de perda de peso + exercícios (PP+E), sendo que o programa de perda de peso incluiu terapia nutricional e psicológica (12 sessões semanais de 60 minutos cada). O grupo PP+E associou exercícios aeróbios e resistidos programa de perda de peso, enquanto o grupo PP+P associou exercícios placebo (respiratórios e alongamentos), 2xvezes/semana, 60 minutos/sessão durante 3 meses. Antes e após as intervenções, foram avaliados o controle clínico da asma, os fatores de saúde relacionados a qualidade de vida (FSRQV), a capacidade física, a composição corporal, os sintomas de ansiedade e depressão, a qualidade do sono, a função pulmonar e as inflamações das vias aéreas e sistêmica. A comparação dos dados contínuos entre os grupos foi realizada por ANOVA de dois fatores com medidas repetidas e das variáveis categóricas pelo teste qui-quadrado. A correlação linear e a regressão linear múltipla foram utilizadas para avaliar associações entre as variáveis avaliadas. Resultados: Foram analisados os resultados de 51 pacientes que foram reavaliados. Comparado com o grupo PP+P, os pacientes que realizaram exercício apresentaram melhora no controle clínico da asma (- 0,7 [-1,3 - -0,3] vs. -0,3 [-0,9 - 0,4] escore ACQ; p=0,01) e nos FSRQV (0,8 [0,3 -2,0] vs. 0,4 [-0,3 - 0,9] escore AQLQ; p=0,02), respectivamente. Essa melhora parece ter sido consequência do aumento do condicionamento físico (3,0 [2,4-4,0] vs. 0,9 [-0,3-1,3] mL.O2/Kg/min; p < 0,001) e da perda de peso (6,8±3,5% vs. 3,1±2,6% do peso corpóreo; p < 0,001) nos pacientes do grupo PP+E, que também apresentaram uma melhora dos sintomas de depressão, da qualidade do sono (ronco, latência e eficiência) e dos níveis séricos de vitamina D. Houve também melhora da função pulmonar (capacidade vital forçada e volume de reserva expiratório) e das inflamações das vias aéreas (FeNO) e sistêmica (CCL2, CXCL9, IL-4, IL-6, TNF-alfa, IL-10 e leptina/adiponectina), que parecem ser possíveis mecanismos associados à melhora do controle clinico da asma nos pacientes do grupo PP+E (p < 0,05 para todas variáveis apresentadas). Conclusão: A inclusão do treinamento físico em um programa de perda de peso a curto prazo deve ser considerada como uma intervenção eficiente para associar à terapia medicamentosa da asma na melhora do controle clínico em asmáticos obesos

Desfechos tardios de sobreviventes de ensaio clínico randomizado controlado (protocolo ARDSnet vs. Open Lung Approach para o manejo ventilatório da síndrome do desconforto respiratório agudo moderado-grave)

Apesar da utilização da ventilação mecânica protetora como estratégia para o tratamento da síndrome do desconforto respiratório agudo, ao menos um quarto dos pacientes com essa síndrome ainda apresentam redução na função pulmonar após 6 meses de seguimento. Não se sabe se esta redução está relacionada com a gravidade da síndrome ou associada com a forma de ventilar o paciente. Nosso objetivo neste trabalho foi avaliar a associação entre alterações funcionais e estruturais do pulmão com parâmetros de gravidade clínica e de ventilação mecânica. Foi realizada uma análise secundária dos dados obtidos em estudo randomizado e controlado que incluiu pacientes com síndrome do desconforto respiratório agudo moderada/grave, internados em seis unidades de terapia intensiva em um hospital terciário da cidade de São Paulo. Foram analisados dados de pacientes que tinham ao menos um teste de função pulmonar no seguimento. O teste funcional incluiu a medida da capacidade vital forçada, volumes pulmonares e a capacidade de difusão do monóxido de carbono após 1, 2 e 6 meses de seguimento. Foram considerados variáveis independentes o volume corrente, a pressão de distensão e a pressão positiva ao final da expiração (todos medidos após 24 horas da randomização) e um sistema de classificação de prognóstico (APACHE II), a relação PaO2/FIO2 e a complacência respiratória estática (todos medidos antes da randomização). Também foi realizada tomografia de alta resolução do tórax juntamente com os testes de função pulmonar, e posterior análise quantitativa das imagens. Na avaliação de 6 meses também foi realizado teste de caminhada de 6 minutos e um questionário de qualidade de vida (SF-36). Um total de 21 pacientes realizaram o teste de função pulmonar após 1 mês e 15 pacientes realizaram após 2 e 6 meses de seguimento. A capacidade vital forçada foi relacionada inversamente com a pressão de distensão na avaliação de 1, 2 e 6 meses (p < 0,01). A capacidade de difusão do monóxido de carbono relacionou-se inversamente com a pressão de distensão e com o APACHE II (ambos p < 0,01) na avaliação de 1 e 2 meses. Após 6 meses de seguimento, houve correlação inversa entre a pressão de distensão e a capacidade vital forçada independente do volume corrente, da pressão de platô e da complacência estática respiratória após ajustes (R2 = 0,51, p = 0,02). A pressão de distensão também se relacionou com o volume pulmonar total, a densidade pulmonar media e a porcentagem de volume pulmonar não aerado ou pobremente aerado medidos através da análise quantitativa da tomografia computadorizada de tórax realizada na avaliação de 6 meses. Também foi observada relação entre a qualidade de vida após 6 meses de seguimento e a pressão de distensão considerando o domínio estado geral de saúde. Nós concluímos que mesmo em pacientes ventilados com reduzido volume corrente e pressão de platô limitada, maiores valores de pressão de distensão relacionaram-se com menores valores de função pulmonar no seguimento de longo prazo

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.

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.