在C语言中，断言（assert）的主要用途有以下几个方面：

程序健壮性检测：通过在程序中插入断言，可以方便地检测程序的健壮性，即是否符合预期的条件。如果断言条件不满足，则程序会立即终止并打印错误信息，帮助程序员快速定位问题。

调试时检查：断言可以用来检查程序中的逻辑错误或者不合理的数据，方便调试程序。

防御性编程：通过断言可以在程序的每个关键点插入检查，确保程序在执行过程中数据的有效性和一致性，提高程序的可靠性。

程序优化：在开发阶段，通过断言可以检查程序的性能和效率，帮助优化程序。

总的来说，断言是一种强制性的检查机制，可以帮助程序员发现和解决程序中的问题，提高程序的质量和可靠性。