Un diagrama de flujo de control (CFG) es una representación visual de las diversas rutas que puede tomar el código de un programa de computadora. Un CFG se compone de una serie de símbolos, llamados nodos, que están conectados por flechas que muestran el ruta que cada uno puede tomar al siguiente nodo. Cada nodo representa una línea o líneas significativas de código de programación. Hay varias formas de representar un CFG, pero todas son generalmente se lee de la misma manera En apariencia, un diagrama de flujo de control no es diferente a un diagrama de flujo.
Uno de los propósitos principales de crear un diagrama de flujo de control es descubrir si hay partes de un programa de computadora que son innecesarias. Esto se puede lograr fácilmente al mirar el diagrama de flujo de control. Cualquier nodo que no tenga se puede quitar una flecha que lo conecta con el resto de los nodos.
Otro propósito que sirve un diagrama de flujo de control es ayudar a aislar problemas tales como bucles infinitos, donde la ejecución del programa no se mueve más allá de un solo nodo. Cada flecha en el diagrama muestra qué condición debe cumplirse para moverse al nodo al que puntos, por lo que se pueden detectar situaciones en las que esa condición nunca se cumple, ya que hace que el programa vuelva al nodo anterior una y otra vez.
Por último, un diagrama de flujo de control puede ayudar a crear un gráfico de dependencia del programa. Este tipo de gráfico muestra qué áreas de un programa dependen de otras partes. En informática, se utiliza para establecer un orden de evaluación para asegúrese de que el código del programa se esté ejecutando en la secuencia correcta.
La naturaleza visual de un diagrama de flujo de control es una de las características que pueden hacer que sea potencialmente invaluable. Los fragmentos de código a los que nunca se llama o se accede directamente serán bastante obvios, ya que no habrá flechas que lo vinculen al programa principal. o las condiciones mostrarán que nunca se pueden cumplir para llegar al código Existen programas informáticos que pueden generar automáticamente un diagrama de flujo de control basado en una serie de archivos de código fuente, simplificando aún más el proceso.
Un diagrama de flujo de control se puede representar de varias formas y, por lo tanto, puede aparecer de forma diferente dependiendo de quién lo haya producido. Algunos gráficos utilizan círculos o cuadrados exclusivamente para representar nodos, mientras que otros utilizan la las mismas formas que un diagrama de flujo estándar, aunque se leen exactamente de la misma manera, el método elegido es una preferencia puramente personal.