Бакалаврская работа
Исходные коды
© 2008 А.Ю. Законов
Руководитель: А.А. Шалыто
Санкт-Петербургский государственный университет информационных технологий, механики и оптики
Бакалаврская работа
Исходные коды
В работе рассматривается важная тема повышения надежности приложений для платформы JavaCard, которая используется в таких областях, как мобильные коммуникации и финансовые транзакции, где надежность и безопасность приложений играют решающую роль. Предлагаемый подход, заключающийся в применении автоматного подхода к генерации JavaCard-апплетов и их тестирования на корректность переходов между различными состояниями, описывает все этапы разработки и учитывает особенности платформы JavaCard. В работе проведен анализ имеющихся средств автоматизации и проверки на корректность работы приложений, указано на их недостатки и показано, как это решено в предложенном подходе.
Описанный в работе подход учитывает реальные условия написания JavaCard-апплетов, когда часть кода можно сгенерировать, а какую-то часть удобнее добавить вручную. Также среди преимуществ подхода следует отметить то, что он охватывает все этапы разработки JavaCard-приложений - от проектирования до тестирования конечного кода.
Применение автоматного подхода на этапе проектирования позволяет описать функциональность апплета удобным способом, а использование верификатора дает возможность оценить насколько написанный код соответствует автоматной модели, и тем самым сократить разрыв между реализацией и спецификацией.