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

Подход к тестированию параллельных систем на основе UCM-спецификаций [Электронный ресурс] = Approach to concurrent systems testing based on UCM specification / П.Д. Дробинцев, И.В. Никифоров, Н.В. Воинов, В.П. Котляров. — Электрон. текстовые дан. (1 файл : 243 Кб) // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета = St. Petersburg state polytechnical university journal. Computer science. Telecommunications and control systems. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – Санкт-Петербург, 2014. – № 3 (198). — (Конференция "Технологии Microsoft в теории и практике программирования"). — Загл. с титул. экрана. — Электронная версия печатной публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Текстовый файл. — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/4685.pdf>.

Дата создания записи: 04.09.2014

Тематика: Информационные технологии; Вычислительные машины электронные персональные — Программы; тестирование; параллельные системы; синхронизация процессов

УДК: 004.415.53(045)

Коллекции: Общая коллекция

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

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

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

Аннотация

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

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

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

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

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