JUCS - Journal of Universal Computer Science 9(10): 1220-1243, doi: 10.3217/jucs-009-10-1220
An Inoteroperability Testing Approach to Wireless Applications Protocols
expand article infoOusmane Koné‡
‡ Universite Paul Sabatier ­ IRIT 118 route de Narbonne, Toulouse, France

Corresponding author: Ousmane Koné ( kone@irit.fr )

© Ousmane Koné.
This article is freely available under the J.UCS Open Content License.
Citation: Koné O (2003) An Inoteroperability Testing Approach to Wireless Applications Protocols. JUCS - Journal of Universal Computer Science 9(10): 1220-1243. https://doi.org/10.3217/jucs-009-10-1220
Open Access
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
formal testing, compliance, interoperability, WAP protocol