| Checkpoint (BC-ABA) |
Oberbegriff für Assertions, Breakpoints oder Logpoints. Die Anweisungen ASSERT, BREAK-POINT und LOG-POINT zur Definition von Checkpoints haben keinen operativen Charakter, sondern dienen der Instrumentierung des Programms für Testzwecke. Checkpoints sind entweder immer aktiv oder sind durch Zuordnung zu einer Checkpoint-Gruppe aktivierbar. Nicht-aktive Checkpoints werden bei der Programmausführung ignoriert.