好的测试用例应能证明软件是正确的。
出自:湖南大学-计算机科学与技术