Детальная информация
| Название | Технология детализации тестовых сценариев для их исполнения на целевом коде тестируемой системы: магистерская диссертация: 09.04.01 |
|---|---|
| Авторы | Селин Иван Андреевич |
| Научный руководитель | Дробинцев Павел Дмитриевич |
| Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Выходные сведения | Санкт-Петербург, 2016 |
| Коллекция | Выпускные квалификационные работы; Общая коллекция |
| Тематика | Вычислительные машины электронные — Программы — Тестирование; верификация; автоматизация; verification; automatic |
| УДК | 004.415.53(043.3) |
| Тип документа | Выпускная квалификационная работа магистра |
| Тип файла | |
| Язык | Русский |
| Уровень высшего образования | Магистратура |
| Код специальности ФГОС | 09.04.01 |
| Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
| DOI | 10.18720/SPBPU/2/v16-2293 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\35093 |
| Дата создания записи | 20.12.2016 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
Работа посвящена исследованию тестирования на основе 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.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
Количество обращений: 342
За последние 30 дней: 0
