УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»

Построение системы автоматов по исходному коду программы

© Е.В. Смирнов, Е.В. Селифонов, А.В. Тихомиров

Санкт-Петербургский государственный университет информационных технологий механики и оптики

Проектная документация
Исходные тексты

Аннотация

Идея построения автоматной программы из "традиционной", которая написана с применением процедурного подхода, уже несколько раз ставилась, но до создания полноценного автоматического средства дело так и не дошло. Авторы решили восполнить этот пробел, для чего и была начата разработка данного проекта.

Предлагаемая программа осуществляет автоматическую конвертацию исходного кода на языке C (с некоторыми ограничениями) в систему автоматов. Далее эту систему можно использовать для различных целей, таких как пошаговое выполнение или обработка автоматическим верификатором.

В качестве примера использования автоматного кода был дополнительно разработан трассировщик, способный выполнять программу в пошаговом режиме с шагами как вперед, так и назад.