Разновидности и методы проверки: от теории к практике