Утверждение служит подтверждением того, что функция вызвала бы завершение программы, если бы она была выполнена в текущем процессе (подробности объясняют, что тест на смерть вызывается из подпроцесса, который позволяет тестам продолжаться несмотря на смерть).Это полезно, потому что некоторый код может гарантировать завершение / прерывание программы при сбое (например, если произошла неисправимая ошибка), а модульные тесты должны подтвердить, что функция придерживается своего документированного поведения, независимо от того, что это может быть.
Описание на вики-странице действительно объясняет это лучше всего:
Во многих приложениях есть утверждения, которые могут вызвать сбой приложения, если условие не выполняется.Эти проверки работоспособности, которые гарантируют, что программа находится в известном исправном состоянии, могут завершиться неудачей в кратчайшие возможные сроки после повреждения какого-либо состояния программы.Если утверждение проверяет неправильное условие, то программа может перейти в ошибочное состояние, что может привести к повреждению памяти, дырам в безопасности или, что еще хуже.Следовательно, жизненно важно проверить, работают ли такие утверждения как ожидалось.