Paper Info
Title
A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs
Abstract
Testing a telecommunication protocol often requires protocol log analysis. A protocol log is a sequence of messages with timestamps. Protocol log analysis involves checking that the content of messages and timestamps are correct with respect to the protocol specification. We model a protocol specification using constraint programming (MiniZinc), and we present an approach where a constraint solver is used to perform protocol log analysis. Our case study is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. We were able to analyse logs containing more than 3000 messages with more than 4000 errors.
Year
DOI
Venue
2015
10.1007/978-3-319-21215-9_9
Lecture Notes in Computer Science
Keywords
Field
DocType
Telecommunication protocol,Testing,Constraint programming
Warning system,Reverse Address Resolution Protocol,Telecommunications,Computer science,Constraint programming,General Inter-ORB Protocol,Constraint satisfaction problem,Theoretical computer science,Timestamp,Internetwork protocol,Distributed computing,Information and Computer Science
Conference
Volume
ISSN
Citations 
9154
0302-9743
2
PageRank 
References 
Authors
0.38
5
3
Name
Order
Citations
PageRank
Olga Grinchtein11157.91
Mats Carlsson297579.24
Justin Pearson3203.44