Volume 17 (in Russian)

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Proceedings of the Institute for System Programming. Volume 17 (in Russian), 2009, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Стр. 193-208.

И.Б. Бурдонов, А.С. Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Стр. 161-192.

Е. В. Корныхин. Генерация тестовых данных для системного функционального тестирования микропроцессоров с учетом кэширования и трансляции адресов. Стр. 145-160.

Я.С. Губенко, А.С. Камкин, М.М. Чупилко. Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения. Стр. 133-143.

Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для подсистемы управления памятью микропроцессора. Стр. 119-132.

М.В. Архипова, С.В. Зеленов. Направленная генерация тестовых данных для анализаторов статической семантики. Стр. 93-117.

А. В. Баранцев, С. В. Грошев, В. А. Омельченко. Генерация оптимизированных для ручного выполнения сценариев тестирования приложений с графическим интерфейсом пользователя. Стр. 75-92.

П.Н. Яковенко, А.В. Сапожников. Инфраструктура тестирования веб-сервисов на базе технологии TTCN-3 и платформы .NET. Стр. 63-74.

Н.В. Пакулин, С.А. Смолов. Применение технологии UniTESK для функционального тестирования инфаструктурного ПО Грид. Стр. 41-61.

Д. В. Силаков, А.В. Хорошилов. Методы обеспечения переносимости ПО. Стр. 25-39.

В. В. Кулямин. Организация сложных тестовых наборов. Стр. 9-24.

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

Back to the list of all volumes