Построение системы автоматов по исходному коду программы
© Е.В. Смирнов, Е.В. Селифонов, А.В. Тихомиров
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
=icon("pdf")?>Проектная документация
=icon("bin")?>Исполняемая программа
=icon("txt")?>Исходные тексты
Идея построения автоматной программы из "традиционной", написанной с применением процедурного или объектно-ориентированного подхода, уже несколько раз выдвигалась, но до создания полноценного автоматического средства дело так и не дошло. Авторы решили восполнить этот пробел, для чего и была начата разработка данного проекта.
Предлагаемая программа осуществляет автоматическую конвертацию исходного кода на языке C (с некоторыми ограничениями) в систему автоматов. Далее эту систему можно использовать для различных целей, таких как пошаговое выполнение или обработка автоматическим верификатором.
В качестве примера использования автоматного кода был дополнительно разработан трассировщик, способный выполнять программу в пошаговом режиме с шагами как вперед, так и назад.