Интегрированная методика автоматизированного построения формальных поведенческих моделей С-приложений по исходному коду

ВВЕДЕНИЕ.З
1 АНАЛИЗ МЕТОДОВ И СРЕДСТВ ПОСТРОЕНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ ПО ПРОГРАММНОМУ КОДУ.
1.1 ВОЗВЛТ ОЕ ПРОЕКТИРОВЛИП.
1.2 Анализ промышленных инструментальных систем возвратного проектирования.
1.3 Анализ формальных нотаций, используемых в промышленности.
1.4 Выводы.
2 ИНТЕГРИРОВАННАЯ МЕТОДИКА СОЗДАНИЯ ПОВЕДЕНЧЕСКИХ МОДЕЛЕЙ СПРИЛОЖЕНИЙ ПО ИСХОДНОМУ КОДУ
2.1 I ЦЕПТУАЛЬНАЯ СХЕМА.
2.2 ТЕХНОЛОГИЧЕСКАЯ ЦЕПОЧКА И СЦЕНАРИЙ ЕЕ ИСПОЛЬЗОВАНИЯ
2.3 ФОРМАЛЬНОЕ ПРЕДСТАВЛЕНИЕ ПРОГРАММНОЙ СИСТЕМЫ.
2.4 Автоматическое преобразование исходного кода в формальные спецификации.
2.5 Создавше модели поведеия в виде сценариев из базовых протоколов
2.6 ВИЗУАЛИЗА1ИЯ МОДЕЛЕЙ ПРОГРАММ ИЗ БАЗОВЫХ ПРОТОКОЛОВ.
2.7 ВЫВОДЫ.
3 РЕАЛИЗАЦИЯ МЕТОДИК ПОСТРОЕНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ ПО ПРОГРАММНОМУ СКОДУ.
3.1 Методика сохранения потока управления программы
3.2 Методика формализации вызовов функций
3.3 Методика построения базовых ротоколов.
3.4 Методика структурирования базовых протоколов.
3.5 Выводы
4 РЕЗУЛЬТАТЫ ПРИМЕНЕНИЯ МЕТОДИКИ ПОСТРОЕНИЯ ФОРМАЛЬНЫХ МОДЕЛЕЙ СПРИЛОЖЕНИЙ ПО ПРОГРАММНОМУ КОДУ
4.1 Обобщенная схема применения интегрированной методики
4.2 Применение интегрированной методики в учебном проекте.
4.3 Применение методики структурирования базовых протоколов в проекте i.
4.4 Применение интегрированной методики в проекте анализатора адеревьбв.
4.5 Применение интегрированной методики в промышленном проекте
4.6 АНАЛИЗ результатов применения методики
4.7 Выводы
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА