Invariant programu

Program invariant

Invariant je podmínka, která má zůstat pravdivá během určené části programu nebo algoritmu.

Vývojář jej může použít při návrhu cyklu, datové struktury nebo ověřování správnosti. Kontrola invariantu pomáhá odhalit chybu, pokud některý krok změní stav způsobem, který poruší očekávaná pravidla.