Таблица | Карточка | RUSMARC | |
Разрешенные действия: –
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Магистерская диссертация посвящена исследованию подхода к сертификации реализаций Java Card платформ. Диссертация решает научно-практическую задачу по разработке подхода для автоматизации тестирования проверяемых реализаций на соответствие спецификации. В данной работе рассматриваются возможности автоматизации каждого этапа, необходимого для проведения сертификации Java Card платформ и разрабатываются основные положения для реализации системы. В ходе проведенной работы реализована система, соответствующая установленным в работе требованиям, для генерации тестовых наборов, используемых для проведения тестирования на соответствие спецификации.
Права на использование объекта хранения
Место доступа | Группа пользователей | Действие | ||||
---|---|---|---|---|---|---|
Локальная сеть ИБК СПбПУ | Все | |||||
Интернет | Авторизованные пользователи СПбПУ | |||||
Интернет | Анонимные пользователи |
Статистика использования
Количество обращений: 917
За последние 30 дней: 0 Подробная статистика |