软件设计必须实现分析模型中描述的所有需求，包括满足用户希望的（）需求。