アサートとかアサーションってなんなんでしょうか？

論理エラーをチェックする関数らしいんですが