Modelling and simulation of a telecommunication application using Constraint Programming
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
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
Engineering and Technology
IdentifiersURN: urn:nbn:se:uu:diva-232793OAI: oai:DiVA.org:uu-232793DiVA: diva2:749796
Master Programme in Computer Science
Pearson, JustinChristoff, Ivan