测试是为了验证该软件已正确地实现了用户的要求。