Paper Info
Title
Model-based protocol log generation for testing a telecommunication test harness using CLP
Abstract
Within telecommunications development it is vital to have frameworks and systems to replay complicated scenarios on equipment under test, often there are not enough available scenarios. In this paper we study the problem of testing a test harness, which replays scenarios and analyses protocol logs for the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. Protocol logs are sequences of messages with timestamps; and are generated by different mobile network entities. In our case study we focus on user equipment protocol logs. In order to test the test harness we require that logs have both incorrect and correct behaviour. It is easy to collect logs from real system runs, but these logs do not show much variation in the behaviour of system under test. We present an approach where we use constraint logic programming (CLP) for both modelling and test generation, where each test case is a protocol log. In this case study, we uncovered previously unknown faults in the test harness.
Year
DOI
Venue
2014
10.7873/DATE.2014.203
DATE
Keywords
Field
DocType
4G mobile communication,Long Term Evolution,logic programming,protocols,telecommunication computing,telecommunication equipment testing,CLP,LTE 4G standard,Long Term Evolution 4G standard,constraint logic programming,equipment-under-test,message sequences,mobile network entities,model-based protocol log generation,public warning system service,system-under-test,telecommunication development,telecommunication test harness,test generation,timestamps,user equipment protocol logs
Test harness,Warning system,System under test,Telecommunications,Computer science,Real-time computing,Timestamp,User equipment,Cellular network,Logic programming,Constraint logic programming
Conference
ISSN
Citations 
PageRank 
1530-1591
4
0.57
References 
Authors
9
3
Name
Order
Citations
PageRank
Kenneth Balck15245.01
Olga Grinchtein21157.91
Justin Pearson3203.44