Оглавление
Введение б
1 Используемые формализмы
1 1 Определения, специфичные для части Верификация . .
1 2 Определения, специфичные для предложенного расшире
ния .
2 Верификация диаграмм по диаграммам
2 1 Сущее вукяцие подходы .
2 2 Постановка задачи.
2 3 Алгоритм верификации .
2 3.1 Обоснование меюда в терминах исходной задачи .
2.3.2 Реализация
3 Выбор начальной диаграммы
2 4 Пример . . . .
2 5 Обработка сложных случаев . .
2.5 1 Проверка при наличии в коде конструкции v
2 5.2 Уничтожение сообщений, не обрабатываемых в текущей ситуации . . . .
2.5.3 На диаграммах присутствует оператор параллельного исполнения.
2 б Возможные усовершенствования и дальнейшее развитие метода . .
2.7 Место подхода среди существующих методов
3 Генерация диаграмм но диаграммам
3 1 Текущее состояние проблемы .
3.1 1 Однократный перенос
3.1.2 Согласование изменяющихся диаграмм .
3.1.3 Обобщение результатов.
3 2 Предлагаемый подход .
3.2.1 Статические данные
3.2.2 Динамика. . .
3 3 Базовый алгоритм генерации
3 3.1 Требования по корректности автомата.
3 3.2 Идеи порождения базисных элементов
3.3 3 Основная картина расклейки
3 3 4 Необходимость появления элементов основной
картины расклейки.
3 3 5 Схема порождения описаний элементов из основной картины расклейки . . .
3.3.6 Алгоритмы порождения частей дерева кода.
3.3.7 Алгоритм порождения всего кода.
3 4 Пример
3 4 1 диаграммы . .
3 4 2 Недетерминированный автомат . . .
3.4.3 Автомат без переходов.
3 4 4 Детерминированный автомат.
3 4.5 Детерминированный и минимизированный автомат
3.4.6 Построенные диаграммы
3 5 Сравнение с ручным программированием и оптимизация
имеющегося кода.
3 6 Улучшения базового алгоритма
3.6.1 Краткий обзор базового алгоритма
3.6.2 Косметические улучшения.
3 6 3 Порождение таймеров .
3.6.4 Макроопределения .
3 6.5 Оптимальность автомата, расщепление деревьев .
3 6 6 Выделение процедур
3 6 7 Детермишшизация но выходящим сообщениям . .
3 6.8 Параллелизм
3.6.9 Обобщенный алгоритм разработки динамики системы
3.7 Выводы .
4 Модификация диаграмм для описания обратных веток
4 1 Пример использования текущего стандарта и его обсуждение
4 2 Предложенное решение .
4 2 1 Краткое описание расширения.
4 2 2 Неформальное объяснение понятий блок и Ссупорблок
4 2 3 Построение блоков при разборе грамматики . .
4.2.4 Совместное использование графического и текстового
описаний . .
4.2 5 Построение конечного автомата по расширенному
описанию для выделенною обьекта .
4 3 Примеры . . . .
4.3 1 Построение блоков по коду.
4 3 2 Описание примера из раздела 4.1 с помощью предложенного расширения
4 4 Замечания к использованию . . . .
4 4.1 Использование ii . . . .
4.4 2 Корректное проектирование .
4 5 Сравнение с существующими работами . .
4 6 Выводы
Заключение
Литература
- Київ+380960830922