O que é um gráfico de fluxo de controle?

Um gráfico de fluxo de controle (CFG) é uma representação visual dos vários caminhos que o código de um programa de computador pode seguir.Um CFG é composto por uma série de símbolos, chamados nós, conectados por setas que mostram o rota que cada um pode seguir para o próximo nó. Cada nó representa uma linha ou linhas significativas de código de programação. Existem várias maneiras de renderizar um CFG, mas todas elas geralmente lido da mesma maneira: na aparência, um gráfico de fluxo de controle não é diferente de um fluxograma.

Um dos principais objetivos da criação de um gráfico de fluxo de controle é descobrir se são desnecessárias partes de um programa de computador, o que pode ser alcançado facilmente ao se observar o diagrama de fluxo de controle. uma seta conectando-o ao restante dos nós pode ser removida.

Outro objetivo que um gráfico de fluxo de controle serve é ajudar a isolar problemas como loops infinitos, nos quais a execução do programa não ultrapassa um único nó.Cada seta no diagrama mostra que condição deve ser atendida para mover para o nó para o qual ele pontos, para que situações em que essa condição nunca seja atendida possam ser identificadas, pois faz com que o programa volte ao nó anterior repetidamente.

Finalmente, um gráfico de fluxo de controle pode ajudar a criar um gráfico de dependência de programa.Este tipo de gráfico mostra quais áreas de um programa dependem de outras partes.Em ciência da computação, isso é usado para estabelecer uma ordem de avaliação para verifique se o código do programa está sendo executado na sequência correta.

A natureza visual de um gráfico de fluxo de controle é um dos recursos que podem torná-lo potencialmente inestimável.Trechos de código que nunca são chamados ou acessados ​​diretamente serão bastante óbvios, porque não haverá setas vinculando-o ao programa principal ou as condições mostrarão que elas nunca poderão ser atendidas para alcançar o código.Há programas de computador que podem gerar automaticamente um gráfico de fluxo de controle com base em uma série de arquivos de código-fonte, simplificando ainda mais o processo.

Um gráfico de fluxo de controle pode ser representado de várias maneiras e, portanto, pode parecer diferente dependendo de quem o produziu.Alguns gráficos usam círculos ou quadrados exclusivamente para representar nós, enquanto outros usam o mesmas formas que um fluxograma padrão.Embora sejam lidas exatamente da mesma maneira, o método escolhido é uma preferência puramente pessoal.