Hva er en kontrollflytdiagram?
En kontrollflytgrafikk (CFG) er en visuell representasjon av de forskjellige banene koden til et dataprogram kan ta. En CFG består av en serie symboler, kalt noder, som er forbundet med piler som viser rute som hver enkelt kan ta til neste node. Hver node representerer en betydelig linje eller linjer med programmeringskode. Det er flere måter å gjengi en CFG, men de er alle vanligvis lest på samme måte. I utseendet er en kontrollflytgraf ikke ulik et flytskjema.
Et av hovedformålene med å lage en kontrollflytdiagram er å finne ut om det er deler av et dataprogram som er unødvendig. Dette kan oppnås enkelt når du ser på kontrollflytdiagrammet. Enhver node som ikke har en pil som kobler den til resten av nodene kan fjernes.
Et annet formål en kontrollflytgraf tjener er å hjelpe til med å isolere problemer som uendelige løkker, der programutførelse ikke beveger seg utover en enkelt knutepunkt. Hver pil på diagrammet viser hvilken betingelse som må oppfylles for å flytte til den noden den kommer til poeng, slik at situasjoner der denne betingelsen aldri er oppfylt kan bli oppdaget, fordi det får programmet til å sykle tilbake til forrige node igjen og igjen.
Til slutt kan en kontrollflytgraf bidra til å lage en programavhengighetsgraf. Denne typen graf viser hvilke områder i et program er avhengig av andre deler. I informatikk brukes dette til å etablere en evalueringsordre for å sørg for at programkoden kjøres i riktig sekvens.
Den visuelle naturen til en kontrollflytgraf er en av funksjonene som kan gjøre den potensielt uvurderlig. Kodestykker som aldri blir direkte kalt eller tilgang til, vil være ganske åpenbare, fordi det enten ikke er noen piler som kobler det til hovedprogrammet eller vilkårene vise at de aldri kan oppfylles for å nå koden. Det er dataprogrammer som automatisk kan generere en kontrollflytgrafikk basert på en serie kildekodefiler, noe som ytterligere forenkler prosessen.
En kontrollflytdiagram kan være representert på mange forskjellige måter, og kan derfor vises annerledes avhengig av hvem som har produsert den. Noen grafer bruker sirkler eller firkanter utelukkende for å representere noder, mens andre bruker samme former som et standard flytdiagram. Selv om de leses på nøyaktig samme måte, er metoden valgt rent personlig preferanse.