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

Применение автоматного подхода при создании JavaCard-приложений

© 2008 А.Ю. Законов
Руководитель: А.А. Шалыто

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

Бакалаврская работа
Исходные коды

Аннотация

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

Описанный в работе подход учитывает реальные условия написания JavaCard-апплетов, когда часть кода можно сгенерировать, а какую-то часть удобнее добавить вручную. Также среди преимуществ подхода следует отметить то, что он охватывает все этапы разработки JavaCard-приложений - от проектирования до тестирования конечного кода.

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