Оглавление
Введение. б
1. Проблема обнаружения программных клонов.
2. Отношения симуляции между конечными автоматами структурами Крипке
3. Отношения симуляций между временными автоматами.
Глава 1. Обнаружение подобных фрагментов в исходных кодах программ
1.1. Постановка задачи.
1.2. Обзор методов и средств автоматического обнаружения клонов
1.3. Основные определения
1.4. Алгоритм поиска клонов
1.5. Теоретическое сравнение юзможностей разработанного и существующих алгоритмов
1.6. Описание практической реализации
1.7. Результаты экспериментальных исследований.
1.8. Область применимости
1.9. Заключение
Глава 2. Проверка отношений подобия между размеченными системами переходов структурами Крипке.
2.1. Постановка задачи.
2.2. Обзор литературы
2.3. Универсальный язык задания симуляций
2.4. Универсальный символьный алгоритм проверки симуляций . .
2.5. Описание практической реализации
2.6. Применение средства проверки симуляции для инкрементальноо построения модели.
2.7. Область применимости.
2.8. Заключение.
Глава 3. Проверка отношений подобии между временными автоматами
3.1. Постановка задачи
3.2. Обзор существующих подходов .
3.3. Определение слабой альтернирующей временной симуляции . .
3.4. Алгоритм проверки слабой альтернирующей временной симуляции
3.5. Описание практической реализации.
3.6. Результаты экспериментальных исследований
3.7. Область применимости.
Заключение
Литература
- Київ+380960830922