La utilización de lenguajes orientados a pruebas como es TTCN-3 permite automatizar las pruebas funcionales de algunos productos. En este proyecto se han automatizado las pruebas de algunas funcionalidades básicas del HLR (Home Location Register), base de datos de la telefonía móvil. Las funcionalidades elegidas para ser automatizadas han sido: actualización de la localización en el dominio de circuitos y en el de paquetes, cambio de IMSI y manejo del servicio suplementario de rechazo de llamadas anónimas. La automatización de las pruebas permite ejecutarlas en cualquier momento y con coste bajo, lo cual es beneficioso para reducir los tiempos de desarrollo y para aplicar, con el mismo objetivo, técnicas de desarrollo de software ágiles en las que se implementan diferentes funcionalidades en paralelo, se va probando su correcto funcionamiento por separado y, finalmente, es necesario pasar las pruebas de todas ellas una vez todo el código esté integrado. En este proyecto se hace una descripción del lenguaje orientado a pruebas TTCN-3, de la arquitectura de red de telefonía móvil GSM/UMTS, y del nodo al que sometemos a pruebas, el HLR. A partir de ahí se explican en detalle las funcionalildades del HLR elegidas para automatizar sus pruebas, que son: actualización de la localización en el dominio de circuitos y en el de paquetes, cambio de IMSI, y manejo del servicio suplementario de rechazo de llamadas anónimas. Finalmente se proponen casos de prueba que cubran parte de estas funcionalidades, se implementan en TTCN-3, y se evalúan sus resultados.