Un gráfico de flujo de control (CFG) es la representación gráfica del flujo de control o el cálculo durante la ejecución de programas o aplicaciones. Los gráficos de flujo de control se utilizan principalmente en el 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 fue desarrollado originalmente por Frances E. Allen .
Características del gráfico de flujo de control:
- El gráfico de flujo de control está orientado al proceso.
- El gráfico de flujo de control muestra todas las rutas que se pueden recorrer durante la ejecución de un programa.
- El gráfico de flujo de control es un gráfico dirigido.
- Los bordes en CFG representan rutas de flujo de control y los Nodes en CFG representan bloques básicos.
Existen 2 bloques designados en el gráfico de flujo de control:
- Bloque de entrada:
El bloque de entrada permite que el control ingrese al gráfico de flujo de control. - Bloque de salida:
el flujo de control sale por el bloque de salida.
Por lo tanto, el gráfico de flujo de control se compone de todos los componentes básicos que intervienen en un diagrama de flujo, como el Node inicial, el Node final y los flujos entre los Nodes.
Gráficos de flujo de control generales:
el gráfico de flujo de control se representa de manera diferente para todas las declaraciones y bucles. Las siguientes imágenes lo describen:
1. Si-si no:
2. mientras:
3. hacer mientras:
4. para:
Ejemplo:
if A = 10 then
if B > C
A = B
else A = C
endif
endif
print A, B, C
El diagrama de flujo del ejemplo anterior será:
El gráfico de flujo de control del ejemplo anterior será:
Ventaja de CFG:
Hay muchas ventajas de un gráfico de flujo de control. Puede encapsular fácilmente la información por cada bloque básico. Puede localizar fácilmente códigos inaccesibles de un programa y las estructuras sintácticas, como los bucles, son fáciles de encontrar en un gráfico de flujo de control.