Details

Title Подход к тестированию параллельных систем на основе UCM-спецификаций // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 3 (198)
Creators Дробинцев Павел Дмитриевич ; Никифоров Игорь Валерьевич ; Воинов Никита Владимирович ; Котляров Всеволод Павлович
Organization Министерство образования и науки Российской Федерации
Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection Общая коллекция
Subjects Информационные технологии ; Вычислительные машины электронные персональные — Программы ; тестирование ; параллельные системы ; синхронизация процессов
UDC 004.415.53(045)
Document type Article, report
File type PDF
Language Russian
Rights Свободный доступ из сети Интернет (чтение, печать, копирование)
Record key RU\SPSTU\edoc\22651
Record create date 9/4/2014

Allowed Actions

Read Download (244 Kb)

Group Anonymous
Network Internet

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

Network User group Action
ILC SPbPU Local Network All
Read Print Download
Internet All
  • 7-2

Access count: 911 
Last 30 days: 13

Detailed usage statistics