Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9 / Issue 10

available in:   PDF (185 kB) PS (173 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-009-10-1220


An Inoteroperability Testing Approach to Wireless Applications Protocols

Ousmane Koné (Universite Paul Sabatier ­ IRIT 118 route de Narbonne, France)

Abstract: Internet services can now be used from mobile terminals. The main standard supporting this technology, WAP, will enable new services since it is compatible with network technologies like IP and UMTS. In parallel, powerful methods must be proposed to validate the underlying protocols in order to guaratee reliability and interoperability of new products. Our work, based on formal methods, contributes to WAP testing efforts by proposing an approach to the development of interoperability tests. We illustrate this approach with the design of tests suites for the WSP-protocol operating over a WAP transaction service.

Keywords: WAP protocol, compliance, formal testing, interoperability

Categories: C.2.2, D.2.1, D.2.5