Desenvolvimento de hidroxiapatita contendo prata via precipitação e imersão: avaliação do efeito antimicrobiano

A utilização de substitutos ósseos para recuperação da função perdida é uma constante busca dentro da área médica. Por isso os biomateriais têm recebido uma atenção muito grande por parte da comunidade científica, dentre eles os materiais a base de fosfato de cálcio. A hidroxiapatita, Ca10 (PO4)6 (OH) 2, tem sido muito estudada, pois além de representar a constituição da massa dos ossos naturais e dentes em 30 a 70%, possui propriedades de bioatividade e osteocondutividade, favorecendo e auxiliando o crescimento do tecido ósseo. Em contrapartida, infecções bacterianas podem surgir após o implante ocasionando a perda da funcionalidade a curto e médio prazo. Várias alternativas estão sendo testadas, geralmente associadas ao uso de antibióticos convencionais incorporados aos biomateriais. Uma alternativa a tais antibióticos seria a utilização de metais que possuem propriedades antibacterianas. A prata (Ag) é conhecida como um metal bactericida e por isso ganhou lugar de destaque dentre os estudos como um aliado importante no controle das infecções pós-cirúrgicas. Este trabalho teve como objetivo sintetizar, caracterizar e avaliar o efeito antimicrobiano da adição de íons de prata em hidroxiapatita. Foram obtidos pós de hidroxiapatita contendo prata (HAAg), nas concentrações de 0,1M; 0,01M e 0,001M pelo método de precipitação em temperatura ambiente e por imersão do pó de hidroxiapatita em soluções aquosas. As fases cristalinas e os grupamentos iônicos foram analisados para cada condição por técnicas de difração de raios X (DRX) e espectroscopia no infravermelho (IV) respectivamente. As informações sobre a morfologia e identificação de elementos químicos foi realizado pela técnica de microscopia eletrônica de varredura com espectroscopia de energia dispersiva (MEV EDS). As avaliações antimicrobianas foram realizadas por ensaios qualitativos e quantitativos, o ensaio qualitativo utilizou o teste de halo de difusão em disco para Staphylococcus aureus e Escherichia coli e o ensaio quantitativo utilizou contagem de bactérias para as cepas de Staphylococcus aureus. Os resultados de DRX e IV indicaram que independentemente do método de obtenção da HAAg foi possível observar a presença de prata metálica caracterizada pelos picos em 2θ=38,1º e 44,3º nas amostras HAAg0,1Im, HAAg0,1Pr e HAAg0,01Pr. Observou-se também a presença de AgO, correspondente ao pico em 2θ=37,5º nas amostras de HAAg0,01Pr e HAAg0,001Pr. Nos espectros de IV estão presentes as bandas que caracterizam a fase HA, referentes aos grupamentos PO43-, OH- e CO32-. Analisados em conjunto os ensaios qualitativos e quantitativos, as amostras HAAg0,01Im e HAAg0,001Im sintetizadas por imersão indicaram os melhores resultados para o ensaio de disco difusão, por apresentarem formação de halo inibição do crescimento bacteriano para a bactéria S. aureus. Para os ensaios quantitativos as amostras obtidas por precipitação com concentrações 0,1M e 0,01M de prata apresentaram melhor resultado por inibirem o crescimento bacteriano para as cepas S. aureus.

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.

Estudos mecanísticos da origem da inibição da reação foto-Fenton por íons cloreto

O objetivo principal deste estudo foi determinar a origem da inibição do processo foto-Fenton [Fe(II)/Fe(III), H2O2, luz UV] pelo íon cloreto. Um estudo das reações primárias da etapa fotocatalítica do processo foto-Fenton por fotólise por pulso de laser na presença de NaCl mostrou que a inibição reflete: i) fotólise competitiva dos complexos Fe(Cl)2+ e Fe(Cl)2+; ii) captura do radical hidroxila (dependente do pH) pelo íon cloreto. Esses dois processos formam o ânion radical menos reativo Cl2•- em lugar do radical HO•-, provocando uma progressiva inibição da reação de degradação com a diminuição do pH. Modelagem cinética destes resultados previa que a manutenção do pH em 3,0 durante a fotodegradação evitaria a formação do Cl2•-, o que foi confirmada através de experimentos de fotodegradação do fenol e da gasolina em meio aquoso na presença de NaCl. Por outro lado, na degradação do fenol pela reação térmica de Fenton [Fe(II)/Fe(III), H2O2], o radical hidroxila não parece ter um papel muito importante. A degradação térmica não foi inibida pela presença de íon cloreto e a cinética de mineralização do fenol pela reação térmica de Fenton é indistinguível da degradação do fenol pelo processo foto-Fenton inibido por NaCl. Isso sugere que a reação proposta por Hamilton, isto é, a redução de Fe(III) a Fe(II) por catecol (o principal intermediário inicial da oxidação do fenol) na presença de H2O2, é o mecanismo principal de catálise da reação térmica de Fenton no nosso 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.

Desenvolvimento de uma plataforma modelo para a busca de ligantes com potencial leishmanicida baseado na inibição seletiva da enzima diidroorotato desidrogenase

As doenças tropicais negligenciadas (DTNs) causam um imenso sofrimento para a pessoa acometida e em muitos casos podem levar o indivíduo a morte. Elas representam um obstáculo devastador para a saúde e continuam a ser um sério impedimento para a redução da pobreza e desenvolvimento socioeconômico. Das 17 doenças desse grupo, a leishmaniose, incluindo a leishmaniose cutânea, tem grande destaque devido sua alta incidência, os gastos para o tratamento e as complicações geradas em processos de coinfecção. Ainda mais agravante, os investimentos direcionados ao controle, combate e principalmente a inovação em novos produtos é ainda muito limitado. Atualmente, a academia tem um importante papel na luta contra essas doenças através da busca de novos alvos terapêuticos e também de novas moléculas com potencial terapêutico. É nesse contexto que esse projeto teve como meta a implantação de uma plataforma para a identificação de moléculas com atividade leishmanicida. Como alvo terapêutico, optamos pela utilização da enzima diidroorotato desidrogenase de Leishmania Viannia braziliensis (LbDHODH), enzima de extrema importância na síntese de novo de nucleotídeos de pirimidina, cuja principal função é converter o diidroorotato em orotato. Esta enzima foi clonada, expressa e purificada com sucesso em nosso laboratório. Os estudos permitiram que a enzima fosse caracterizada cineticamente e estruturalmente via cristalografia de raios- X. Os primeiros ensaios inibitórios foram realizados com o orotato, produto da catálise e inibidor natural da enzima. O potencial inibitório do orotato foi mensurado através da estimativa do IC50 e a interação proteína-ligante foi caracterizada através de estudos cristalográficos. Estratégias in silico e in vitro foram utilizadas na busca de ligantes, através das quais foram identificados inibidores para a enzima LbDHODH. Ensaios de validação cruzada, utilizando a enzima homóloga humana, permitiram identificar os ligantes com maior índice de seletividade que tiveram seu potencial leishmanicida avaliado in vitro contra as formas promastigota e amastigota de Leishmania braziliensis. A realização do presente projeto permitiu a identificação de uma classe de ligantes que apresentam atividade seletiva contra LbDHODH e que será utilizada no planejamento de futuras gerações de moléculas com atividade terapêutica para o tratamento da leishmaniose. Além disso, a plataforma de ensaios otimizada permitirá a avaliação de novos grupos de moléculas como uma importante estratégia na busca por novos tratamentos contra a leishmaniose

Compatibilidade entre tratamentos químico e biológico de sementes de feijão para controle de Fusarium oxysporum f. sp. phaseoli

Atualmente, a produtividade do feijoeiro comum (Phaseolus vulgaris L.) pode ser reduzida devido à ocorrência de doenças em todo o território nacional, destacando-se a murcha de fusário, causada por Fusarium oxysporum f. sp. phaseoli (Fop). No campo, o patógeno é disseminado a longas distâncias através das sementes infectadas e/ou contaminadas e a sua sobrevivência ocorre, principalmente, no solo. Os objetivos deste trabalho foram: avaliar a inibição do crescimento micelial de Fop por Trichoderma spp.; classificar a sensibilidade in vitro de Fop e Trichoderma spp., separadamente, a fungicidas e verificar a compatibilidade entre fungicidas químicos e biológicos para controle de Fop, presente nas sementes e no solo. Para avaliar a inibição do crescimento micelial de Fop, foram utilizados três isolados do patógeno, os quais foram confrontados, in vitro, com três isolados de Trichoderma spp. em testes de cultura pareada e produção de metabólitos voláteis a 20-22°C. Os experimentos foram conduzidos em delineamento inteiramente casualizado, com cinco repetições para cada isolado de Trichoderma. Para a classificação da sensibilidade in vitro de Fop e Trichoderma a fungicidas, foram avaliados os mesmos isolados anteriormente utilizados. Foram comparados dez fungicidas, em doses entre 0 a 100 mg L-1 que foram ajustadas de acordo com a CI50 de cada fungicida. Com base na percentagem de inibição do crescimento micelial, foram estimados os valores da concentração inibitória de 50% (CI50) e 100% (CI100) e selecionaram-se os fungicidas compatíveis com Trichoderma spp. A compatibilidade entre tratamentos químico e biológico foi avaliada através da inoculação artificial de sementes de feijão com um isolado de Fop (IAC 11.299-1) e infestação do mesmo no solo. As sementes foram tratadas com os fungicidas fludioxonil, flutriafol e tiofanato metílico, e com os três produtos biológicos, separadamente e em misturas. Avaliou-se o efeito dos tratamentos por meio dos testes de sanidade, germinação, comprimento de plântulas, massa da matéria seca em laboratório e índice de velocidade de emergência e porcentagem de emergência em estufa não climatizada. O efeito protetor dos tratamentos foi verificado através do teste de transmissão do patógeno solo-planta. Todos os isolados de Trichoderma apresentaram antagonismo in vitro contra Fop. No teste de cultura pareada foi observada uma redução de 15 a 20% no crescimento micelial do patógeno. No teste de produção de metabólitos voláteis, o isolado T12-1086G05 foi responsável pela maior inibição do crescimento micelial de Fop (10 a 48%). Os testes de sensibilidade in vitro mostraram que tiofanato metílico, flutriafol e fludioxonil foram compatíveis com Trichoderma (CI50 > 2 mg L-1). Com exceção do flutriafol e do GF 422 isolados e em mistura, todos os tratamentos foram eficientes na erradicação de Fop nas sementes, sem afetar a sua qualidade fisiológica. No teste de transmissão, verificou-se que a incidência de Fop foi de 5 a 40% no hipocótilo e de 5 a 30% nas raízes de feijoeiro provenientes de sementes tratadas com os produtos.

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.

Teste : subtítulo

uiwrei beroei toii oport op

Teste:Política de acesso inválida

drtdrtydrfgydfgydfghf jkdrtndrjkthdkrjt awkeljskfnkwjehrkernhfkseisejireirhj erhjweitrhiwe iwueriwetr

Soluções globais para sistemas industriais-teste de software

Relatório de estágio apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Sistemas de Informação Organizacionais

Traité des playes de teste /

Mode of access: Internet.