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

Direct link
Modelling and simulation of a telecommunication application using Constraint Programming
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology.
2014 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

The complexity of telecommunication applications is constantly increasing, therefore, specialized tools are needed to test the real-world implementation of such applications. Finding test cases can be time consuming. This paper presents an approach in test cases generation using constraint programming mainly focused on time requirements between messages. A model is presented  for requirements of the ETWS (Earthquake and Tsunami warning system).

An abstraction of the first model is also presented  to ease modelling of similar telecommunication applications. The abstract model is found to scale nicely, making it possible to generate communication logs for many notifications. A summary of the drawbacks of the abstract model is also presented.

Place, publisher, year, edition, pages
IT, 14 056
National Category
Engineering and Technology
URN: urn:nbn:se:uu:diva-232793OAI: oai:DiVA.org:uu-232793DiVA: diva2:749796
Educational program
Master Programme in Computer Science
Available from: 2014-09-25 Created: 2014-09-25 Last updated: 2014-09-25Bibliographically approved

Open Access in DiVA

fulltext(581 kB)223 downloads
File information
File name FULLTEXT01.pdfFile size 581 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
Department of Information Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 223 downloads
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: 434 hits
ReferencesLink to record
Permanent link

Direct link