叙述的程式会可以在每次程式执行时，自动检查断言是否成立，若断言不成立时，就会输出错误讯息。因此避免了程式和断言未同步更新的问题。
执行期检查的断言.在程式执行时，可以用断言检查程式开发时的假设，确认这些假设是否成立。考虑以下的Java程式：在Java语言中，codice_5为余数的运算子，若其第一个运算元为负，其结果也为负值。程式设计者假设codice_6为非负值，因此除以2的余数只可能是0或是1，使用断言可以使这个假设变得明确，若codice_7传回负值，程式会出现错误。