Un'asserzione che deve essere sempre vera per un segmento specificato o in un punto specificato di un programma per computer.