(a) In the subsystem testing approach, what are the test requirements for the following validated precondition? (5 points)

Validated: A AND B
On failure: throw an invalid-input exception.
(b) Suppose the above validated precondition is implemented in a program as follows,
if (not A or not B))
then throw an invalid-input exception
Discuss whether or not the test requirements in (a) achieve branch coverage and multi-condition coverage for this statement? (10 points)