好的测试用例应能证明软件是正确的。(
出自:湖南大学-软件工程