Введение
1 Обоснование возможности исследования оперативности обнаружения ошибок потока управления на основе графовых моделей программ 12
1.1 Общие принципы обнаружения ошибок потока управления встроенными в программу средствами 12
1.2 Особенности современных программных методов обнаружения ошибок потока управления 24
1.3 Обоснование возможности исследования оперативности на графовых моделях 29
1.4 Выводы и постановка задач исследования 39
2 Разработка алгоритмов построения графовых моделей выполнения программ после возникновения ошибок потока управления для исследования оперативности их обнаружения 42
2.1 Разработка обобщённого алгоритма построения и анализа графовых моделей выполнения программ после возникновения ошибок потока управления 42
2.2 Пример построения и анализа графовой модели выполнения программы после возникновения ошибок потока управления 57
2.3 Детализация алгоритма построения и анализа графовых моделей для средств обнаружения ошибок по методу CEDA 68
3 Разработка программного комплекса для построения и исследования больших графовых моделей выполнения программ после возникновения ошибок потока управления 75
3.1 Разработка подсистемы эмуляции на базе эмулятора Qemu 76
3.2 Разработка подсистемы построения и анализа графовых моделей 82
3.3 Разработка подсистемы имитационного моделирования 97
4 Обоснование предложений по повышению оперативности построенных по методу CEDA средств обнаружения ошибок потока управления
4.1 Построение и исследование графовых моделей для группы тестовых программ roPhoronix Test Suite 99
4.2 Предпосылки повышения оперативности обнаружения ошибок потока управления 111
4.3 Построение и исследование графовых моделей для преобразованных согласно усовершенствованному методу CEDA тестовых программ 115
5 Разработка и экспериментальное исследование метода оперативного обнаружения ошибок потока управления 122
5.1 Алгоритмизация метода оперативного обнаружения ошибок потока управления 122
5.2 Реализация метода оперативного обнаружения ошибок потока управления для процессоров архитектуры х86-64 134
5.3 Экспериментальное исследование разработанного метода оперативного обнаружения ошибок потока управления 145
Заключение 1
