Exportar registro bibliográfico

Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos (2010)

  • Authors:
  • Autor USP: CUTIGI, JORGE FRANCISCO - ICMC
  • Unidade: ICMC
  • Sigla do Departamento: SSC
  • Subjects: SOFTWARES (DESENVOLVIMENTO;TESTES); ENGENHARIA DE SOFTWARE; LINGUAGEM DE PROGRAMAÇÃO
  • Language: Português
  • Abstract: O teste baseado em modelos visa à derivação de casos de teste a partir de modelos produzidos ao longo do desenvolvimento de software. Nesse contexto, as Máquinas de Estados Finitos têm sido amplamente pesquisadas e utilizadas para derivação de seqüências de teste. Para isso, vários métodos de geração de seqüências de teste têm sido desenvolvidos há várias décadas. O objetivo desses métodos é a obtenção de um conjunto de teste que seja capaz de revelar os defeitos de uma implementação. Entretanto, muitas vezes os conjuntos gerados são muito grandes, o que torna sua aplicação inviável. Trabalhos recentes definiram condições que podem ser utilizadas para investigar mecanismos de redução de casos de teste. Este trabalho apresenta uma estratégia para a redução de conjuntos de seqüências de teste a partir de Máquinas de Estados Finitos com base em condições de suficiência. A estratégia baseia-se na combinação de seqüências de um conjunto de teste, de forma a reduzir o número de seqüências e o tamanho delas, mantendo a completude do conjunto. São apresentadas seis abordagens de redução baseadas na estratêgia proposta, as quais foram implementadas em uma ferramenta. Para avaliar as abordagens foram conduzidos estudos experimentais, os quais também serviram para inferir sobre as características e propriedades de cada abordagem. Além disso, um estudo de caso com MEFs reais também foi realizado
  • Imprenta:
  • Data da defesa: 18.06.2010
  • Acesso à fonte
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CUTIGI, Jorge Francisco; SIMÃO, Adenilso da Silva. Uma estratêgia para redução de conjuntos de seqüências de teste 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-16082010-142539/ >.
    • APA

      Cutigi, J. F., & Simão, A. da S. (2010). Uma estratêgia para redução de conjuntos de seqüências de teste 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-16082010-142539/
    • NLM

      Cutigi JF, Simão A da S. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/
    • Vancouver

      Cutigi JF, Simão A da S. Uma estratêgia para redução de conjuntos de seqüências de teste para máquinas de estados finitos [Internet]. 2010 ;Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-16082010-142539/


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021