Обзор языковых виртуальных машин и подходов к их тестированию

Обзор языковых виртуальных машин и подходов к их тестированию

Проценко А.С. (ИСП РАН, Москва, Россия)

Аннотация

Языковые виртуальные машины (ВМ) обычно используются в инфраструктуре систем программирования для объектно-ориентированных языков высокого уровня. Такие языки пользуются популярностью среди разработчиков и исследователей благодаря следующим особенностям: кроссплатформенности, автоматическому управлению памяти (сборке мусора) и изолированной средой исполнения программы, которая, совместно с верификатором кода загружаемых классов, гарантирует определенный уровень безопасности исполняемой программы. В настоящее время существует большое количество как архитектур системы команд ВМ, так и их реализаций. В данном обзоре приводятся список архитектур ВМ и список популярных реализаций ВМ. В статье иллюстрируется схема работы типовой ВМ. Разработка ВМ – сложный процесс, в ходе которого могут совершаться ошибки. Для обеспечения качества реализации ВМ процесс разработки обязательно включает в себя этап тестирования. В обзоре рассматриваются подходы, нацеленные на тестирование ВМ, и производится их сравнение. Рассматривается возможность использования методов тестирования, приведенных в обзоре, для функционального тестирования реализаций существующих и разрабатываемых архитектур ВМ.

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

языковые виртуальные машины; процессные виртуальные машины; виртуальные машины; архитектура системы команд; ISA; виртуальная архитектура системы команд; тестирование; функциональное тестирование.

Издание

Труды Института системного программирования РАН, том 38, вып. 3, часть 4, 2026, стр. 37-58.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(3)-45

Для цитирования

Проценко А.С. Обзор языковых виртуальных машин и подходов к их тестированию. Труды Института системного программирования РАН, том 38, вып. 3, часть 4, 2026, стр. 37-58. DOI: 10.15514/ISPRAS-2026-38(3)-45.

Полный текст статьи в формате pdf Вернуться к содержанию тома