Download fulltext

2 Introduction
The Ericsson department BSC Design (Base Station Controller), designs and tests the BSC
node in the GSM network. The BSC organization delivers BSCs to customers around the
world. With more than 200 customers using Ericsson’s BSC, the product line is very
profitable. The Ericsson BSC product includes functionality for GPRS and EDGE as well as
standard traffic handling and configuration of the radio network.
The Linköping based GSM/EDGE Development Centre is responsible for SW development
of the BSC node in the GSM system. Their responsibilities are product development and
maintenance of radio network products.
The process used by the BSC Function Test when testing is at the moment manual testing.
One drawback with manual testing is that it is easy to miss some interesting test case that
should have been tested. It is also hard to get a clear overview of that is tested and what is
not tested.
The BSC Design has lately got many new employees and therefore it is a good time to test a
new testing methodic.
2.1 Purpose
This master thesis will investigate how Model-Based Testing (MBT) can be used in Function
Test of the BSC and propose how to work with MBT.
During the master thesis a pilot will be built, showing that it is possible to use the modelbased testing approach at the BSC department. The pilot will also give concrete suggestions
on what to think about when producing a model for model-based testing.
The result from the pilot will be examined by a group of experts from Ericsson BSC
department, and they will compare the pilot with the normal manual testing that is performed
at BSC Design.
2.2 Reading instructions
This report tries to introduce model-based testing in a way so that no or little pre knowledge
of model-based testing is needed.
Chapter 3 introduces what software testing is.
Chapters 4-6 describe what model-based testing is, how to build models and how test cases
can be extracted from the model. These chapters try to have a wide view on model-based
testing.
3