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