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