Examiner and Adviser:

Ericsson Radio Systems AB is developing a new IP based GSM system. The system comprises several subsystems, or nodes. Every node must be thoroughly tested in order to verify that the functionality is correct. Since the different nodes are developed in parallel there is a need to simulate the environment surrounding the test object. These simulations are performed using various test tools, tools that are programmed to behave in a certain way. The verification of functionality, or testing, is performed manually in the sense that a programmer constructs a test program for a specific test tool, runs the test program and examines the results to verify that the requirements are reached. This thesis introduces a model for automated verification of functionality in the new IP based GSM system. The model includes