Какие способы существуют для диагностики параллельной конфигурации приложения?

Несколько способов диагностики параллельной конфигурации приложения:

• Динамический анализ. 1 Подразумевает запуск приложения и выполнение различных последовательностей действий для выявления некорректного поведения программы. 1 Для этого используют инструменты, например Intel Thread Checker, которые оснащают исходный код приложения средствами мониторинга и протоколирования. 1
• Статический анализ. 1 Работает только с программным кодом приложения, не требуя его запуска. 1 Преимущества этого метода — детальность и полнота охвата анализируемого кода. 1
• Проверка на основе модулей. 1 Предполагает автоматическую генерацию тестов по заданным правилам. 1
• Проверка на основе моделей. 1 Позволяет формально обосновать отсутствие дефектов в тестируемой части кода на основе заданных разработчиком правил преобразования данных. 1

Также для диагностики параллельной конфигурации приложения можно использовать программу командной строки sxstrace.exe. 25 Она помогает определить, параллельная конфигурация какого модуля вызывает проблему. 2