Таблица | Карточка | RUSMARC | |
Разрешенные действия: Прочитать Загрузить (244 Кб) Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Изучен подход к тестированию параллельных программных систем, основанный на использовании спецификаций на языке UCM. Рассмотрены UCM-конструкции, позволяющие задавать многопоточное поведение в системе. Описаны эквивалентные им конструкции на языке базовых протоколов, с которым работает средство генерации тестовых сценариев. Представлен подход к автоматическому созданию тестов для многопоточных систем в виде MSC-диаграмм. Представленный подход позволяет на основе анализа независимости параллельных потоков автоматически получать корректные наборы тестов для тестирования параллельных распределенных систем.
Права на использование объекта хранения
Оглавление
- 7-2
Статистика использования
Количество обращений: 737
За последние 30 дней: 17 Подробная статистика |