Co to jest wykres przepływu kontroli?

Graf kontrolny (CFG) to wizualna reprezentacja różnych ścieżek, jakie może obrać kod programu komputerowego. CFG składa się z szeregu symboli, zwanych węzłami, które są połączone strzałkami pokazującymi trasa, którą każdy może przejść do następnego węzła. Każdy węzeł reprezentuje znaczącą linię lub linie kodu programowania. Istnieje kilka sposobów renderowania CFG, ale wszystkie są generalnie czytane w ten sam sposób. Z wyglądu kontrolny wykres przepływu nie różni się niczym od schematu blokowego.

Jednym z głównych celów tworzenia grafu kontrolnego jest wykrycie, czy istnieją części programu komputerowego, które są niepotrzebne. Można to łatwo osiągnąć, patrząc na schemat kontrolny. Dowolny węzeł, który nie ma strzałkę łączącą go z resztą węzłów można usunąć.

Kolejnym celem wykresu przepływu sterowania jest pomoc w wyodrębnieniu problemów, takich jak nieskończone pętle, w których wykonywanie programu nie wykracza poza pojedynczy węzeł. Każda strzałka na diagramie pokazuje, jaki warunek należy spełnić, aby przejść do węzła, do którego on wskazuje, więc sytuacje, w których warunek ten nigdy nie jest spełniony, można wykryć, ponieważ powoduje to cykliczne przełączanie programu do poprzedniego węzła.

Wreszcie, wykres przepływu kontroli może pomóc w utworzeniu wykresu zależności programu. Ten typ wykresu pokazuje, które obszary programu są zależne od innych części. W informatyce służy do ustalenia kolejności oceny w celu upewnij się, że kod programu działa w prawidłowej kolejności.

Wizualny charakter grafu kontrolnego jest jedną z cech, które mogą uczynić go potencjalnie nieocenionym. Fragmenty kodu, które nigdy nie są bezpośrednio wywoływane ani dostępne, będą dość oczywiste, ponieważ albo nie będzie żadnych strzałek łączących go z programem głównym lub warunki pokażą, że nigdy nie można ich spełnić, aby dotrzeć do kodu. Istnieją programy komputerowe, które mogą automatycznie generować wykres przepływu sterowania na podstawie serii plików kodu źródłowego, co dodatkowo upraszcza proces.

Wykres przepływu sterowania może być reprezentowany na wiele sposobów i dlatego może wyglądać inaczej w zależności od tego, kto go utworzył. Niektóre wykresy wykorzystują koła lub kwadraty wyłącznie do reprezentowania węzłów, a inne te same kształty, co standardowy schemat blokowy. Chociaż są one odczytywane dokładnie w ten sam sposób, wybrana metoda ma charakter wyłącznie osobisty.