uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Model-based protocol log generation for testing a telecommunication test harness using CLP
Uppsala University, Disciplinary Domain of Science and Technology, Earth Sciences, Department of Earth Sciences, Uppsala Centre for Sustainable Development, CSD Uppsala.
2014 (English)In: 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
, Design Automation and Test in Europe Conference and Expo, ISSN 1530-1591
National Category
Computer Science
URN: urn:nbn:se:uu:diva-257482ISI: 000354965500190ISBN: 978-3-9815370-2-4OAI: oai:DiVA.org:uu-257482DiVA: diva2:846477
Design, Automation and Test in Europe Conference and Exhibition (DATE), MAR 24-28, 2014, Dresden, GERMANY
Available from: 2015-08-17 Created: 2015-07-02 Last updated: 2015-08-17Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Pearson, Justin
By organisation
Uppsala Centre for Sustainable Development, CSD Uppsala
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 368 hits
ReferencesLink to record
Permanent link

Direct link