Введение
Глава 1 Обратное проектирование в САПР встроенных систем 15
1.1. Модели прямого проектирования и их связь с обратным проектированием 17
1.2 Состави анализ исходных данных для ОПВС 19
1.2.1 Анализ фрагментов машинного кода 21
1.2.2 Анализ исходных текстов программ 27
1.2.3 Анализ схем 32
1.3 Инструментальные средства поддержки ОПВС 37
1.3.1 Дизассемблеры 37
1.3.2 Декомпиляторы 39
1.3.3 CASE-средства -. 41
1.4 Базовые положения подхода к проведению ОПВС 45
Выводы по первой главе 47
Глава 2 Разработка и исследование моделей поддержки процесса ОПВС 49
2.1 Разработка базовых сценариев обратного проектирования . 49
2,1.1 Сценарий анализа состояния разработки 51
2.1.2 Сценарий восстановления проектных решений 55
2.1.3 Сценарий поиска эффективного решения 59
2.1.4 Сценарий параметрической модификации 62
2.1.5 Перенос на другую платформу , 64
2. Г.б Перепроектирование системы 67
2.1.7 Классификация сценариев ОП 67
2.2 Разработка базовых моделей процесса ОП. 73
2.3 Разработка лингвистических моделей ". 89
2.3.1 Язык представления результатов агрегации 93
2.3.2 Язык представления укрупненных функциональных схем... 95
2.3.3 Язык шаблонов обратного проектирования 98
2.4 Разработка графовых моделей для представления продуктов ОП... 101
2.4.1 Разбиение графа на множество непересекающихся интервалов.. 102
2.4.2 Получение производных последовательностей 104
2.4.3 Классификация полученных последовательностей 105
2.5 Разработка моделей валидации 107
2.5.1 Функциональное тестирование. 108
2.5.2 Валидацияпо времени 109
2.5.3 Валидация по объему кода 111
2.5.4 Модель драйвера тестирования 112
2.6 Выводы по второй главе 114
Глава 3 Разработка и исследование моделей средств поддержки ОП ... 116
3.1 Разработка обобщенной структурно-функциональной схемы системы поддержки ОПВС 116
3.2 Алгоритмические модели основных преобразований процесса ОПВС 119
3.2.1 Дизассемблирование , 119
3.2.2 Структурный анализ 121
3.2.3 Анализ схем 125
3.2.4 Укрупнение алгоритмов и семантический анализ... 127
3.2.5 Оценка результатов и создание документации 131.
3.3 Модель оценки эффективности САОПВС 135
3.4 Выводы по третьей главе 140
Глава 4 Экспериментальные исследования разработанных моделей ... 142
4.1 Разработка спецификаций и гипертекстовой документации программного обеспечения ультразвукового расходомера — теплосчетчика 142
4.2 Поиск типовых решений на примере идентификации методов численного интегрирования 144
4.3 Построение модели для программы управления шаговым двигателем на базе МК РІС 16 161
4.4 Реконструкция ОС реального времени для МК Infenion С167.166
4.5 Выводы по четвертой главе 167
Заключение 169
Список сокращений принятых в диссертации 170
Литература
