Введение
Глава 1. Методологические подходы в задачах обнаружения и анализа двоичных информационных объектов в исходных текстах программного обеспечения. Состояние вопроса 10
1.1 Особенности использования двоичных информационных объектов в проектах программного обеспечения с открытыми исходными текстами 10
1.2 Проблемы обнаружения и анализа двоичных информационных объектов в исходных текстах программного обеспечения 13
1.3 Технологические аспекты контроля информационных объектов в исходных текстах программного обеспечения в процессе сертификационных испытаний и тематических исследований
1.3.1 Понятие идентификации объектов анализа в процессе их экспертного аудита 23
1.3.2 Использование прецедентного подхода в процессе экспертного аудита объектов программного обеспечения 1.4 Применение прецедентной методологии в процессе контроля массивов бинарных данных, реализуемом в ходе тематических исследований исходных текстов программного обеспечения 27
1.5 Формальная постановка задачи исследования 32
1.6 Выводы по главе 34
Глава 2. Метод идентификации массивов бинарных данных 36
2.1 Исследование существующих методов оценивания подобия объектов 36
2.2 Способ получения меры близости массивов бинарных данных, использующий независимые перестановки 46
2.3 Проверка адекватности разработанной модели процесса идентификации массивов бинарных данных 52
2.4 Выводы по главе 54
Глава 3. Алгоритмы поиска, канонизации и идентификации массивов бинарных данных в исходных текстах программного обеспечения 55
3.1 Алгоритм поиска массивов бинарных данных 55
3.2 Алгоритм канонизации массивов бинарных данных 60
3.3 Алгоритм идентификации массивов бинарных данных 66
3.4 Оценка корректности разработанных алгоритмов 78
3.5 Выводы по главе 83
Глава 4. Оценивание работоспособности и эффективности разработанных алгоритмов на основе вычислительных экспериментов 85
4.1 Оценка алгоритмов поиска и канонизации 85
4.2 Выбор хэш-функции для осуществления независимых перестановок 86
4.3 Доказательство гипотезы о равномерности распределения значений выбранной хэш-функции 88
4.4 Выбор значений управляемых параметров алгоритма идентификации 92
4.5 Экспериментальное исследование разработанного способа идентификации массивов бинарных данных 94
4.6 Выводы по главе 101
Заключение 103
Список терминов, сокращений и условных обозначений 106
Список использованных источников 109
