Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-31T23:15:35Z (GMT). No. of bitstreams: 1
Uber_FlavioRogerio_M.pdf: 2367377 bytes, checksum: 0e8a8f216f118ab15a844a5c1423ea52 (MD5)
Previous issue date: 2001 / Resumo: 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 futuramente / Abstract: 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 paths / Mestrado / Mestre em Ciência da Computação
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/276437 |
| Date | 19 November 2001 |
| Creators | Uber, Flavio Rogério |
| Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Martins, Eliane, 1955-, Fabbri, Sandra Camargo Pinto Ferraz, Anido, Ricardo de Oliveira |
| Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Computação, Programa de Pós-Graduação em Ciência da Computação |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | 53p. : il., application/octet-stream |
| Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds