Application of a formal testing methodology to wireless telephony networks

Detalhes bibliográficos
Autor(a) principal: Cavalli,Ana
Data de Publicação: 2004
Outros Autores: Mederreg,Amel, Zaidi,Fatiha
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Journal of the Brazilian Computer Society
Texto Completo: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002004000300005
Resumo: This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments. Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.
id UFRGS-28_e71911f62c1d14209260bcd179381abd
oai_identifier_str oai:scielo:S0104-65002004000300005
network_acronym_str UFRGS-28
network_name_str Journal of the Brazilian Computer Society
repository_id_str
spelling Application of a formal testing methodology to wireless telephony networkscomponent testingconformance testinginteroperability testingformal methodslocation based servicesmobile servicesWAPtelephony networksThis paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments. Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.Sociedade Brasileira de Computação2004-11-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersiontext/htmlhttp://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002004000300005Journal of the Brazilian Computer Society v.10 n.2 2004reponame:Journal of the Brazilian Computer Societyinstname:Sociedade Brasileira de Computação (SBC)instacron:UFRGS10.1007/BF03192359info:eu-repo/semantics/openAccessCavalli,AnaMederreg,AmelZaidi,Fatihaeng2010-05-12T00:00:00Zoai:scielo:S0104-65002004000300005Revistahttps://journal-bcs.springeropen.com/PUBhttps://old.scielo.br/oai/scielo-oai.phpjbcs@icmc.sc.usp.br1678-48040104-6500opendoar:2010-05-12T00:00Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)false
dc.title.none.fl_str_mv Application of a formal testing methodology to wireless telephony networks
title Application of a formal testing methodology to wireless telephony networks
spellingShingle Application of a formal testing methodology to wireless telephony networks
Cavalli,Ana
component testing
conformance testing
interoperability testing
formal methods
location based services
mobile services
WAP
telephony networks
title_short Application of a formal testing methodology to wireless telephony networks
title_full Application of a formal testing methodology to wireless telephony networks
title_fullStr Application of a formal testing methodology to wireless telephony networks
title_full_unstemmed Application of a formal testing methodology to wireless telephony networks
title_sort Application of a formal testing methodology to wireless telephony networks
author Cavalli,Ana
author_facet Cavalli,Ana
Mederreg,Amel
Zaidi,Fatiha
author_role author
author2 Mederreg,Amel
Zaidi,Fatiha
author2_role author
author
dc.contributor.author.fl_str_mv Cavalli,Ana
Mederreg,Amel
Zaidi,Fatiha
dc.subject.por.fl_str_mv component testing
conformance testing
interoperability testing
formal methods
location based services
mobile services
WAP
telephony networks
topic component testing
conformance testing
interoperability testing
formal methods
location based services
mobile services
WAP
telephony networks
description This paper presents the application of a formal testing methodology to protocols and services for wireless telephony networks. The methodology provides a complete and integrated coverage of all phases of the testing procedure: specification, test generation, and test execution on a given architecture. It permits to perform conformance and interoperability testing detecting different kinds of implementation faults, as for instance output and transmission faults. The test execution is performed in the framework of a set of architectures capable to deal with different environments. Telecommunication systems and mobility are the main focus of the application presented in this paper. Two case studies illustrates the application of the methodology to a wireless telephone network: conformance and interoperability testing of Wireless Application Protocol (WAP) protocols and services based on the subscriber location.
publishDate 2004
dc.date.none.fl_str_mv 2004-11-01
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002004000300005
url http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002004000300005
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 10.1007/BF03192359
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv text/html
dc.publisher.none.fl_str_mv Sociedade Brasileira de Computação
publisher.none.fl_str_mv Sociedade Brasileira de Computação
dc.source.none.fl_str_mv Journal of the Brazilian Computer Society v.10 n.2 2004
reponame:Journal of the Brazilian Computer Society
instname:Sociedade Brasileira de Computação (SBC)
instacron:UFRGS
instname_str Sociedade Brasileira de Computação (SBC)
instacron_str UFRGS
institution UFRGS
reponame_str Journal of the Brazilian Computer Society
collection Journal of the Brazilian Computer Society
repository.name.fl_str_mv Journal of the Brazilian Computer Society - Sociedade Brasileira de Computação (SBC)
repository.mail.fl_str_mv jbcs@icmc.sc.usp.br
_version_ 1754734669878788096

Registros relacionados