O documento resume um artigo científico que apresenta a aplicação de uma metodologia formal de teste em protocolos e serviços para redes de telefonia sem fio. A metodologia fornece cobertura completa de todas as fases do processo de teste: especificação, geração e execução de testes em determinada arquitetura, permitindo detectar falhas de implementação. Dois estudos de caso ilustram a aplicação da metodologia para testes de conformidade e interoperabilidade em protocolos e serviços sem fio baseados na localização do assinante.

1. Instituição: Faculdade Evolução
Curso: Redes de Computadores
Disciplina: Inglês Técnico
Professor: Tom Jones Carneiro
Aluno: Aldemar Vasconcelos da Silva

2. Application of a formal testing methodology to wireless
telephony networks
 Autores: Ana Cavalli; Amel Mederreg; Fatiha Zaidi.
 Instituições: Laboratoire CNRS SAMOVAR, Groupe des
Ecoles des Télécommunications/Institut National des
Telecommunications, 9 rue Charles Fourier, F-91011 Evry
Cedex France. Université Paris-sud 11, Laboratoire de
Recherche en informatique UMR CNRS 8623, Bât 490
Université Paris-Sud 91405 Orsay Cedex France.

3. ABSTRACT
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.

4. Área de Pesquisa - Journal of the brazilian computer
society. Versão impressa ISSN 0104-6500.
J. Braz. Comp. Soc. vol.10 no.2 Campinas nov. 2004.
Objetivo do estudo – Testar o sistema de
telecomunicações e de mobilidade sem fio,tentando
buscar novas tecnologias para o funcionamento do
mesmo.
Resultado - Apesar da pesquisa ser baseada em
testes, foram encontradas falhas com rapidez e novas
tecnologias que ainda não estão sendo usadas e que
esperamos que nossas operadoras tenham suporte para
utilizá-las um dia.

5. CONCLUSÃO
O artigo é interessante,pois hoje em dia além da
funcionalidade dos telefones a tecnologia sem fio pode
ser usada para outros fins, contribuindo assim para minha
formação, uma vez que a minha área é redes de
computadores com ou sem fio.

6. BIBLIOGRAFIA
CAVALLI, Ana; MEDERREG, Amel e ZAIDI, Fatiha.
Application of a formal testing methodology to wireless
telephony networks. J. Braz. Comp. Soc. [online].
2004, vol.10, n.2, pp. 56-72.
ISSN 0104-6500. http://dx.doi.org/10.1007/BF03192359.
Data de acesso: 02/11/2013.