Тестирование софта - статьи

Верификация компиляторов - систематический подход
Аннотация.
Введение
Систематический подход к верификации функций компилятора
Верификация синтаксического анализатора

Критерии полноты тестирования
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Тестирование анализаторов контекстных условий
Методы тестирования

Тестирование оптимизаций и генерации кода
Регламентирующие документы. Анализ требований
Верификация подсистемы поддержки исполнения (runtime support)
Методы верификации

Заключение
Литература
Содержание раздела

---