Отладка параллельных программ на основе анализа динамических свойств программтезисы доклада