Graf toku riadenia
Graf toku riadenia je abstraktná reprezentácia všetkých možných sekvencií udalostí alebo ciest, ktoré môžu nastať počas vykonávania komponentu alebo systému. Tento graf zobrazuje, ako sa kontrola prenáša z jednej časti programu do druhej, pričom každá cesta v grafe predstavuje konkrétnu sekvenciu príkazov, vetiev, alebo rozhodovacích bodov, ktoré sa môžu v procese vykonávania vyskytnúť. Graf toku riadenia je dôležitým nástrojom pri analýze a navrhovaní softvérových systémov, pretože umožňuje vizualizovať a pochopiť komplexné interakcie a správanie systému.
Tento graf sa často používa pri testovaní softvéru na identifikáciu a definovanie testovacích prípadov, ktoré sú potrebné na zaistenie, že každý možný tok riadenia je správne otestovaný. Pomocou grafu toku riadenia môžu testeri identifikovať kritické cesty, optimalizovať testovací proces a zlepšiť pokrytie testov. Je základom pre rôzne techniky testovania, ako sú napríklad analýza pokrytia kódu alebo analýza výkonnosti systému.