В докладе я расскажу об особенностях разработки и тестирования такого программного продукта, как статический анализатор.
Опишу как стандартные методики тестирования, которые мы используем (обзоры кода, Unit и UI-тесты, нагрузочное тестирование), так и специфические, позволяющие контролировать качество поиска ошибок при внесении доработок в ядро анализатора.