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