Верификация компиляторов - систематический подход
Аннотация.
Введение
Введение - часть 2
Систематический подход к верификации функций компилятора
Систематический подход к верификации функций компилятора - часть 2
Верификация синтаксического анализатора
Критерии полноты тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Тестирование анализаторов контекстных условий
Методы тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Тестирование оптимизаций и генерации кода
Методы тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Верификация подсистемы поддержки исполнения (runtime support)
Методы верификации
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Заключение
Литература