Новости
Труды Института системного программирования РАН. Том 14, часть 1, 2008, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Под редакцией академика РАН В.П. Иванникова
Содержание
В.П. Иванников, В.В. Кулямин. Предисловие. Стр. 5-6.
А.К. Петренко. Унификация в автоматизации тестирования. Позиция UniTESK. Стр. 7-22.
И.Б. Бурдонов, А.С. Косачев. Системы с приоритетами: конформность, тестирование, композиция. Стр. 23-54.
И.Б. Бурдонов, А.С. Косачев. Эквивалентные семантики взаимодействия. Стр. 55-72.
В.С. Мутилин. Многопоточное тестирование программных интерфейсов. Стр. 73-88.
В.В. Кулямин. Критерии тестового покрытия, основанные на структуре контрактных спецификаций. Стр. 89-108.
С.В. Зеленов, С.А. Зеленова. Автоматическое определение выполнимости наборов формул для операций сравнения. Стр. 109-118.
А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генератор сложных данных Pinery: реализация новых возможностей UniTESK. Стр. 119-136.
С.Г. Грошев. Локализация ошибок методом сокращенного воспроизведения трассы. Стр. 137-160.
Е.С. Чернов, В. В. Кулямин. Тестирование современных библиотек тригонометрических функций. Стр. 161-178.