Question$1$:

Draw the control flowgraph of this $.$

Question $2$:

find Test Cases to Satisfy Branch Testing Coverage for this code

Question$3$:

find Test Cases to Satisfy statements Testing Coverage for this code.

Program Under Test

void function $1($int $x1,$ int $x2,$ int $x3)$

$\{$

$(0)-\{\begin{array}{ccc}\text{:}[& \text{i}\text{n}\text{t}\text{v}\text{a}\text{l}\text{u}\text{e}=0\text{;}& ]\\ & if& (x1>4)\end{array}$

$\{$

$(1)-i$ if $(x2<mn\; id="EditorElement\_548803">5</mn>$&&$x<mn\; id="EditorElement\_548813">1</mn><mn\; id="EditorElement\_548814">0</mn><mi\; id="EditorElement\_548816">)</mi>$

$(2)$

value $=$ func $2(x2,x3)$; cout $$ "func

cout $$ "func$2="$ value;

$\}$

else

$\{$

$(3)$

value $=$ func$3($x$2,$ x$3)$; cout $$ "func$3="$ value;

$(4)-(\}$;

$\}$

else

$\{$

$(5)$

value $=$ func $4(x1)$;

return value;

$\}$

$\}$