Магистерская диссертация на тему "МОИ (МТИ) | Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения ОАО «Аурат»"

Работа на тему: Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения ОАО «Аурат»
Оценка: отлично.
Оригинальность работы на момент публикации 50+% на антиплагиат.ру.
Ниже прилагаю все данные для покупки.
https://studentu24.ru/list/suppliers/Anastasiya1---1326

Описание работы

Негосударственное образовательное учреждение высшего образования
Московский технологический институт

Факультет: Техники и современных технологий Кафедра: Информатики и автоматизации

Уровень образования: Магистратура ФГОС 3+ Направление: Информатика и вычислительная техника
Профиль: Технологии разработки системного программного обеспечения

МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ
Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения ОАО
«Аурат»

ОГЛАВЛЕНИЕ
ВВЕДЕНИЕ 4
ГЛАВА 1. ТЕОРЕТИЧЕСКИЕ АСПЕКТЫ МЕТОДОВ ДЛЯ АВТОМАТИЗАЦИИ ПРОЦЕССОВ ПОВЫШЕНИЯ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 8
1 1. Основные понятия и составляющие качества программного обеспечения 8
1.2. Особенности методов статического анализа программ для автоматизации процессов качества программного обеспечения 18
1.3. Обзор методов динамического анализа программ для автоматизации процессов качества программного обеспечения 29
Выводы по главе 1 37
ГЛАВА 2. АНАЛИЗ МЕТОДОВ РАБОТЫ И ОЦЕНКИ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОАО «АУРАТ» 38
2.1. Общая характеристика деятельности и ИТ-инфраструктуры предприятия 38
2.2. Анализ методов для работы с программным обеспечением 45
2.3. Выявление недостатков в методах по оценке качества программного обеспечения 54
Выводы по главе 2 60
ГЛАВА 3. РАЗРАБОТКА РЕКОМЕНДАЦИЙ ПО СОВЕРШЕНСТВОВАНИЮ МЕТОДОВ ОЦЕНКИ КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОАО
«АУРАТ» 61
3.1. Предложения по совершенствованию статических методов оптимизации динамической двоичной трансляции и проведению тестирования программ на основе динамического символьного выполнения 61
3.2. Предложения по внедрению динамического метода для исключения критических ошибок и уязвимостей при автоматизации процессов качества программного обеспечения 75
3.3. Оценка эффективности предложенных мероприятий 83
Выводы по главе 3 88
ЗАКЛЮЧЕНИЕ 90
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 96
ПРИЛОЖЕНИЯ 103

ВВЕДЕНИЕ
Актуальность выбранной темы исследования заключается в том, что в своем развитии программное обеспечение за короткий путь стало одной из главных составляющих установления отношений между клиентами и партнерами.
В настоящее время деятельность предприятий автоматизирована с применением различного программного обеспечения. Критический уровень зависимости современного предприятия от программного обеспечения создает необходимость формирования жестких требований к качеству программных продуктов.
Методы статического и динамического анализа оценки качества программного обеспечения в первую очередь направлены на реализацию процессов оптимизации и исключения ошибок и уязвимостей в программном коде.
В настоящее время статистический и динамический анализ оценки качества программного обеспечения применяется для решения задач, синтеза программ, восстановления их работоспособности, выполнения процессов обратной инженерии, повышения качества тестирования.
Автоматизация процессов проведения статистического и динамического анализа позволяет обеспечить минимизацию ресурсов, затрачиваемых на процессы оценки качества, совершенствовать технологии поиска уязвимостей и ошибок, устранения дефектов в исходном программном коде.
Многими специалистами методы статического и динамического анализа интегрируются и представляются в виде эмуляторов, позволяющих поддерживать работу с различными процессорами и устройствами и выявлять ошибки в режиме реального времени.
С использованием эмуляторов существует возможность использования различных методов оптимизации поиска в кэше оттранслированных блоков, выявления коллизий в программном коде.

Применение эмуляторов для статического и динамического анализа программного кода создает возможность ускорения процесса выявления дефектов, и ускорить процессы его оптимизации.
В процессе оптимизации эмулятором производится проверка в каждой точке программного кода, определение ошибок, которые могут вызвать аварийные сбои и нарушения. Он исключает недостатки внутреннего представления, ускоряет процессы внесения локальных изменений, которые приведут к сдвигу массивов.
Следовательно, выявление особенностей современных методов статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения обосновывает выбор темы исследования.
Предметом исследования являются современных методов статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения.
Объектом исследования является программное обеспечение ОАО
«Аурат».
Цель исследования: выполнить анализ современных методов статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения ОАО «Аурат» и предложить мероприятия по их совершенствованию.
Задачи исследования:
1. Рассмотреть основные понятия и составляющие качества программного обеспечения.
2. Выявить особенности методов статического анализа программ для автоматизации процессов качества программного обеспечения.
3. Выполнить обзор методов динамического анализа программ для автоматизации процессов качества программного обеспечения.
4. Проанализировать методы работы и оценки качества программного обеспечения ОАО «Аурат».

5. Разработать рекомендации по совершенствованию методов оценки качества программного обеспечения ОАО «Аурат».
Теоретической значимостью работы является систематизация методов статического и динамического анализа программ для автоматизации процессов качества программного обеспечения.
Практической значимостью работы является то, что внедрение среды Valgrind, программного комплекса для автоматизации процессов модульного тестирования за счет генерации тестовых воздействий и основанного на динамическом символьном выполнении программного обеспечения с использованием машинных инструкций, а также программного комплекса Avalanche позволит совершенствовать методы оценки качества программного обеспечения ОАО «Аурат».
Вопросы по использованию современных методов статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения постоянно обсуждаются отечественными и зарубежными специалистами, среди которых следует отметить работы Авазходжаевой Д. М. [1], Акимовой Е. В. [2], Бойченко О. В. [3], Бубаревой О. А. [4], Гасанова В. Р. [5] и других.
Методология исследования основана на методах логического наблюдения и сбора фактов, анализа и сравнения, обобщения, аналогии, постановки, методы решения проблем, систематизации и классификации.
Магистерская диссертация представлена в трех главах: теоретической, практической и проектной.
В теоретической части работы рассматриваются основные понятия и составляющие качества программного обеспечения, выявляются особенности методов статического анализа программ для автоматизации процессов качества программного обеспечения и выполняется обзор методов динамического анализа программ для автоматизации процессов качества программного обеспечения.

В аналитической части работы рассматривается общая характеристика деятельности ОАО «Аурат» и ИТ-инфраструктура предприятия, анализируются методы для работы с программным обеспечением, выявляются недостатки в методах по оценке качества программного обеспечения.
В проектной части работы производится обоснование предложений по совершенствованию статических методов оптимизации динамической двоичной трансляции и проведению тестирования программ на основе динамического символьного анализа, а также внедрению динамического метода для исключения критических ошибок и уязвимостей при автоматизации процессов качества программного обеспечения.
Магистерская диссертация представлена на 106 страницах, из которых 17 рисунков, 12 таблиц, 64 источников использованной литературы.

СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ
1. Авазходжаева Д. М. Использование специализированного программного обеспечения в процессе разработки и внедрения системы менеджмента качества // Молодой ученый, 2017. - №17. – С.323-325
2. Акимова Е. В. Информационные системы и технологии в экономике и управлении. Техническое и программное обеспечение: учебное пособие/ Е.В. Акимова. – Саратов: Вузовское образование, 2016. – 190 c.
3. Асрян С. А. Обнаружение ошибок, возникающих при использовании динамической памяти после ее освобождения // Труды Института системного программирования РАН, 2018. - №3. – С.7-20
4. Банчук Г. Г. Теоретические аспекты оценки качества программных продуктов // Статья в сборнике Информационно-аналитические системы и технологии, 2018. – С.40-50
5. Бойченко О. В. Интерфейсные методы в оценке качества программного обеспечения // Сборник тезисов участников II научной конференции профессорско-преподавательского состава, аспирантов, студентов и молодых ученых, 2016. – С.524-526
6. Бубарева О. А. Оценка качества программных систем при связывании объектных спецификаций по семантике онтологического уровня // Современные наукоемкие технологии, 2018. - №6. – С.40-43
7. Гасанов В. Р. Стандарты качества для оценки зрелости процесса разработки программного обеспечения // Статья в сборнике трудов Студенческая наука для развития информационного общества, 2016. – С.212- 214
8. Герасимов А. Ю. Обзор подходов к улучшению качества результатов статического анализа программ // Труды системного программирования РАН, 2017. - № 3. – С.75-98
9. Горев А.И. Правовое регулирование оборота программного обеспечения: монография/ А.И. Горев. – Омск: Омская академия МВД России, 2016. – 184 c.
10. Гордашникова О. Ю. Обеспечение качества разработки программного продукта // Актуальные проблемы экономики и менеджмента, 2016. - №3. – С.5- 8
11. Долженко А.И. Технологии командной разработки программного обеспечения информационных систем: учеб. пособие / А.И. Долженко. – М.: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. – 300 c.
12. Долина О. Н. Системный подход к управлению качеством программного обеспечения систем принятия решений // Статья в сборнике Информационно-коммуникационные технологии в науке, производстве и образовании, 2017. – С.179-183
13. Жакупова К. Э. Тестирование программного обеспечения как элемент системы качества // Техника и технологии строительства, 2016. - №2. – С.18
14. Жарко Е. Ф. Проблемы оценки надежности и качества программного обеспечения в системах управления // ИТ-Стандарт, 2017. - №1. – С. 26-31
15. Жуков В. К. Теория измерений: учеб. пособие / В. К. Жуков. – М.: Университеты России, 2016. – 350 с.
16. Климов Г. Ю. Оценка качества и анализ программного обеспечения в информационной системе управления предприятием // Статья в сборнике Наука сегодня, 2016. – С.53-54
17. Кобозев В. А. Программное обеспечение систем получения и обработки информации о качесте // Теория и практика современное науки, 2017. - №5. – С.111-115
18. Кожомбердиева Г. И. Получение интегральной оценки качества программного обеспечения на основе формулы Байеса // Транспортные интеллектуальные системы, 2017. – С.209-220
19. Козлова В. С. Управление качеством разработки программного обеспечения в рамках гибких методологий управления проектами // Альманах научных работ, 2017. – С.146-148
20. Копыльцов А. В. Математическое моделирование оценки качества программного обеспечения // Статья в сборнике Моделирование и ситуационное управление качеством сложных систем, 2016. – С. 212-215
21. Коршикова Л. А. Информационные технологии и стандартизация: учеб. пособие / Л. А. Коршикова. – Новосибирск: НГТУ, 2018. – 76 с.
22. Костин А. В. Модель для оценивания функциональности систем машинного перевода // Известия Российской академии науки, 2018. – С.158-172
23. Котляров В.П. Основы тестирования программного обеспечения: учеб. пособие / В.П. Котляров. – М.: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. – 334 c.
24. Костин А. В. Модель для оценивания функциональности систем машинного перевода // Известия Российской академии наук, 2018. - №1. – С.158-172
25. Кувшинова Е. А. Тестирование как важный компонент системы контроля качества программного обеспечения // Статья в сборнике Прикладная математика и информатика, 2017. – С.305-308
26. Кудеяров Ю.А. Испытания программного обеспечения средств измерений: учебное пособие/ Ю.А. Кудеяров. – М.: Академия стандартизации, метрологии и сертификации, 2017. – 141 c.
27. Кулева Ю. С. Развитие методов обеспечения качества программных продуктов //Статья в сборнике Инноватика, 2018. – С.491-494
28. Кулумбаев Б. О. К вопросу программного обеспечения управления качеством // Экономика и управление, 2018. – №5. – С. 144-146
29. Ленкин А. В. Анализ требований к интерфейсу современного программного обеспечения// Постулат, 2017. - №1. – С. 41
30. Лобанова Н. М. Оценка затрат на качество программного обеспечения
// Вестник государственного университета управления, 2016. - №6. – С. 87-91
31. Лукин В. Н. Подготовка качественных программистов: проблемы обучения // Моделирование и анализ данных, 2017. - №1. – С.29-41ф
32. Мейрманова Д. М. Процессы управления качеством программного обеспечения // Наука, образование и культура, 2016. - №6. – С.11-16
33. Медведев Ю. С. Анализ современных методов статического и динамического анализа программ и повышения качества программного обеспечения // Статья в сборнике Научные чтения имени профессора Н. Е. Жуковского, 2016. – С.18-22
34. Михеев А.Г. Процессное управление на свободном программном обеспечении: учеб. пособие / А.Г. Михеев. – М.: Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. – 230 c.
35. Морозевич А. В. Сертификация как основа обеспечения безопасности и качества программных средств // Статья в сборнике Повышение эффективности форм и методов распространения среди населения знаний по вопросам экономической и финансовой безопасности России, 2017. – С.232-234
36. Моисеева А. В. Программное обеспечение системы менеджмента качества // Молодой ученый, 2017. - №10. – С.259-261
37. Моисеев С. И. Модель оценки качества программного обеспечения, основанная на методе Раша оценки латерных переменных // Вестник Воронежского государственного университета, 2016. - №1. – С.102-109
38. Мухаметзянова А. А. Оценка качества программного обеспечения // Статья в сборнике Научные преобразования в эпоху глобализации, 2017. – С.77-79
39. Набатов Д. В. Использование показателей качества программного обеспечения в целях информационной безопасности // Инновационное развитие, 2016. - №2. – С.19-20
40. Надейкина Л. А. Функциональная декомпозиция и использование архитектурных паттернов для повышения качества программного обеспечения
// Информатизация и связь, 2017. - №2. – С.39-42
41. Павленко Е. П. Процедура многокритериального оценивания качества программного обеспечения информационных систем // Science Rise, 2016. – №2.
– С.19-23
42. Пальмов С.В. Методы и средства моделирования программного обеспечения: учеб. пособие / С.В. Пальмов. – Самара: Поволжский государственный университет телекоммуникаций и информатики, 2016. – 33 c.
43. Паршина Е. В. Подходы к оцениванию качества программного обеспечения, основанные на методе парных уравнений // Вестник Воронежского государственного университета, 2017. - №1. – С.141-148
44. Привалов И.М. Основы аппаратного и программного обеспечения: учебное пособие/ И.М Привалов. – Ставрополь: Северокавказский федеральный университет, 2015. – 145 c.
45. Санин С. Н. Управление качеством разработки программного обеспечения // Статья в сборнике Качество продукции: контроль, управление, повышение, планирование, 2017. – С. 14-18
46. Селиверстов Е. И. Проблемы разработки программного обеспечения с точки зрения сроков и качества // Статья в сборнике Прикладная математика и информатика, 2017. – С.529-530
47. Семенова Е. Г. Интегральная оценка и обеспечение качества процессов разработки программных комплексов // Известия Тульского государственного университета, 2017. - №7. – С.259-267
48. Семенова Е. Г. Методы обеспечения качества программных комплексов на стадиях жизненного цикла продукции // Вопросы радиоэлектроники, 2017. - №10. – С.75-77
49. Синицын С.В. Верификация программного обеспечения: учебное пособие/ С.В. Синицын, Н.Ю. Налютин. – Москва, Саратов: Интернет- Университет Информационных Технологий (ИНТУИТ), Вузовское образование, 2017. – 368 c.
50. Смирнова Н. Б. Обеспечение качества сложных программных систем// Перспективные направления развития отечественных информационных технологий, 2017. –С37-38
51. Степанова М. А. Разработка методов и средств комплексной оценки качества систем защиты программного обеспечения // Вестник ОрелГИЭТ, 2016. - №2. – С.88-92
52. Степанова М. А. Концепция и сущность управления качеством программного обеспечения // Образование и наука без границ, 2016. - №3. – С. 89-92
53. Фокина Т. В. Формулировка и анализ критериев качества технической документации на примере требований к программному обеспечению // Информационные технологии, 2016. - №5. – С.59-62
54. Черная Ю. В. Некоторые аспекты оценки качества программного обеспечения предприятия // Вестник Воронежского государственного архитектурно-строительного университета, 2016.- №2. – С. 111-114
55. Шелест П. Д. Методы обеспечения качества программного продукта // Статья в сборнике трудов Студенческая наука для развития информационного общества, 2018. – С.366-369
56. Ястребов А. П. Обеспечения качества процесса разработки программных комплексов // Статья в сборнике Управление качеством, 2018. – С.338-343
57. Ярошик А. А. Программное обеспечение для анализа качества работы алгоритмов компьютерного зрения // Международный студенческий научный вестник, 2018. - №3. – С.523-527
58. Стандарт ISO/IEC 9003:2004. [Электронный ресурс].
59. Стандарт ISO/IEC 9126-1:2001. [Электронный ресурс].
60. Стандарт ISO 8402:1994. [Электронный ресурс].
61. Стандарт ISO 9126. [Электронный ресурс].
62. Стандарт ISO/IEC 15504. [Электронный ресурс].
63. Стандарт ISO/IEC 31010:2009. [Электронный ресурс].
64. Открытое акционерное общество «Аурат». [Электронный ресурс].