Бенчмаркинг и тестирование анализаторов кода и компиляторов

В своей ежедневной работе мы используем сотни приложений из мира системного программирования, но никогда не задумываемся, насколько они надежные и как они тестируются. В докладе будет рассказано про то, как принято верифицировать и тестировать анализаторы кода и другие программы из области системного программирования — например компиляторы, которые зачастую имеют тестовую базу размером в сотни тысяч тестов.

Андрей расскажет про то, какие бенчмарки, фреймворки и подходы существуют для этого, а также про разрабатываемую сейчас открытую cloud-платформу SAVE (https://github.com/saveourtool) для автоматизации и упрощения тестирования и бенчмаркинга статических анализаторов.