Сборники тезисов • Сборник тезисов докладов конгресса молодых ученых. Выпуск 1 • ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ, БИОИНФОРМАТИКА
ПОСТРОЕНИЕ АВТОМАТНОЙ МОДЕЛИ ПО ДАННЫМ ТРАССИРОВКИ ПРОГРАММЫ
УДК: 004
Аннотация:
Введение. Ключевым элементом парадигмы автоматного программирования является
построение управляющего конечного автомата. Использование автоматной модели позволяет
производить автоматическое построение тестов и верификацию, а также обладает рядом
других достоинств [1]. Однако построение управляющего автомата является нетривиальной
задачей, и хотя иногда может быть выполнено вручную, для большинства реальных задач
является весьма трудоемким процессом. Во многих случаях уже существует программа,
решающая необходимую задачу. Такая программа, написанная не в автоматном стиле, не
предоставляет автоматной модели сама по себе, но может быть использована для построения
управляющего автомата.