Formalization and Automation of Post-NGN Communication Network Testing Processes

Problem statement. The development and complication of the architecture of communication networks, protocols and scenarios for the interaction of various network elements, as a result, entails the development of means for testing communication networks. The aim of the work is to review the evolution of abstract tools and mathematical models of communication network testing tools as these networks evolve. The method used is the specifications of test scenarios in the language of MSC message sequence diagrams for testing 3G networks and 5G networks (network slices, new network elements. The scientific novelty of the study lies in the author’s approach to the application of MSC and Petri net tools for automating the process of testing NGN networks. Theoretical / Practical relevance: Message Sequence Diagram test case specifications can be used for 5G network testing in commissioning modes, certification testing, QoS verification, validation, and documentation in the OSS / BSS network management system, etc.