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



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



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

(версия для печати)


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



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

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

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

Аннотация

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

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

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


© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com