Definición - ¿Qué significa Control Flow Graph (CFG)?
En informática, un gráfico de flujo de control (CFG) es la representación gráfica del flujo de control o cálculo durante la ejecución de programas o aplicaciones. Los gráficos de flujo de control se utilizan principalmente en análisis estático, así como en aplicaciones de compilación, ya que pueden representar con precisión el flujo dentro de una unidad de programa.
El diagrama de flujo de control debe gran parte de su desarrollo a Frances E. Allen.
Techinfo explica el gráfico de flujo de control (CFG)
Un diagrama de flujo de control está orientado al proceso y puede mostrar todas las rutas que se pueden recorrer durante la ejecución de un programa. Un diagrama de flujo de control también se puede considerar como un gráfico dirigido en el que los bordes representan las rutas del flujo de control y los nodos representan bloques básicos, que son segmentos de línea recta sin saltos ni ramificaciones.
En un diagrama de flujo de control, existen dos bloques especialmente designados: bloques de entrada y salida. El bloque de entrada permite que el control ingrese al diagrama de flujo de control, mientras que el flujo de control sale por el bloque de salida. En otras palabras, el diagrama de flujo de control está compuesto por todos los bloques de construcción involucrados en un diagrama de flujo, como el nodo inicial, el nodo final y los flujos / arcos entre los nodos. Un diagrama de flujo de control puede representar cómo diferentes unidades de programa o aplicaciones procesan la información entre diferentes extremos en el contexto del sistema.
Hay muchas ventajas asociadas con un diagrama de flujo de control. Puede resumir fácilmente la información por cada bloque básico. Puede localizar fácilmente códigos inalcanzables de un programa, y las estructuras sintácticas como los bucles son fáciles de encontrar en un diagrama de flujo de control.