Какими методами или инструментами вы применяли для выполнения проверок утверждений в коде?