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


     Мдф купить на 1plit.ru. |     

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


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

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

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