УДК004.4’242

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

Законов А. Ю.



Аннотация

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


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

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



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

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