Volume 13, issue 1 (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 13, issue 1 (in Russian), 2007, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

Д.В. Зацепин, В.З. Шнитман. Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6. Стр. 143-170.

А.С. Камкин. Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения. Стр. 123-142.

В.С. Мутилин. Тестирование компонентов, взаимодействующих посредством удаленного вызова методов. Стр. 103-122.

К. А. Власов, А. С. Смачёв. Методика автоматизированной проверки возвращаемых кодов ошибок при тестировании программных интерфейсов. Стр. 93-102.

Д.Ю. Кичигин. Об одном методе сокращения набора тестов. Стр. 79-92.

В.В. Гингина, С.В. Зеленов, С.А. Зеленова. Тестирование трансляторов: проблема построения оракула для генератора кода. Стр. 65-78.

С.В. Зеленов, Н.В. Пакулин. Верификация компиляторов – систематический подход. Стр. 47-64.

Д. В. Силаков. Текущее состояние и перспективы развития инфраструктуры LSB. Стр. 31-46.

Н.В. Пакулин, А.К. Петренко, О.Л. Петренко, А.А. Сортов, А.В. Хорошилов. Открытые стандарты и новые формы международного сотрудничества. Стр. 7-30.

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

Back to the list of all volumes