Презентация_МД

1.

Исследование методов
верификации программного
обеспечения в
инфокоммуникационных системах
Автор магистерской
диссертации:
магистрант Юркин М .А.
Руководитель работы:
к.т.н., доцент Родин В. В

2.

Ручная
проверка
Задержка
обратной
связи
Актуальность
Объективность

3.

Исследование методов верификации
в инфокоммуникационных системах
и создание десктопного приложения
для
автоматической
проверки
студенческого
кода,
которое
оценивает решение по нескольким
критериям, диагностирует ошибки и
предлагает
персонализированные
рекомендации.
Цель
Актуальность

4.

Анализ теории и
инструментов
Выбор метрик
Проектирование
архитектуры и
реализация модели
системы
Тестирование и
оценка
эффективность
Цель
Актуальность
Задачи

5.

Теоретические основы
1
2
3
Этапы контроля
качества
Верификация
Методы
Статические
Динамические
Гибридные
Валидация

6.

Исследовательский
анализ
1
2
3
Что легло в основу
системы?
Метрики
Язык —
Python
Аналоги

7.

Архитектура модели
системы
1
2
3
Нейросетевой
Графический
Среда
выполнения
Ядро
системы
модуль
интерфейс

8.

Архитектура модели
системы
1
2
3
Графический
интерфейс
Нейросетевой
Среда
выполнения
Ядро
системы
модуль

9.

Архитектура модели
системы
1
2
3
Графический
интерфейс
Ядро системы
Нейросетевой
Среда выполнения
модуль

10.

Архитектура модели
системы
1
2
3
Графический интерфейс
Ядро системы
Среда выполнения
Нейросетевой модуль

11.

Графический интерфейс
3
4
1
2
5
2
1
3
4
5

12.

Нейросетевой
модуль и
рекомендации

13.

Результаты тестирования

14.

Спасибо за
внимание!