Русская Википедия:CHESS (динамический анализатор)

Материал из Онлайн справочника
Версия от 21:21, 13 июля 2023; EducationBot (обсуждение | вклад) (Новая страница: «{{Русская Википедия/Панель перехода}} {{Значения|Chess}} '''CHESS''' — программа проверки моделей для поиска ошибок/гейзенбагов в многопоточных программах с помощью систематического перебора всевозможных пер...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Значения CHESS — программа проверки моделей для поиска ошибок/гейзенбагов в многопоточных программах с помощью систематического перебора всевозможных переключений потоков. Инструмент находит такие ошибки как гонки, тупики, и разрушения данных, которые чрезвычайно сложно найти обычным тестированием. После нахождения ошибки CHESS предоставляет повторяемое выполнение программы ведущее к ошибке, существенно упрощая отладку. CHESS может использоваться как альтернатива нагрузочного тестирования (Шаблон:Lang-en).

Литература

  • M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, I. Neamtiu. Finding and Reproducing Heisenbugs in Concurrent Programs. In Operating System Design and Implementation (OSDI), 2008.

См. также

Ссылки