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

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

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

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

Аннотация

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

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

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