ВВЕДЕНИЕ.
1 ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ АНАЛИЗАТОРОВ КОНТЕКСТНЫХ УСЛОВИЙ ТРАНСЛЯТОРОВ СОВРЕМЕННОЕ СОСТОЯНИЕ
1.1 Обзор методов генерации тестов для трансляторов.
1.2 Основные принципы проектирования набора тестов для анализатора
контекстных условий транслятора
1.3 Организация целенаправленной генерации тестов с использованием
классических атрибутных грамматик
1.4 Анализ результатов генерации тестов с использованием классических
АТРИБУТНЫХ ГРАММАТИК.
2 КОНСТРУКТИВНОЕ ОПИСАНИЕ СТАТИЧЕСКОЙ СЕМАНТИКИ ФОРМАЛЬНЫХ ЯЗЫКОВ
2.1 Неформальное описание идеи
2.2 Конструктивное описание семантики.
2.3 Критерий покрытия.
2.3.1 Критерий покрытия для позитивных тестов.
2.3.2 Критерий покрытия для негативных тестов.
3 СЕМАНТИЧЕСКИ УПРАВЛЯЕМАЯ ГЕНЕРАЦИЯ ТЕСТОВЫХ ВХОДНЫХ ДАННЫХ.
3.1 Представление данных
3.2 ГЕНЕРАЦИЯ входных данных для позитивных тестов на основе
конструктивного описания статической семантики.
3.2.1 Построение первичных поддеревьев
3.2.2 Обеспечение семантической корректности тестовых текстов
3.3 Генерация негативных тестовых входных данных на основе
конструктивного описания статической семантики
4 ОПИСАНИЕ НЕТРИВИАЛЬНЫХ КОНТЕКСТНЫХ УСЛОВИЙ.
4.1 Контекст семантического правила
4.2 Семантические правила с фильтрами
4.3 Зависимые семантические правила
4.4 Описание объектов семантического правила посредством задания пути
4.5 Семантика типов
4.6 Семантические ограничения на синтаксис.
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
- Київ+380960830922