Egy logikai nyilatkozatot, a program is teszteljék a feltétellel, hogy a program megfelelően működik helyesen, ha mindig értékelik, mint igaz; Ellenkező esetben a program általában megszűnnek, a megfelelő hibaüzenettel. Állítások használják a hibakereső programok és dokumentálja, hogy a program működik.