この資料をSMS送信: Тестирование программной реализации протокола IRC на основе модели расширенного автомата