Which is not the necessary condition of software failure.

A、There are enough test cases;
B、The location in the program that contain the fault must be reached;
C、The state of the program must be incorrect;
D、The incorrect state must propagate to cause some output to be incorrect