为了证明程序的正确性，尽可能多的开发测试用例。