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, que são conectados por setas que mostram a rota que cada um pode levar para o próximo nó. Não é diferente de um fluxograma. A execução do programa não vai além de um único nó. Cada umArrow no diagrama mostra qual condição deve ser atendida para se mover para o nó para o qual aponta, portanto, as situações em que essa condição nunca é atendida pode ser vista, porque 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 do programa. Esse tipo de gráfico mostra quais áreas de um programa dependem de outras partes. Na ciência da computação, isso é usado para estabelecer uma ordem de avaliação para garantir que o código do programa esteja executando 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. Peças de código que nunca são chamadas ou acessadas diretamente serão bastante óbvias, porque não haverá setas que o vinculem ao programa principal ou as condições mostrarão que nunca poderão ser atingidas para alcançar o código.Programas 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 as mesmas formas que um fluxograma padrão. Embora sejam lidos da mesma maneira, o método escolhido é puramente pessoal.