A set of input values, execution preconditions, expected results and execution postconditions, developed for a particular objective or test condition, such as to exercise a particular program path or to verify compliance with a specific requirement.

A test case is a set of inputs, preconditions, expected results, and postconditions developed for a particular objective - like exercising a specific path or verifying compliance. A requirement is what needs to be achieved. A test condition is something to test. A test result is the actual outcome. Option B matches the definition.