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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
2014.
Series
Design Automation and Test in Europe Conference and Expo, ISSN 1530-1591
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-257482ISI: 000354965500190ISBN: 978-3-9815370-2-4 (print)OAI: oai:DiVA.org:uu-257482DiVA: diva2:846477
Conference
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

Authority records BETA

Pearson, Justin

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

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 734 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf