A good test case is a test case that has a high probability of detecting an undiscovered error, not a test case that show that the program works correctly.