Mathematical formalization of the test model of objects' interaction in the complex program system

Рассмотрены вопросы формализации процессов тестирования объектно-ориентированных моделей сложных программных систем на начальных стадиях их жизненных циклов.Розглянуті питання формалізації процесів тестування об’єктно-орієнтованих моделей складних програмних систем на початкових стадіях їх життєвого циклу.The article is devoted to the problems of formalization of testing of the models of the complex program systems at the initial stages of their life cycle