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

       

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

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

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

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

Методы верификации
Регламентирующие документы. Анализ требований
Моделирование
Извлечение тестов
Тестирование
Заключение
Литература
Содержание








Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий