Teste de software baseado em máquinas de estados finitos : Uma revisão

O uso de técnicas formais de teste de software tem se mostrado um bom mecanismo para revelar a presença de falhas de software. Uma das técnicas mais utilizadas é o Teste Baseado em Máquinas de Estados Finitos, uma técnica de teste funcional, suportada pela criaçã e uso de um modelo que descreve o co...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Fantinato, Marcelo
Formato: Objeto de conferencia
Lenguaje:Portugués
Publicado: 2002
Materias:
Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23121
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23121
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Portugués
topic Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
spellingShingle Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
Fantinato, Marcelo
Teste de software baseado em máquinas de estados finitos : Uma revisão
topic_facet Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
description O uso de técnicas formais de teste de software tem se mostrado um bom mecanismo para revelar a presença de falhas de software. Uma das técnicas mais utilizadas é o Teste Baseado em Máquinas de Estados Finitos, uma técnica de teste funcional, suportada pela criaçã e uso de um modelo que descreve o comportamento do sistema sob teste. A partir deste modelo, os casos de teste podem ser gerados e executados, e os resultados dessa exacuçã avaliados. Este artigo apresenta uma revisão desta técnica de teste, apresentando suas principais características, vantagens e desvantagens –enfocando os principais criterios de teste definidos para ela. Além disso, também são apresentadas algumas ferramentas utilizadas para a automação dos testes por meio dessa técnica e a aplicação de parte desta técnica por meio de um estudo de caso.
format Objeto de conferencia
Objeto de conferencia
author Fantinato, Marcelo
author_facet Fantinato, Marcelo
author_sort Fantinato, Marcelo
title Teste de software baseado em máquinas de estados finitos : Uma revisão
title_short Teste de software baseado em máquinas de estados finitos : Uma revisão
title_full Teste de software baseado em máquinas de estados finitos : Uma revisão
title_fullStr Teste de software baseado em máquinas de estados finitos : Uma revisão
title_full_unstemmed Teste de software baseado em máquinas de estados finitos : Uma revisão
title_sort teste de software baseado em máquinas de estados finitos : uma revisão
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/23121
work_keys_str_mv AT fantinatomarcelo testedesoftwarebaseadoemmaquinasdeestadosfinitosumarevisao
bdutipo_str Repositorios
_version_ 1764820465675665409

Ejemplares similares