тестирование двухмодульного дифференциального автомата1