Table | Card | RUSMARC | |
Allowed Actions: –
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
Group: Anonymous Network: Internet |
Annotation
Магистерская диссертация посвящена исследованию подхода к сертификации реализаций Java Card платформ. Диссертация решает научно-практическую задачу по разработке подхода для автоматизации тестирования проверяемых реализаций на соответствие спецификации. В данной работе рассматриваются возможности автоматизации каждого этапа, необходимого для проведения сертификации Java Card платформ и разрабатываются основные положения для реализации системы. В ходе проведенной работы реализована система, соответствующая установленным в работе требованиям, для генерации тестовых наборов, используемых для проведения тестирования на соответствие спецификации.
Document access rights
Network | User group | Action | ||||
---|---|---|---|---|---|---|
ILC SPbPU Local Network | All |
![]() ![]() ![]() |
||||
Internet | Authorized users |
![]() ![]() ![]() |
||||
![]() |
Internet | Anonymous |
Usage statistics
|
Access count: 906
Last 30 days: 0 Detailed usage statistics |