УДК004.4’242

ПРИМЕНЕНИЕ АВТОМАТНОГО ПОДХОДА ДЛЯ СОЗДАНИЯ КОРРЕКТНЫХ JAVA CARD-ПРИЛОЖЕНИЙ

Законов А. Ю.



Аннотация

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


Ключевые слова:

верификация программ, Java Card, автоматное программирование

Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика