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