В работе рассматриваются формализации задачи тестирования сервера с двух точек зрения: процесса тестирования и моделирования ошибок. Оба подхода позволяют получить обоснованные результаты, применимые на практике и дополняющие друг друга. Для решения таких задач, как воспроизведение нестабильного состояние распределенной серверной системы или поиск редких ошибок, подходят технологические расширения метода Монте-Карло. В последней части работы приводятся аналитические результаты для оценки погрешности моделирования при использовании метода разделения на два уровня.