A test case is formally defined as a set of inputs, execution preconditions, and expected outcomes. This definition captures the essential elements: what you put into the system (inputs), what state the system must be in (preconditions), and what should happen (expected outcomes). Option A is incomplete, while options C and D include elements not part of the standard test case definition.