Proceedings of ISP RAS


Proceedings of the Institute for System Programming. Volume 8, issue 1 (in Russian), 2004, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikova

Table of Contents

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

А.В. Баранцев, В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Проблемы внедрения наукоемких технологий. Стр. 9-24.

В.В. Кулямин. Комбинаторика слов и построение тестовых последовательностей. Стр. 25-40.

С.В. Зеленов, С.А. Зеленова. Автоматическая генерация позитивных и негативных тестов для тестирования фазы синтаксического анализа. Стр. 41-58.

М.В. Архипова. Генерация тестов для модулей проверки статической семантики в компиляторах. Стр. 59-76.

А.А. Сортов, А.В. Хорошилов. Функциональное тестирование Web-приложений на основе технологии UniTesK. Стр. 77-98.

А.Я. Калинов, А.С. Косачёв, М.А. Посыпкин, А.А. Соколов. Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий. Стр. 99-116.

Н.В. Пакулин. Применение UniTesK к тестированию встроенных систем. Стр. 117-136.

В.В. Рубанов, А.И. Гриневич, Д.А. Марковцев. Использование особенностей ЦПОС в компиляторе языка 'С'. Стр. 137-158.

Ю.Н. Фонин, С. Грассман. Архитектура и принципы построения операционной среды «мини-ОС». Стр. 159-166.

Г.В. Ключников, Д.С. Мишин, Д.В. Москалев, А.В. Никешин, В.З. Шнитман. Межпротокольный шлюз NAT-PT с функциями DNS-ALG и FTP-ALG для обеспечения взаимодействия между сетями IPv4 и IPv6. Стр. 167-198.

К.В. Буздин. Исполнение моделей при помощи виртуальной машины. Стр. 199-210.

М. Ксензов. Рефакторинг архитектуры программного обеспечения: выделение слоев. Стр. 211-228.

Back to the list of all volumes