С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

Детальная информация

Название: Подход к тестированию параллельных систем на основе UCM-спецификаций // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 3 (198)
Авторы: Дробинцев Павел Дмитриевич; Никифоров Игорь Валерьевич; Воинов Никита Владимирович; Котляров Всеволод Павлович
Организация: Министерство образования и науки Российской Федерации
Выходные сведения: Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Коллекция: Общая коллекция
Тематика: Информационные технологии; Вычислительные машины электронные персональные — Программы; тестирование; параллельные системы; синхронизация процессов
УДК: 004.415.53(045)
Тип документа: Статья, доклад
Тип файла: PDF
Язык: Русский
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

Разрешенные действия: Прочитать

Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Изучен подход к тестированию параллельных программных систем, основанный на использовании спецификаций на языке UCM. Рассмотрены UCM-конструкции, позволяющие задавать многопоточное поведение в системе. Описаны эквивалентные им конструкции на языке базовых протоколов, с которым работает средство генерации тестовых сценариев. Представлен подход к автоматическому созданию тестов для многопоточных систем в виде MSC-диаграмм. Представленный подход позволяет на основе анализа независимости параллельных потоков автоматически получать корректные наборы тестов для тестирования параллельных распределенных систем.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи Прочитать Печать Загрузить
-> Интернет Анонимные пользователи Прочитать

Оглавление

  • 7-2

Статистика использования документа

stat Количество обращений: 504
За последние 30 дней: 4
Подробная статистика