Department of Information Technology

Test generation for LTE functionality


Olga Grinchtein

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.

Back to the seminar page

Updated  2012-04-12 12:13:42 by Frédéric Haziza.