Ver registro no DEDALUS
Exportar registro bibliográfico

Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos (2009)

  • Authors:
  • USP affiliated authors: DUSSE, FLÁVIO - ICMC
  • USP Schools: ICMC
  • Sigla do Departamento: SSC
  • Subjects: TESTE E AVALIAÇÃO DE SOFTWARE; ENGENHARIA DE SOFTWARE
  • Language: Português
  • Abstract: MÉTODOS de geração de casos de teste visam a gerar um conjunto de casos de teste com uma boa relação custo/benefício. Critérios de cobertura de teste definem requisitos de teste, os quais um conjunto de teste adequado deve cobrir. Métodos e critérios visam a selecionar casos de teste baseados em especificações, que podem ser descritas por meio de modelos, tais como Máquinas de Estados Finitos (MEF). Existem diversos métodos de geração e critérios de cobertura, diferindo entre si em função das propriedades exigidas da MEF, do custo dos testes gerados e da eficácia na revelação de defeitos. Apesar de pesquisas intensas na definição desses médodos e critérios, são poucas as ferramentas de apoio disponíveis assim como são poucos os relatos de aplicação em termos de custo e eficácia para a definição de estratégias de teste efetivas. Dessa forma, é necessário obter dados reais das vantagens e desvantagens dos métodos e critérios para subsidiar a tomada de decisão no processo de desenvolvimento de software no que tange às atividades de teste e validação. Este trabalho apresenta resultados de experimentos para avaliar o custo e a eficácia de aplicação dos métodos e critérios mais relevantes para subsidiar a definição de estratégias de teste em diversos contextos, como por exemplo, no desenvolvimento de protocolos e de sistemas reativos. Utiliza-se um protótipo desenvolvido a partir de uma reengenharia da ferramenta Plavis/FSM para apoiar os experimentos
  • Imprenta:
  • Data da defesa: 16.12.2009
  • 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
    ICMC30300041775T D974ac e.1
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DUSSE, Flávio; MALDONADO, José Carlos. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos. 2009.Universidade de São Paulo, São Carlos, 2009. Disponível em: < http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/ >.
    • APA

      Dusse, F., & Maldonado, J. C. (2009). Avaliação de custo e eficácia de métodos e critérios de teste baseado em 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-30032010-161638/
    • NLM

      Dusse F, Maldonado JC. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/
    • Vancouver

      Dusse F, Maldonado JC. Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-30032010-161638/

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