Computing, Telecommunication and Control Информатика, телекоммуникации и управление 2687-0517 31 Testing automation of projects in telecommunication domain Автоматизация тестирования проектов в области телекоммуникаций Veselov Alexey veselov.alexey@gmail.com Kotlyarov Vsevolod vpk@spbstu.ru Peter the Great St.Petersburg Polytechnic University 10 08 2010 4 103 180 185

The paper presents an integrated approach to testing automation of telecommunication projects along with proposals to automation of conformance testing. The underlying idea is to benefit from combining formal verification and testing automation techniques in order to improve product quality.

 testing automation telecommunication systems code generation MSC TAT conformance testing