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

Применение модельного подхода для автоматического тестирования оптимизирующих компиляторов
Введение
Введение - 2

Построение абстрактной модели
Построение абстрактной модели - 2
Построение абстрактной модели - 3
Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение

Литература
Литература - 2
Содержание

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