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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Chadchan, S., Akki, C.: 3GPP LTE/SAE: An overview. International Journal of Computer and Electrical Engineering 2(5), 806–814 (2010)
3GPP: Evolved universal terrestrial radio access (e-utra) and evolved universal terrestrial radio access network (e-utran); overall description; stage 2. TS 36.300, 3rd Generation Partnership Project (3GPP)
3GPP: Public warning system (PWS) requirements. TS 22.268, 3rd Generation Partnership Project (3GPP)
Rossi, F., van Beek, P., Walsh, T., eds.: Handbook of Constraint Programming. Elsevier (2006)
Carlsson, M., Grinchtein, O., Pearson, J.: Protocol log analysis with constraint programming (work in progress). In: Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT, pp. 17–26 (2014)
Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.R.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)
Mossige, M., Gotlieb, A., Meling, H.: Testing robotized paint system using constraint programming: an industrial case study. In: Merayo, M.G., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 145–160. Springer, Heidelberg (2014)
Mossige, M., Gotlieb, A., Meling, H.: Using CP in automatic test generation for ABB robotics’ paint control system. In: O’Sullivan, B. (ed.) CP 2014. LNCS, vol. 8656, pp. 25–41. Springer, Heidelberg (2014)
DeMilli, R., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering 17(9), 900–910 (1991)
Williams, N., Marre, B., Mouy, P., Roger, M.: PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 281–292. Springer, Heidelberg (2005)
Carlier, M., Dubois, C., Gotlieb, A.: FocalTest: a constraint programming approach for property-based testing. In: Cordeiro, J., Virvou, M., Shishkov, B. (eds.) ICSOFT 2010. CCIS, vol. 170, pp. 140–155. Springer, Heidelberg (2013)
Balck, K., Grinchtein, O., Pearson, J.: Model-based protocol log generation for testing a telecommunication test harness using clp. In: DATE (2014)
3GPP: General packet radio service (GPRS) enhancements for evolved universal terrestrial radio access network (E-UTRAN) access. TS 23.401, 3rd Generation Partnership Project (3GPP)
3GPP: Technical realization of cell broadcast service (CBS). TS 23.041, 3rd Generation Partnership Project (3GPP)
3GPP: Evolved universal terrestrial radio access (E-UTRA); S1 application protocol (S1AP). TS 36.413, 3rd Generation Partnership Project (3GPP)
Carlsson, M., Ottosson, G., Carlson, B.: An open-ended finite domain constraint solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191–206. Springer, Heidelberg (1997)
Gecode Team: Gecode: A generic constraint development environment (2006). http://www.gecode.org
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 US Government. Work subject to 17 USC 105. All other rights reserved.
About this paper
Cite this paper
Grinchtein, O., Carlsson, M., Pearson, J. (2015). A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs. In: Blanchette, J., Kosmatov, N. (eds) Tests and Proofs. TAP 2015. Lecture Notes in Computer Science(), vol 9154. Springer, Cham. https://doi.org/10.1007/978-3-319-21215-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-21215-9_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21214-2
Online ISBN: 978-3-319-21215-9
eBook Packages: Computer ScienceComputer Science (R0)