This type of white box testing is concerned not only with the code, but the internal design of a program

Question $1$ options:

a$)$

desk checking

b$)$

formal inspection

c$)$

code walk$-$through

d$)$

structural testing