Разработка средств для отладки автоматных программ, построенных на основе предложенной библиотеки

© 2005 г. П.И. Фельдман
Научный руководитель: А.А. Шалыто, д.т.н., профессор

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

Полный текст работы
Демонстрационное приложение
Исходные тексты

Аннотация

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

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