| Карточка | Таблица | RUSMARC | |
|
|
Фалько, Алексей Сергеевич. Разработка автоматизированного метода покрытия функциональных требований для сложных проектов [Электронный ресурс]: бакалаврская работа: 09.03.01 / А. С. Фалько; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий ; науч. рук. В. П. Котляров. — Электрон. текстовые дан. (1 файл : 1,75 МБ). — Санкт-Петербург, 2016. — Загл. с титул. экрана. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/2/v17-1133.pdf>. — <URL:http://doi.org/10.18720/SPBPU/2/v17-1133>.Дата создания записи: 09.03.2017 Тематика: автоматизация тестирования; базовый протокол; верификация Коллекции: Выпускные квалификационные работы; Общая коллекция Ссылки: DOI Разрешенные действия: Прочитать Загрузить (1,8 Мб) Для чтения документа необходим Flash Player Группа: Анонимные пользователи Сеть: Интернет |
Аннотация
Дипломная работа посвящена исследованию методов покрытия UCM-моделей тестовыми сценариями и способам устранения недостатков. Дан обзор технологической цепочки верификации и тестирования VRS/TAT, а также, используемого инструментария. В работе описан метод улучшения существующего механизма покрытия функциональных требований. Предложен метод тестирования, позволяющий покрыть функциональные требования сложной системы, и предлагает решение проблемы «комбинаторного взрыва состояний».
Права на использование объекта хранения
| Место доступа | Группа пользователей | Действие | ||||
|---|---|---|---|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
||||
|
Интернет | Все |
|
Статистика использования документа
|
|
Количество обращений: 322
За последние 30 дней: 1 Подробная статистика |