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