Verify the following descriptive code using White Box Testing.

$($a$)$

$($b$)$

$($b$)$

$(5)$