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

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

© 2009 Пенькин Д.М.
Руководитель: А.А. Шалыто

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

Бакалаврская работа
Презентация

Аннотация

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