好的测试用例应能证明软件是正确的。