Details

Работа посвящена изучению процесса и методе ускорения времени верификации пакетных утилит с учетом их зависимостей и скриптлетов в ОС РЕД ОС 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.