С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

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

Название: Технология детализации тестовых сценариев для их исполнения на целевом коде тестируемой системы: магистерская диссертация: 09.04.01
Авторы: Селин Иван Андреевич
Научный руководитель: Дробинцев Павел Дмитриевич
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2016
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: Вычислительные машины электронные — Программы — Тестирование; верификация; автоматизация; verification; automatic
УДК: 004.415.53(043.3)
Тип документа: Выпускная квалификационная работа магистра
Тип файла: PDF
Язык: Русский
Код специальности ФГОС: 09.04.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v16-2293
Права доступа: Свободный доступ из сети Интернет (чтение, печать, копирование)

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

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

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

Аннотация

Работа посвящена исследованию тестирования на основе UCM-моделей и устранению недостатков данного процесса. Дан обзор технологической цепочки верификации и тестирования VRS/TAT, а также инструментам, использующимся в ней. В работе описаны методы автоматизации существующего процесса и разработан метод детализации тестовых сценариев, позволяющий обеспечить генерацию тестовых наборов пригодных для автоматизации тестирования программно-аппаратных комплексов. Предложенные методы реализованы в инструментах Lowering Editor и Branch Analyzer.

This paper is devoted to research of UCM-based testing and its disadvantages. A review of VRS/TAT verification and testing process was made, including used tools. In this paper, you can read about automation methods of existing process and conversion of abstract behavioral scenarios into scenarios applicable for testing. Suggested methods are implemented in tools Lowering Editor and Branch Analyzer.

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

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

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

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