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

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: Свободный доступ из сети Интернет (чтение, печать, копирование)

Allowed Actions: Read

Action 'Download' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users Read Print Download
-> Internet Anonymous Read

Table of Contents

  • 7-2

Usage statistics

stat Access count: 507
Last 30 days: 3
Detailed usage statistics