Proceedings of ISP RAS


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

Edited by Academician V.P. Ivannikova

Table of Contents

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

А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Стр. 7-22.

И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Стр. 23-54.

И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Стр. 55-72.

В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Стр. 73-88.

В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Стр. 89-108.

С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Стр. 109-118.

А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Стр. 119-136.

С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Стр. 137-160.

Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Стр. 161-178.

Back to the list of all volumes