тестирование инвариантами