Indholdsfortegnelse:
Definition - Hvad betyder Control Flow Graph (CFG)?
Inden for datalogi er en kontrolstrømgrafik (CFG) den grafiske repræsentation af kontrolstrømmen eller beregningen under udførelsen af programmer eller applikationer. Kontrolstrømsdiagrammer bruges for det meste i statisk analyse såvel som kompilatorapplikationer, da de nøjagtigt kan repræsentere strømmen inde i en programenhed.
Kontrollflowgrafen skylder Frances E. Allen meget af dens udvikling.
Techopedia forklarer Control Flow Graph (CFG)
En kontrolflowgrafik er procesorienteret og kan vise alle de stier, der kan krydses under en programudførelse. En kontrolstrømningsgraf kan også betragtes som en rettet graf, i hvilken kanter skildrer kontrolstrømningsveje, og knudepunkterne viser basale blokke, som er lige linjesegmenter uden spring eller forgrening.
I en kontrolflowgraf findes der to specielt udpegede blokke: ind- og udgangsblokke. Indgangsblokken gør det muligt for kontrollen at komme ind i kontrolstrømningsgrafen, medens kontrolstrømmen forlader gennem udgangsblokken. Med andre ord består kontrolstrømningsgrafen af alle de byggesten, der er involveret i et flowdiagram, såsom startnode, endeknudepunkt og strømninger / buer mellem knudepunkterne. En kontrolflowgrafik kan skildre, hvordan forskellige programenheder eller applikationer behandler information mellem forskellige ender i sammenhæng med systemet.
Der er mange fordele forbundet med en kontrolflowgraf. Det kan nemt sammenfatte oplysningerne pr. Basisblok. Det kan let finde et program, som ikke kan nås, og syntaktiske strukturer, såsom sløjfer, er nemme at finde i en kontrolflowgraf.
