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


Глава


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



Начало    



Книжный магазин