Tabla de contenido:
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 la computación 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 gráfico de flujo de control debe gran parte de su desarrollo a Frances E. Allen.
Techopedia explica Control Flow Graph (CFG)
Un gráfico 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 gráfico de flujo de control también puede considerarse como un gráfico dirigido en el que los bordes representan rutas de flujo de control y los nodos representan bloques básicos, que son segmentos de línea recta sin saltos ni ramificaciones.
En un gráfico de flujo de control, existen dos bloques especialmente designados: bloques de entrada y salida. El bloque de entrada permite que el control entre en el gráfico de flujo de control, mientras que el flujo de control sale a través del bloque de salida. En otras palabras, el gráfico de flujo de control se compone de todos los bloques de construcción involucrados en un diagrama de flujo, como el nodo de inicio, el nodo final y los flujos / arcos entre los nodos. Un gráfico 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 gráfico 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 gráfico de flujo de control.
