Ver registro no DEDALUS
Exportar registro bibliográfico

Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos (2010)

  • Authors:
  • USP affiliated authors: RIBEIRO, PAULO HENRIQUE - ICMC
  • USP Schools: ICMC
  • Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; MÉTODO DOS ELEMENTOS FINITOS; ENGENHARIA DE SOFTWARE
  • Language: Português
  • Abstract: O teste baseado em modelos tem como objetivo auxiliar a atividade de testes, gerando conjuntos de casos de teste a partir de modelos, como Máquinas de Estados Finitos (MEFs). Diversos métodos de geração de conjuntos de caso de teste têm sido propostos ao longo das ultimas décadas, com algumas contribuições recentes. Dentre esses trabalhos, há os que geram seqüências de verificação que são conjuntos de caso de teste formados por uma única seqüência e que são capazes de detectar os defeitos de uma implementação cujo comportamento pode ser modelado a partir de uma MEF. Neste trabalho é proposto um algoritmo de geração de seqüências de verificação que tem a finalidade de gerar seqüências menores que as seqüências geradas pelos métodos existentes. O algoritmo, que é baseado na técnica de algoritmos genéticos e nas condições de suficiência para a completude de casos de teste, consiste basicamente em criar novas seqüências a partir de seqüências menores. Por meio de mutações, novas seqüências são geradas pelo algoritmo. As condições de suficiência são utilizadas para determinar quais seqüências geradas são seqüências de verificação. Também são apresentados neste trabalho os estudos experimentais realizados para determinar o comportamento do algoritmo diante de diferentes contextos
  • Imprenta:
  • Data da defesa: 09.12.2010
  • Acesso online ao documento

    Online access or search this record in

    Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    ICMC30300043187T R484ue e.1
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RIBEIRO, Paulo Henrique; SIMÃO, Adenilso da Silva. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos. 2010.Universidade de São Paulo, São Carlos, 2010. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/ >.
    • APA

      Ribeiro, P. H., & Simão, A. da S. (2010). Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos. Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/
    • NLM

      Ribeiro PH, Simão A da S. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/
    • Vancouver

      Ribeiro PH, Simão A da S. Uma estratégia para geração de seqüências de verificação para máquinas de estados finitos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-19012011-144153/

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: