测试是为了证明软件的正确性。