Modeling and testing location based application in umts networks

This paper is concerned with design issues in telecommunications, using UMTS (Universal Mobile Telecommunications System) networks. We propose a modeling approach for basic service as location and for any applications written with languages as WML (Wireless Markup Language), for PDA (Personal Data Assistant)equipment (or User Equipment, which should be interpreted as mobile station). The models are intended for simulation and analysis in order to detect inconstancies and to design test patterns for implementations of UMTS network and user applications. In some case, we propose a technique to automatically generate test sequences from the model. These test sequences will be applied on a test architecture with comfonents as a mobile station (or UE), a gateway, a LCS (location services) Server and a HTTP server (or LCS Client) which includes application server and data base server. This research work is supported by a French national project, named Platonis.