3.2.4 Assure(Intel), DVM debugger(KIAM RAS), UMPIRE (LLNL)

· Метод отладки: динамический контроль.

· Эффект вмешательства: имеется, в процессе работы отладчик сохраняет данные и выполняет операции по идентификации ошибок.

· Гибкость: возможна, если после обнаружения ошибки отладчик переходит в интерактивный режим.

· Удобство использования и простота изучения: отладка полностью автоматическая. Обучиться использовать просто.

· Языки программирования и операционные системы: поддержка традиционных языков программирования, их параллельных расширений, операционных систем не представляет проблем.

· Использование ресурсов: отладка больших приложений может требовать больших объемов оперативной памяти и времени.

· Локализация ошибок: класс ошибок ограничен.

· Успешность на рынке: Assure встраивается в VTune Environment.

Выходят новые версии системы DVM, доступна в исходных кодах.

Umpire используется на ASCI White.

3.2.5 DejaVu (IBM)

· Метод отладки: record & replay

· Эффект вмешательства: имеется, при сохранении последовательности событий в программе.

· Гибкость: возможна, на втором этапе (replay).

· Удобство использования и простота изучения: отладка полностью автоматическая. Обучиться использовать просто.

· Языки программирования и операционные системы: реализован прототипный отладчик для многопоточных приложений написанных на Java.

· Использование ресурсов: требуется как минимум два прогона.

· Локализация ошибок: полезен для локализации трудновоспроизводимых ошибок.

· Успешность на рынке: примеры успешного использования можно найти в [16].