Logický výraz použitý v programu testování podmínku, že pokud program pracuje správně, měla vždy vyhodnoceny jako true; jinak se program ukončí obvykle s příslušnou chybovou zprávu. Výrazy se používají pro ladění programů a pro dokumentaci, jak by měl fungovat program.