skip to main content
Idioma:
Tipo de recurso Mostra resultados com: Mostra resultados com: Índice

Minimização de conjuntos de casos de teste para máquinas de estados finitos

Mello Neto, Lúcio Felippe De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2008-05-09

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Minimização de conjuntos de casos de teste para máquinas de estados finitos
  • Autor: Mello Neto, Lúcio Felippe De
  • Orientador: Simão, Adenilso da Silva
  • Assuntos: Condições De Suficiência; Conjuntos De Teste; Máquinas De Estados Finitos; Minimização; Finite State Machines; Minimization; Sufficient Conditions; Test Suites
  • Notas: Dissertação (Mestrado)
  • Descrição: O TESTE baseado em modelos visa a possibilitar a derivação de conjuntos de casos de teste a partir de especificações formais, tais como Máquinas de Estados Finitos. Os conjuntos de teste podem ser obtidos tanto pelos métodos clássicos de geração quanto por alguma abordagem ad hoc. Procura-se obter um conjunto de teste que consiga detectar todos os possíveis defeitos de uma implementação e possua tamanho reduzido para que a sua aplicação seja factível. Por questões de ordem prática, pode não ser possível a aplicação de todo o conjunto de teste gerado. Desse modo, um subconjunto de casos de teste deve ser selecionado, ou seja, uma minimização do conjunto de teste deve ser realizada. No entanto, é fundamental que a minimização reduza o custo de aplicação dos testes, mas mantenha a efetividade em revelar defeitos. Neste trabalho, propõe-se um algoritmo de minimização de conjuntos de teste para Máquinas de Estados Finitos. O algoritmo baseia-se em condições de suficiência para que a completude em relação à detecção de defeitos seja mantida. O algoritmo foi utilizado em dois diferentes contextos. Utilizou-se o algoritmo com conjuntos de teste gerados de forma aleatória para verificar a minimização obtida. O algoritmo também foi utilizado para reduzir o esforço em se obter um conjunto completo em relação à detecção de defeitos
  • DOI: 10.11606/D.55.2008.tde-18062008-135859
  • Editor: Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação
  • Data de criação/publicação: 2008-05-09
  • Formato: Adobe PDF
  • Idioma: Português
Links
Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.