Сборники трудов ИСП РАН


Труды Института системного программирования РАН. Том 18, 2010, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией академика РАН В.П. Иванникова

Содержание

В.П. Иванников. Предисловие. Стр. 5-8.

В.В. Кулямин. Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий. Стр. 9-44.

С.Г. Грошев. Технология создания гетерогенных трасс, их анализа и генерации из них отчётов. Стр. 45-66.

Е.В. Корныхин. Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам. Стр. 67-80.

П.М. Довгалюк, М.А. Климушенкова, А.М. Мухина. Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров. Стр. 81-90.

Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов. Стр. 91-114.

М.М. Чупилко. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. Стр. 115-128.

А.С. Камкин. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. Стр. 129-150.

А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2. Стр. 151-182.

И.Б. Бурдонов, А.С. Косачев. Тестирование конформности на основе соответствия состояний. Стр. 183-220.

П.Н. Яковенко. Прозрачный механизм удаленного обслуживания системных вызовов. Стр. 221-242.

Д.А. Грушин, А.И. Поспелов. Система моделирования Grid: реализация и возможности применения. Стр. 243-260.

Вернуться к списку всех томов