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