Gráfico de flujo de control

En Inglés: «control flow graph».

Gráfico de flujo de control es la representación abstracta de todas las posibles secuencias de eventos (caminos) en la ejecución a través de un componente o sistema.