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

Название Модуль анализа конфликтов зависимостей при управлении пакетами в ОС РЕД ОС на основе графовых моделей: выпускная квалификационная работа бакалавра: направление 09.03.02 «Информационные системы и технологии» ; образовательная программа 09.03.02_02 «Информационные системы и технологии» = A module for the analysis of dependency conflicts in package management in the RED OS operating system based on graph models
Авторы Полухин Семён Андреевич
Научный руководитель Хасанов Дмитрий Салимович
Организация Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности
Выходные сведения Санкт-Петербург, 2026
Коллекция Выпускные квалификационные работы ; Общая коллекция
Тематика управление пакетами ; граф зависимостей ; конфликты зависимостей ; менеджер пакетов ; DNF ; РЕД ОС ; ориентированный граф ; алгоритмы обхода графов ; виртуальная машина ; минимизация времени верификации ; package management ; dependency graph ; dependency conflicts ; package manager ; RED OS ; directed graph ; graph traversal algorithms ; virtual machine ; verification time minimization
Тип документа Выпускная квалификационная работа бакалавра
Язык Русский
Уровень высшего образования Бакалавриат
Код специальности ФГОС 09.03.02
Группа специальностей ФГОС 090000 - Информатика и вычислительная техника
DOI 10.18720/SPBPU/3/2026/vr/vr26-2769
Права доступа Доступ по паролю из сети Интернет (чтение)
Дополнительно Новинка
Ключ записи ru\spstu\vkr\42644
Дата создания записи 21.08.2026

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

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

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

Работа посвящена изучению процесса и методе ускорения времени верификации пакетных утилит с учетом их зависимостей и скриптлетов в ОС РЕД ОС 7 и 8, проведению сравнительного анализа времени верификации при ручном и автоматизированном процессе. В ходе работы решены следующие задачи: 1. проведен анализ предметной области управления пакетами в операционных системах семейства Linux и обоснована необходимость автоматизации процесса верификации зависимостей пакетов; 2. разработана графовая модель зависимостей пакетных утилит и определены метрики оценки корректности и качества зависимостей; 3. сформулирована задача ускорения времени верификации зависимостей и аналитически определен коэффициент ускорения процесса проверки; 4. разработан и реализован программный модуль автоматизации проверки пакетных зависимостей и скриптлетов, включающий подсистемы построения графа зависимостей, обнаружения конфликтов, обработки транзакций менеджера пакетов DNF и формирования отчетов; 5. проведено тестирование разработанного модуля на виртуальных машинах с установленной операционной системой РЕД ОС версий 7 и 8; 6. проведены экспериментальные измерения времени верификации зависимостей и подтверждена эффективность предложенного подхода. В результате был разработан и протестирован программный модуль для автоматизации проверки зависимостей пакетов и ускорения процесса верификации пакетной обработки в операционной системе РЕД ОС.

The work is devoted to the study of the process and a method of accelerating the verification time of package utilities, taking into account their dependencies and scriptlets in RED OS 7 and 8, and to a comparative analysis of verification time for the manual and automated processes. The following tasks were solved in the course of the work: 1. the subject area of package management in Linux-family operating systems was analysed and the need to automate the package dependency verification process was substantiated; 2. a graph model of package utility dependencies was developed and metrics for evaluating the correctness and quality of dependencies were defined; 3. the task of accelerating the dependency verification time was formulated and the speedup coefficient of the verification process was determined analytically; 4. a software module for automating the verification of package dependencies and scriptlets was designed and implemented, comprising subsystems for dependency graph construction, conflict detection, processing of DNF package manager transactions, and report generation; 5. the developed module was tested on virtual machines running the RED OS operating system, versions 7 and 8; 6. experimental measurements of dependency verification time were carried out and the effectiveness of the proposed approach was confirmed. As a result, a software module was developed and tested for automating the verification of package dependencies and for accelerating the verification process of package processing in the RED OS operating system.

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