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

Autores
Fantinato, Marcelo
Año de publicación
2002
Idioma
portugués
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23121
Acceder
id SEDICI_493c79684e674c49042b6360bc6646f7
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23121
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Teste de software baseado em máquinas de estados finitos : Uma revisãoFantinato, MarceloCiencias InformáticasSoftwareTeste de softwareteste baseado em modelosSOFTWARE ENGINEERINGteste baseado em MEFsO 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.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2002-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf422-433http://sedici.unlp.edu.ar/handle/10915/23121info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)porreponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:20Zoai:sedici.unlp.edu.ar:10915/23121Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:21.028SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Teste de software baseado em máquinas de estados finitos : Uma revisão
title Teste de software baseado em máquinas de estados finitos : Uma revisão
spellingShingle Teste de software baseado em máquinas de estados finitos : Uma revisão
Fantinato, Marcelo
Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
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
dc.creator.none.fl_str_mv Fantinato, Marcelo
author Fantinato, Marcelo
author_facet Fantinato, Marcelo
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
topic Ciencias Informáticas
Software
Teste de software
teste baseado em modelos
SOFTWARE ENGINEERING
teste baseado em MEFs
dc.description.none.fl_txt_mv 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.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 2002
dc.date.none.fl_str_mv 2002-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23121
url http://sedici.unlp.edu.ar/handle/10915/23121
dc.language.none.fl_str_mv por
language por
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
422-433
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615812254531584
score 13.070432

Publicaciones similares