Koenig, Короче, утверждения для того, чтобы просто удостовериться, что условие верно.
Исключения следует выбрасывать в исключительной ситуации, при которой продолжение выполнения невозможно. Например, файл не существует, невалидный аргумент, и всё в таком духе.