Тестирование софта - статьи
Применение модельного подхода для автоматического тестирования оптимизирующих компиляторовВведение
Построение абстрактной модели
Подход к решению задачи проверки сохранения семантики программы во время работы оптимизатора
Создание генератора тестов
Запуск тестов
Практическое применение подхода
Области применимости подхода
Близкие работы
Заключение
Литература
Содержание раздела
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий