Una aserción que siempre debe ser true para un segmento especificado o en un punto específico de un programa de ordenador.