?

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

Разрешенные действия: Прочитать Загрузить (244 Кб)

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

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

Аннотация

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

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

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

Оглавление

  • 7-2

Статистика использования

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