Test generation for LTE functionality
- Date and Time
Thursday, April 26th, 2012 at 10:30
Polacksbacken, room 1146
The presentation will show results of model-based testing pilot project at LTE RAN Integration & Verification, Ericsson AB. We will talk about features of LTE Radio Base Station which we modelled using different modelling languages such as QML, Spec# and C#. We will show different types of testing problems that model-based testing tools can be used to solve, including constraint satisfaction problem and combinatorial testing. We will compare Conformiq Designer, Spec Explorer 2004 and Spec Explorer 2010 tools based on performance, usability and coverage criteria for generated test cases. The presentation will conclude with discussion of benefits and drawbacks of using model-based testing at LTE RAN Integration & Verification.