Modelling and simulation of a telecommunication application using Constraint Programming
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 programmi...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-232793 |
| Summary: | 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. |
|---|