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

Фалько, Алексей Сергеевич. Разработка автоматизированного метода покрытия функциональных требований для сложных проектов [Электронный ресурс]: бакалаврская работа: 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, а также, используемого инструментария. В работе описан метод улучшения существующего механизма покрытия функциональных требований. Предложен метод тестирования, позволяющий покрыть функциональные требования сложной системы, и предлагает решение проблемы «комбинаторного взрыва состояний».

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

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

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

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