Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas

Detalhes bibliográficos
Autor(a) principal: Uber, Flavio Rogério
Data de Publicação: 2001
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1591591
Resumo: Orientador : Eliane Martins
id UNICAMP-30_78bfc944b8b859332367513721b6c7db
oai_identifier_str oai::226941
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidasSoftware - TestesRedes de computadores - ProtocolosEngenharia de softwareOrientador : Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: As máquinas finitas de estados estendidas (MFEE) são muito utilizadas para a especificação de protocolos. Por essa razão existem muitas técnicas baseadas nesse modelo, usadas nos testes de conformidade, os quais servem para determinar se uma determinada implementação satisfaz a sua especificação. Com o objetivo de dar suporte à geração de testes a partir de MFEE foi construída no Instituto de Computação da UNICAMP a ferramenta CONDADO. Até então essa ferramenta implementava os métodos de testes de transição, para cobrir a parte de controle. Com relação à parte de dados (referente ao formato das interações bem como aos valores dos parâmetros dessas interações) eram utilizados os testes de sintaxe e os testes baseados em classes de equivalência. Este trabalho implementa uma extensão à CONDADO visando melhorar a estratégia de geração de dados de teste por parte desta ferramenta. Em vez dos testes baseados em classes de equivalência são usados testes de domínios que consideram os predicados associados às transições da MFEE . Com isso foi reduzido o número de casos de teste correspondentes a caminhos não executáveis. Acredita-se ainda na melhora do potencial para detecção de falhas com dados de teste próximos aos limites do domínio, o que deverá ser analisado futuramenteAbstract: Extended Finite State Machine (EFSM) are much utilized in protocoI specification. For testing it there are many techniques, used in conformance testing. Conformance testing of communication protocols aims at verifying that the externaI behaviour of a protocoI implementation complies with th protocoI specification. To test EFSM based specifications was developed CONDADO tooI, in Computing Institute (UNICAMP). This tooI combines different specification-based test methods: transition testing for the controI part of a protocoI and syntax and equivalence partitioning fot the data parto. This work develops a CONDADO extension, intending to improve data generation. Equivalence partitioning will be substituted by domain testing to consider the predicates associated with transitions. With domain testing will be decreased the number of case tests corresponding to non-executable pathsMestradoMestre em Ciência da Computação[s.n.]Martins, Eliane, 1955-Fabbri, Sandra Camargo Pinto FerrazAnido, Ricardo de OliveiraUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASUber, Flavio Rogério20012001-11-19T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf53p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1591591UBER, Flavio Rogério. Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas. 2001. 53p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1591591. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/226941porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:31:40Zoai::226941Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:31:40Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
title Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
spellingShingle Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
Uber, Flavio Rogério
Software - Testes
Redes de computadores - Protocolos
Engenharia de software
title_short Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
title_full Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
title_fullStr Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
title_full_unstemmed Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
title_sort Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas
author Uber, Flavio Rogério
author_facet Uber, Flavio Rogério
author_role author
dc.contributor.none.fl_str_mv Martins, Eliane, 1955-
Fabbri, Sandra Camargo Pinto Ferraz
Anido, Ricardo de Oliveira
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Uber, Flavio Rogério
dc.subject.por.fl_str_mv Software - Testes
Redes de computadores - Protocolos
Engenharia de software
topic Software - Testes
Redes de computadores - Protocolos
Engenharia de software
description Orientador : Eliane Martins
publishDate 2001
dc.date.none.fl_str_mv 2001
2001-11-19T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1591591
UBER, Flavio Rogério. Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas. 2001. 53p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1591591. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
UBER, Flavio Rogério. Integrando testes de dominios aos testes baseados em maquinas finitas de estados estendidas. 2001. 53p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1591591. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1591591
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/226941
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
53p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188863375048704

Registros relacionados