?

Details
Table Card RUSMARC
Title: Подход к тестированию параллельных систем на основе UCM-спецификаций // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. –
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

Allowed Actions: Read Download (244 Kb)

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

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

Table of Contents

  • 7-2

Usage statistics

stat Access count: 734
Last 30 days: 15
Detailed usage statistics