Генерация структурных тестов с использованием логического программированиятезисы доклада