AUTOMATIC TESTING OF TELECOMMUNICATIONS SYSTEMS

摘要

An attempt at systematized testing of software for mobile digital trunked radio systems using the RIGA-SDL language and a test generator is considered. An automatic test generator based on a study of the space of global states is proposed. In the article, methods of reducing the dimension of the global state space that make it possible to automatically generate tests in the case of limited hardware resources are described. A general strategy for system testing is briefly described.